@article{MTMT:33791941,
	title = {Blockchain-Based Business Process Management (BPM) for Finance: The Case of Credit and Claim Requests},
	url = {https://m2.mtmt.hu/api/publication/33791941},
	author = {Molnár, Bálint and Pisoni, Galena and Kherbouche, Meriem and Zghal, Yossra},
	doi = {10.3390/smartcities6030061},
	journal-iso = {SMART CITIES-BASEL},
	journal = {SMART CITIES},
	volume = {6},
	unique-id = {33791941},
	abstract = {Because of the competitive economy, organizations today seek to rationalize, innovate, and adapt to changing environments and circumstances as part of business process improvement efforts. The strength of blockchain technology lies in its usage as an apt technology to enhance the efficiency and effectiveness of business processes; furthermore, it prevents the use of erroneous or obsolete data and allows sharing of confidential data securely. The use of superior technology in the execution and automation of business processes brings opportunities to rethink the specific process itself as well. Business processes modeling and verification are essential to control and assure organizational evolution, therefore, the aim of this paper is three-fold: firstly, to provide business process management patterns in finance, based on blockchain, specifically for the loan-application process in the banking industry and claim process in the insurance industry that could be used and customized by companies; secondly, to critically analyze challenges and opportunities from the introduction of such approach for companies, and thirdly, to outline how companies can implement the loan business process as a web service. Partner companies (a bank and an insurance company) formulated the potential requirements for M2P along with the application of blockchain technology. An experimental design framework was established that gave the necessary services to model the requirements, check the models, and operationalize the models. The applied research methodologies are as follows: design science research paradigm and software case study, model-to-programming (M2P) of business processes, and utilization of patterns of workflow and blockchain.},
	year = {2023},
	eissn = {2624-6511},
	pages = {1254-1278},
	orcid-numbers = {Molnár, Bálint/0000-0001-5015-8883; Pisoni, Galena/0000-0002-3266-1773}
}

@inproceedings{MTMT:32923645,
	title = {Blockchain-based business process management (BPM) for finance: the case of loan-application},
	url = {https://m2.mtmt.hu/api/publication/32923645},
	author = {Galena, Pisoni and Kherbouche, Meriem and Molnár, Bálint},
	booktitle = {4th International Congress on Blockchain and Applications},
	doi = {10.1007/978-3-031-21229-1_23},
	unique-id = {32923645},
	year = {2023},
	pages = {249-259},
	orcid-numbers = {Molnár, Bálint/0000-0001-5015-8883}
}

@inproceedings{MTMT:33070771,
	title = {The Use of M2P in Business Process Improvement and Optimization},
	url = {https://m2.mtmt.hu/api/publication/33070771},
	author = {Kherbouche, Meriem and Zghal, Yossra and Molnár, Bálint and Benczúr, András, id},
	booktitle = {New Trends in Database and Information Systems},
	doi = {10.1007/978-3-031-15743-1_11},
	unique-id = {33070771},
	year = {2022},
	pages = {109-118},
	orcid-numbers = {Zghal, Yossra/0000-0002-5768-8833; Molnár, Bálint/0000-0001-5015-8883}
}

@article{MTMT:32577546,
	title = {Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance},
	url = {https://m2.mtmt.hu/api/publication/32577546},
	author = {Kherbouche, Meriem and Pisoni, Galena and Molnár, Bálint},
	doi = {10.3390/asi5010010},
	journal-iso = {APPL SYST INNOV},
	journal = {APPLIED SYSTEM INNOVATION},
	volume = {5},
	unique-id = {32577546},
	year = {2022},
	eissn = {2571-5577},
	orcid-numbers = {Pisoni, Galena/0000-0002-3266-1773; Molnár, Bálint/0000-0001-5015-8883}
}

@inproceedings{MTMT:32559962,
	title = {An Operationalized Transformation for Activity Diagram into YAWL},
	url = {https://m2.mtmt.hu/api/publication/32559962},
	author = {Kherbouche, Meriem and Ahmad, Mukashaty and Molnár, Bálint},
	booktitle = {Conference on Developments in Computer Science},
	unique-id = {32559962},
	year = {2021},
	pages = {115-124},
	orcid-numbers = {Molnár, Bálint/0000-0001-5015-8883}
}

@inproceedings{MTMT:31951700,
	title = {Formal Model Checking and Transformations of Models Represented in UML with Alloy},
	url = {https://m2.mtmt.hu/api/publication/31951700},
	isbn = {9783030726966},
	author = {Kherbouche, Meriem and Molnár, Bálint},
	booktitle = {Modelling to Program},
	doi = {10.1007/978-3-030-72696-6_6},
	unique-id = {31951700},
	year = {2021},
	pages = {127-136},
	orcid-numbers = {Kherbouche, Meriem/0000-0002-4592-1765; Molnár, Bálint/0000-0001-5015-8883}
}

@CONFERENCE{MTMT:31814814,
	title = {Modelling to Program in the Case of Workflow Systems Theoretical Background and Literature Review},
	url = {https://m2.mtmt.hu/api/publication/31814814},
	author = {Kherbouche, Meriem and Molnár, Bálint},
	booktitle = {Collection of Abstracts},
	unique-id = {31814814},
	abstract = {The Model to Program approach is a recent scientific research direction that has its basis in the previous researches. Several sets of tools have been developed in the past decade that can be applied in novel way to program generation from models. This paper will explore the research questions, approaches, and the related literature. The future research direction will be outlined within a well-defined framework. The development of the semantics that describes the underlying operational semantics achieved higher accuracy in the case of UML Activity Diagram, Business Process Modeling Notation, Workflow description. These results makes it possible that preparation of program generation from models can be more precise. The interpretation and validation of expressions in logical languages advanced and became tractable in practical view. Therefore, the model checking is feasible at level of semantics. Besides, the logical validation, the mapping and matching of the syntactic element that may need for a full-scale program generation can be carried out by using modern algorithm.},
	year = {2020},
	pages = {87-87},
	orcid-numbers = {Molnár, Bálint/0000-0001-5015-8883}
}

@CONFERENCE{MTMT:31340755,
	title = {Verification of UML activity models using Alloy},
	url = {https://m2.mtmt.hu/api/publication/31340755},
	author = {Kherbouche, Meriem and Molnár, Bálint},
	booktitle = {Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)},
	unique-id = {31340755},
	year = {2020},
	orcid-numbers = {Molnár, Bálint/0000-0001-5015-8883}
}

@inproceedings{MTMT:31097289,
	title = {Transformation of UML State Machine To YAWL},
	url = {https://m2.mtmt.hu/api/publication/31097289},
	author = {Kherbouche, Meriem and Bouafia, Khawla and Molnár, Bálint},
	booktitle = {2019 Ninth International Conference on Intelligent Computing and Information Systems (ICICIS)},
	doi = {10.1109/ICICIS46948.2019.9014793},
	unique-id = {31097289},
	abstract = {Nowadays the variety and complexity of applications
		arise the requirement of the creation of new flexible models more
		complex than the existing models. The transformation between
		models become more important. Several approaches of model
		transformation are proposed for UML modeling to link between
		languages on a different level of formality and abstraction. In our
		paper, we present a transformation between the basic components
		of state machine diagram which is a type of behavioral diagram
		in the Unified Modeling Language (UML) and a formal workflow
		language YAWL. This transformation simplifies the semantics of
		state machine diagram via a mapping to YAWL, which makes
		the verification and analysis of state machine models easier and
		provides a chance to operationalize the model.},
	year = {2019},
	pages = {215-220},
	orcid-numbers = {Molnár, Bálint/0000-0001-5015-8883}
}