An Ontological Analysis of Business Process Modeling and Execution

This work presents a fully elaborated ontology, defined via the Ontology Web Language (OWL), of the Business Process Model and Notation (BPMN) standard to define business process models, and we demonstrate that any BPMN model can be serialized as OWL file. Based on ontological analysis and a corresponding definition of a modeling notation as ontology we show that business process models can be transformed from one notation into another one as long as there are common underlying concepts; this is demonstrated with the case of an actor based, or subject-oriented, view on business processes. Furthermore, a reference architecture for Workflow Management Systems (WfMS) based on microservices is discussed which is capable of executing actor based business process models. As a transformation of BPMN models into the actor based view is generally possible, also BPMN models could be enacted. As a result, we can conclude that the actor system is a promising way to stimulate new ways to design workflow management systems and to design business process modeling languages which are more comfortable to use by non-experts without losing necessary expressiveness. Another result is that an ontology is a productive way to define a modeling notation as it can be used as knowledge base, it is a formal conceptualization of the underlying notions, and can be semantically enriched for further use.

[1]  Jae-Yoon Jung.  Measuring Entropy in Business Process Models , 2008, 2008 3rd International Conference on Innovative Computing Information and Control.

[2]  Egon Börger,et al.  The Subject-Oriented Approach to Software Design and the Abstract State Machines Method , 2012, Conceptual Modelling and Its Theoretical Foundations.

[3]  Max Mühlhäuser,et al.  A Domain Specific Language for Describing S-BPM Processes , 2013, S-BPM ONE.

[4]  Peter Höfferer,et al.  Achieving Business Process Model Interoperability Using Metamodels and Ontologies , 2007, ECIS.

[5]  Vaughn Vernon.  Reactive Messaging Patterns with the Actor Model: Applications and Integration in Scala and Akka , 2015 .

[6]  J. Recker,et al.  Does It Matter Which Process Modelling Language We Teach or Use? An Experimental Study on Understanding Process Modelling Languages without Formal Education , 2007 .

[7]  Herbert A. Simon,et al.  Why a Diagram is (Sometimes) Worth Ten Thousand Words , 1987, Cogn. Sci..

[8]  Onur Demirörs,et al.  Transformation From Business Process Models To Process Ontology: A Case Study , 2017, MCIS.

[9]  Matthes Elstermann,et al.  The Semantic Exchange Standard for Subject-Oriented Process Models , 2018, S-BPM One '18.

[10]  Albert Fleischmann.  Distributed systems - software design and implementation , 1994 .

[11]  Klaus-Dieter Schewe,et al.  A Rigorous Semantics for BPMN 2.0 Process Diagrams , 2014, Springer International Publishing.

[12]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[13]  Jan Recker,et al.  How Novices Model Business Processes , 2010, BPM.

[14]  Stefan Rass,et al.  Modeling and Execution of Multienterprise Business Processes , 2014, 2014 IEEE 16th Conference on Business Informatics.

[15]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[16]  Michael Scaife,et al.  Cognitive Science Approaches To Understanding Diagrammatic Representations , 2001, Artificial Intelligence Review.

[17]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[18]  Yuri Gurevich,et al.  Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[19]  Volker Gruhn,et al.  What business process modelers can learn from programmers , 2007, Sci. Comput. Program..

[20]  Bas Luttik,et al.  What is algebraic in process theory? , 2006, APC 25.

[21]  Marian Petre,et al.  Why looking isn't always seeing: readership skills and graphical programming , 1995, CACM.

[22]  Patrick Heymans,et al.  Visual notation design 2.0: Towards user comprehensible requirements engineering notations , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[23]  Ron Weber,et al.  On the ontological expressiveness of information systems analysis and design grammars , 1993, Inf. Syst. J..

[24]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[25]  Stefan Rass,et al.  Structured Communication - Approaching S-BPM with Microsoft Technologies , 2015, S-BPM in the Wild, Practical Value Creation.

[26]  Robert Singer,et al.  Process Algebra and the Subject-Oriented Business Process Management Approach , 2012, S-BPM ONE.

[27]  J. Morrison,et al.  Flow-based programming , 2012 .

[28]  Daniel L. Moody,et al.  The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering , 2009, IEEE Transactions on Software Engineering.

[29]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[30]  Jorge L. Sanz,et al.  Enabling Customer Experience and Front-Office Transformation through Business Process Engineering , 2013 .

[31]  Max Mühlhäuser,et al.  S-BPM-Ont: An Ontology for Describing and Interchanging S-BPM Processes , 2014, S-BPM ONE.

