TY - JOUR AU - Molnár, Bálint AU - Pisoni, Galena AU - Kherbouche, Meriem AU - Zghal, Yossra TI - Blockchain-Based Business Process Management (BPM) for Finance: The Case of Credit and Claim Requests JF - SMART CITIES J2 - SMART CITIES-BASEL VL - 6 PY - 2023 IS - 3 SP - 1254 EP - 1278 PG - 25 SN - 2624-6511 DO - 10.3390/smartcities6030061 UR - https://m2.mtmt.hu/api/publication/33791941 ID - 33791941 AB - 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. LA - English DB - MTMT ER - TY - CHAP AU - Galena, Pisoni AU - Kherbouche, Meriem AU - Molnár, Bálint ED - Javier, Prieto ED - Francisco, Luis Benítez Martínez ED - Stefano, Ferretti ED - David, Arroyo Guardeño ED - Pedro, Tomás Nevado-Batalla TI - Blockchain-based business process management (BPM) for finance: the case of loan-application T2 - 4th International Congress on Blockchain and Applications PB - Springer Switzerland CY - Cham T3 - Lecture Notes in Networks and Systems, ISSN 2367-3370 ; 595. PY - 2023 SP - 249 EP - 259 PG - 11 DO - 10.1007/978-3-031-21229-1_23 UR - https://m2.mtmt.hu/api/publication/32923645 ID - 32923645 LA - English DB - MTMT ER - TY - CHAP AU - Kherbouche, Meriem AU - Zghal, Yossra AU - Molnár, Bálint AU - Benczúr, András, id ED - Zumpano, Ester ED - Vargas-Solar, Genoveva ED - Catania, Barbara ED - Nørvåg, Kjetil ED - Wrembel, Robert ED - Cerquitelli, Tania ED - Chiusano, Silvia TI - The Use of M2P in Business Process Improvement and Optimization T2 - New Trends in Database and Information Systems PB - Springer Netherlands CY - Cham SN - 9783031157431 T3 - Communications in Computer and Information Science, ISSN 1865-0929 ; 1652. PY - 2022 SP - 109 EP - 118 PG - 10 DO - 10.1007/978-3-031-15743-1_11 UR - https://m2.mtmt.hu/api/publication/33070771 ID - 33070771 LA - English DB - MTMT ER - TY - JOUR AU - Kherbouche, Meriem AU - Pisoni, Galena AU - Molnár, Bálint TI - Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance JF - APPLIED SYSTEM INNOVATION J2 - APPL SYST INNOV VL - 5 PY - 2022 IS - 1 PG - 17 SN - 2571-5577 DO - 10.3390/asi5010010 UR - https://m2.mtmt.hu/api/publication/32577546 ID - 32577546 LA - English DB - MTMT ER - TY - CHAP AU - Kherbouche, Meriem AU - Ahmad, Mukashaty AU - Molnár, Bálint ED - Csuhaj-Varjú, Erzsébet ED - Sziklai, Péter TI - An Operationalized Transformation for Activity Diagram into YAWL T2 - Conference on Developments in Computer Science PB - Eötvös Loránd University, Faculty of Informatics CY - Budapest SN - 9789634893882 PY - 2021 SP - 115 EP - 124 PG - 10 UR - https://m2.mtmt.hu/api/publication/32559962 ID - 32559962 LA - English DB - MTMT ER - TY - CHAP AU - Kherbouche, Meriem AU - Molnár, Bálint ED - Thalheim, Bernhard ED - Pastor, Oscar ED - Dahanayake, Ajantha TI - Formal Model Checking and Transformations of Models Represented in UML with Alloy T2 - Modelling to Program PB - Springer Netherlands CY - Cham SN - 9783030726959 T3 - Communications in Computer and Information Science, ISSN 1865-0929 ; 1401. PY - 2021 SP - 127 EP - 136 PG - 10 SN - 9783030726966 DO - 10.1007/978-3-030-72696-6_6 UR - https://m2.mtmt.hu/api/publication/31951700 ID - 31951700 LA - English DB - MTMT ER - TY - CONF AU - Kherbouche, Meriem AU - Molnár, Bálint ED - Horváth, Zoltán ED - Adrian, Petruşel TI - Modelling to Program in the Case of Workflow Systems Theoretical Background and Literature Review T2 - Collection of Abstracts PB - Babes-Bolyai Tudományegyetem C1 - Budapest PY - 2020 SP - 87 EP - 87 PG - 1 UR - https://m2.mtmt.hu/api/publication/31814814 ID - 31814814 N1 - Import hibák 2021-01-17 11:37 Category cannot be determined for the following item: ABST, default value is set. AB - 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. LA - English DB - MTMT ER - TY - CONF AU - Kherbouche, Meriem AU - Molnár, Bálint ED - Kovásznai, Gergely ED - Fazekas, István ED - Tómács, Tibor TI - Verification of UML activity models using Alloy T2 - Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020) PB - CEUR Workshop Proceedings C1 - Eger T3 - CEUR Workshop Proceedings, ISSN 1613-0073 ; 2650. PY - 2020 UR - https://m2.mtmt.hu/api/publication/31340755 ID - 31340755 LA - English DB - MTMT ER - TY - CHAP AU - Kherbouche, Meriem AU - Bouafia, Khawla AU - Molnár, Bálint ED - IEEE, , TI - Transformation of UML State Machine To YAWL T2 - 2019 Ninth International Conference on Intelligent Computing and Information Systems (ICICIS) PB - IEEE CY - Piscataway (NJ) SN - 9781728139951 PY - 2019 SP - 215 EP - 220 PG - 5 DO - 10.1109/ICICIS46948.2019.9014793 UR - https://m2.mtmt.hu/api/publication/31097289 ID - 31097289 AB - 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. LA - English DB - MTMT ER -