ABSTRACT
Business process modeling is becoming more popular as a way to improve system design and analysis efficiency and quality. As enterprise business processes get more complex and there are more modeling languages, the ability to validate the process model automatically has become a critical feature of modeling tools. To be effective, business rules need to be flexible to the business process in which they’re. These business rules define and constrain the workflow logic of the business process. This paper provides a formal semantic of business processes and business rules modeling by translating Business Process Model and Notation models to Colored Petri Nets models and Decision Model and Notation models to the appropriate functions in Colored Petri Nets models.
- Thierry Biard, Alexandre Le Mauff, Michel Bigand, and Jean-Pierre Bourey. 2015. Separation of Decision Modeling from Business Process Modeling Using New “Decision Model and Notation” (DMN) for Automating Operational Decision-Making. In 16th Working Conference on Virtual Enterprises (PROVE) Albi. France, ff10.1007/978-3-319-24141-8-45ff. ffhal-01224703, 489–496.Google Scholar
- R. M. Dijkman, M. Dumas, and C. Ouyang. 2007. Formal Semantics and Analysis of BPMN Process Models using Petri Nets. Queensland University of Technology, Tech. Rep.Google Scholar
- Yang Dong and Zhang ShenSheng. 2003. Using pi-calculus to Formalize UML Activity Diagram for Business Process Modeling. in ECBS‘0 3(2003), 47–54.Google Scholar
- K. Jensen and L. M. Kristensen. 2009. Coloured Petri Nets Modelling and Validation of Concurrent Systems (Vol. 9, Issues 3–4). Springer, Berlin. https://doi.org/10.1007/b95112Google ScholarCross Ref
- Yasmine Nagm Aldeen. 2017. An Evaluation Framework for Business Process Modeling Techniques. 15 (2017), 11.Google Scholar
- OMG 2021. Business Process Model And Notation. Retrieved December 1, 2021 from https://www.omg.org/spec/BPMN/2.0/About-BPMN/Google Scholar
- OMG 2021. Decision Model and Notation. Retrieved December 1, 2021 from https://www.omg.org/spec/DMN/Google Scholar
- F. Puhlmann and M. Weske. 2005. Using the pi-Calculus for Formalizing Workflow Patterns. Business Process Management, pp(2005), 153–168.Google Scholar
- T. S. Staines. 2008. Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. in ECBS‘0 8(2008), 191–200.Google Scholar
- Tsukasa Takemura. 2008. Formal Semantics and Verification of BPMN Transaction and Compensation. in APSCC’0 8(2008), 284–290.Google Scholar
- N. T. Tuan, L. T. Nhan, and H. T. Thanh Ha. 2019. Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model. In 2019 11th International Conference on Knowledge and Systems Engineering (KSE. 1–6.Google ScholarCross Ref
- Kostas Vergidis and George Tsakalidis. 2020. Business process management: from a critical review to a contemporary ontological entity. International Journal of Business Process Integration and Management 10 (2020), 148.Google ScholarCross Ref
- Peter Y. H. Wong and Jeremy Gibbons. 2008. A process semantics for BPMN. Formal Methods and Software Engineering, pp(2008), 355–374.Google Scholar
Recommendations
VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules
ICIIT '23: Proceedings of the 2023 8th International Conference on Intelligent Information TechnologyThis article introduces VeBPRu, a toolchain for automatically verifying business process models with business rules. VeBPRu’s analysis technique is based on Colored Petri Nets (CPN), a formal language translated from Business Process Model and Notation ...
A Cost-Object Model for Activity Based Costing Simulation of Business Processes
EMS '14: Proceedings of the 2014 European Modelling SymposiumThe achievement of business goals is heavily affected by the capability of enterprises to design, enforce and govern business processes. The dynamism of the market requires business goals to be constantly tuned, thus obliging the enterprise to ...
A BPMN Extension for the Modeling of Security Requirements in Business Processes
Business Processes are considered a crucial issue by many enterprises because they are the key to maintain competitiveness. Moreover, business processes are important for software developers, since they can capture from them the necessary requirements ...
Comments