[32]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[33]  Jorge S. Cardoso,et al.  An entropy-based uncertainty measure of process models , 2011, Inf. Process. Lett..

[34]  Eyal Oren,et al.  A Process Ontology for Business Intelligence , 2008 .

[35]  Matthes Elstermann.  Proposal for Using Semantic Technologies as a Means to Store and Exchange Subject-Oriented Process Models , 2017, S-BPM ONE.

[36]  A. S. Eddington.  Über die Natur der Dinge , 1923 .

[37]  Peter Fingar,et al.  Workflow is just a pi process , 2003 .

[38]  Oliver Thomas,et al.  Semantic Process Modeling – Design and Implementation of an Ontology-based Representation of Business Processes , 2009, Bus. Inf. Syst. Eng..

[39]  Mark von Rosing,et al.  Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.

[40]  Ron Weber,et al.  An Ontological Model of an Information System , 1990, IEEE Trans. Software Eng..

[41]  Wang Wang,et al.  Empirical investigations of conceptual modeling and the modeling process , 2007, 2007 Winter Simulation Conference.

[42]  D. Walker,et al.  A Calculus of Mobile Processes, Part Ii , 1989 .

[43]  Paul Hudak.  Functional Reactive Programming (Abstract) , 1999, ESOP.

[44]  David Simms,et al.  The Heart of Enterprise , 1980 .

[45]  Marta Indulska,et al.  How good is BPMN really? Insights from theory and practice , 2006, ECIS.

[46]  Jan L. G. Dietz,et al.  Enterprise ontology - theory and methodology , 2006 .

[47]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

[48]  Howard Smith,et al.  Business Process Management : The Third Wave : Business Process Modelling Language ( BPML ) and Pi-Calculus Foundations , 2003 .

[49]  Robert Singer,et al.  Actor Based Business Process Modeling and Execution: A Reference Implementation Based on Ontology Models and Microservices , 2017, 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

[50]  Egon Börger,et al.  Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL , 2011, Software & Systems Modeling.

[51]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[52]  Sven Overhage,et al.  Quality Marks, Metrics, and Measurement Procedures for Business Process Models , 2012, Bus. Inf. Syst. Eng..

[53]  D. Walker,et al.  A Calculus of Mobile Processes, Part I , 1989 .

[54]  M. Snowdon.  The Heart of Enterprise , 1979 .

[55]  Jan Vanthienen,et al.  Rule-based business process modeling and execution , 2005 .

[56]  Edsger W. Dijkstra,et al.  Go To Statement Considered Harmful , 2022, Software Pioneers.

[57]  Mordechai Ben-Ari,et al.  Principles of concurrent and distributed programming , 2005, PHI Series in computer science.

[58]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[59]  Eckhard D. Falkenberg,et al.  A Framework of Information System Concepts (The FRISCO Report) , 1998 .

[60]  Stephen Ullmann,et al.  Semantics: An Introduction to the Science of Meaning , 1962 .

[61]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[62]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[63]  Werner Esswein,et al.  Toward a formal research framework for ontological analyses , 2007, Adv. Eng. Informatics.

[64]  Robert Singer,et al.  Agent-Based Business Process Modeling and Execution: Steps Towards a Compiler-Virtual Machine Architecture , 2016, S-BPM ONE.

[65]  Ron Weber,et al.  On the deep structure of information systems , 1995, Inf. Syst. J..

[66]  Sam Newman,et al.  Building microservices - designing fine-grained systems, 1st Edition , 2015 .

[67]  Stefan Rass,et al.  Distributed Business Processes - A Framework for Modeling and Execution , 2013, ArXiv.

[68]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[69]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[70]  Albert Fleischmann,et al.  An overview to S-BPM oriented Tool Suites , 2017 .

[71]  Fredmund Malik.  Strategy for Managing Complex Systems , 2016 .

[72]  Max Mühlhäuser,et al.  Distributed Execution of S-BPM Business Processes , 2010, S-BPM ONE.

[73]  Tanja Schultz.  To be Defined , 2016, ICPRAM.

[74]  Wil M. P. van der Aalst,et al.  Modeling Business Processes - A Petri Net-Oriented Approach , 2011, Cooperative Information Systems series.

[75]  Jos C. M. Baeten,et al.  A brief history of process algebra , 2005, Theor. Comput. Sci..

[76]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[77]  Christian Stary,et al.  Whom to talk to? A stakeholder perspective on business process development , 2011, Universal Access in the Information Society.

[78]  Brian Henderson-Sellers,et al.  On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages , 2012, SpringerBriefs in Computer Science.