inproceedings by Meriem Kherbouche
4th International Congress on Blockchain and Applications, 2022
Because of the competitive economy, organizations today seek to rationalize, innovate and adapt t... more Because of the competitive economy, organizations today seek to rationalize, innovate and adapt to changing environments and circumstances as part of business process improvements efforts. The strength of the blockchain technology lies in its usage as an apt technology to enhance the efficiency and effectiveness of business processes, to prevent the use of erroneous or outdated data, and to allow sharing of confidential data in a secure manner. The use of superior technology in execution and automation of business processes brings opportunities to rethink the process itself as well. Business processes modeling and verification are essential to control and assure organizational evolution, therefore, the aim of this paper is threefold: firstly, to provide business process management patterns in finance, based on blockchain, specifically for the loan-application process, 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.
Ninth IEEE International Conference on Intelligent Computing and Information Systems, 2019
Nowadays the variety and complexity of applications arise the requirement of the creation of new ... more 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.
Papers by Meriem Kherbouche
Smart cities, May 3, 2023
This article is an open access article distributed under the terms and conditions of the Creative... more This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY
Smart Cities, 2023
Because of the competitive economy, organizations today seek to rationalize, innovate,
and adapt ... more 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.
Applied System Innovation, 2022
Business process modeling and verification have become an essential way to control and assure org... more Business process modeling and verification have become an essential way to control and assure organizational evolution. We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case. We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment. We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable data. Our paper creates a unified picture of the approaches towards business processes modeling used in the financial industry organized around the set of premises intending to develop a future research agenda for blockchain business process modeling, specifically for the...
Communications in computer and information science, 2022
2019 Ninth International Conference on Intelligent Computing and Information Systems (ICICIS), 2019
Nowadays the variety and complexity of applications arise the requirement for the creation of new... more Nowadays the variety and complexity of applications arise the requirement for the creation of new flexible models that are more complex than the existing models. The transformation between models becomes more important. Several approaches of model transformation are proposed for the Unified Modeling Language (UML) that aim to make models more formal and abstract. In our paper, we present a transformation from the basic components of the UML state machine diagram to a formal workflow language YAWL. This transformation simplifies the semantics of the 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.
Applied System Innovation, 2022
Business process modeling and verification have become an essential way to control and assure org... more Business process modeling and verification have become an essential way to control and assure organizational evolution. We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case. We investigate the utilization of blockchain technology for model checking of Workflow, Business Processes to ensure consistency, integrity, and security in a dynamically changing business environment. We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable data. Our paper creates a unified picture of the approaches towards business processes modeling used in the financial industry organized around the set of premises intending to develop a future research agenda for blockchain business process modeling, specifically for the...
Requirements engineering presents many challenges for researchers as software systems become more... more Requirements engineering presents many challenges for researchers as software systems become more complex and their implementation requires more rigorous modeling approaches. Our goal is to combine requirements engineering methods with formal specification and verification methods. The idea is to propose an extension of the SYSML model by existing concepts in the field of requirements engineering and then to implement the transformation rules of this SYSML extension to formal B specifications to verify the architecture of the system.
Nowadays, information systems (IS) are making considerable efforts to create, develop, and build ... more Nowadays, information systems (IS) are making considerable efforts to create, develop, and build new and more advanced models capable of modeling all (or the mainstream) development trends in IS. The progress in IS is mainly related to three main points: document-centered approaches, modern database management systems and their applications, and new flexible models, which are more complex than existing models in most cases. The challenges of the modeling process are mainly the presentation of both the static and dynamic sides of the developed IS. The latter is directly influenced by the change processes of the business environment. In this paper, we use the properties of the Activity Diagram, represented by Alloy - an operationalizable specification language for software architecture - together with the underlying mathematical model to simplify the semantics of the models and to facilitate their analysis, verification, and validation.
Nowadays, information systems (IS) are making considerable efforts to create, develop, and build ... more Nowadays, information systems (IS) are making considerable efforts to create, develop, and build new and more advanced models capable of modeling all (or the mainstream) development trends in IS. The progress in IS is mainly related to three main points: document-centered approaches, modern database management systems and their applications, and new flexible models, which are more complex than existing models in most cases. The challenges of the modeling process are mainly the presentation of both the static and dynamic sides of the developed IS. The latter is directly influenced by the change processes of the business environment. In this paper, we use the properties of the Activity Diagram, represented by Alloy - an operationalizable specification language for software architecture - together with the underlying mathematical model to simplify the semantics of the models and to facilitate their analysis, verification, and validation.
Conference Presentations by Meriem Kherbouche
4th International Congress on Blockchain and Applications, 2022
Because of the competitive economy, organizations today
seek to rationalize, innovate and adapt t... more Because of the competitive economy, organizations today
seek to rationalize, innovate and adapt to changing environments and
circumstances as part of business process improvements efforts. The
strength of the blockchain technology lies in its usage as an apt technology
to enhance the efficiency and effectiveness of business processes,
to prevent the use of erroneous or outdated data, and to allow sharing
of confidential data in a secure manner. The use of superior technology
in execution and automation of business processes brings opportunities
to rethink the 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, 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.
Uploads
inproceedings by Meriem Kherbouche
Papers by Meriem Kherbouche
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.
Conference Presentations by Meriem Kherbouche
seek to rationalize, innovate and adapt to changing environments and
circumstances as part of business process improvements efforts. The
strength of the blockchain technology lies in its usage as an apt technology
to enhance the efficiency and effectiveness of business processes,
to prevent the use of erroneous or outdated data, and to allow sharing
of confidential data in a secure manner. The use of superior technology
in execution and automation of business processes brings opportunities
to rethink the 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, 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.
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.
seek to rationalize, innovate and adapt to changing environments and
circumstances as part of business process improvements efforts. The
strength of the blockchain technology lies in its usage as an apt technology
to enhance the efficiency and effectiveness of business processes,
to prevent the use of erroneous or outdated data, and to allow sharing
of confidential data in a secure manner. The use of superior technology
in execution and automation of business processes brings opportunities
to rethink the 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, 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.