An Ontological Approach to Business Process Modeling

Business people use informal methods to represent business processes (BP), having the main objective to support an enterprise organization. On the other hand, application software is increasingly based on Service Oriented Architectures, where the application logic is represented by executable BP (e.g., by using BPEL.) Despite both are aiming at BP modelling, the methods used by business people and IT specialists are quite different. The former use informal, descriptive methods, with an intuitive semantics difficult to be translated to the formal representation needed in the IT world. This paper presents the main lines of an ontological framework for the representation of BP semantics: BPAL (Business Process Abstract Language.) It is primarily conceived to provide a formal semantics to BPMN, an informal BP modelling method that is emerging in the business world. The modelling categories of BPAL are based on well accepted business notions, such as activity, decision, role. We believe that it may be useful beyond BPMN, in more general business contexts. BPAL is an abstract language (no drawing symbols are provided) having a procedural semantics (allowing a translation to an executable form, BPEL), and a declarative semantics, to be processed by an inference engine.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  C. Petri.  Kommunikation mit Automaten , 1962 .

[3]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[4]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[5]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[6]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[7]  Robert W. Ivester,et al.  A ROBUST PROCESS ONTOLOGY FOR MANUFACTURING SYSTEMS INTEGRATION , 1998 .

[8]  Craig Schlenoff,et al.  Process Specification Language (PSL): Results of the First Pilot Implementation , 1999, Manufacturing Science and Engineering.

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

[10]  Craig Schlenoff,et al.  The Process Specification Language (PSL) Overview and Version 1.0 Specification , 2000 .

[11]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[12]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[13]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[14]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[15]  Michael Grüninger,et al.  PSL: A semantic domain for flow models , 2005, Software & Systems Modeling.

[16]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[17]  Amit P. Sheth,et al.  Enhancing Web Services Description and Discovery to Facilitate Composition , 2004, SWSWPC.

[18]  Sanjiva Weerawarana,et al.  The Business Process Execution Language for Web Services , 2005, Process-Aware Information Systems.

[19]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[20]  August-Wilhelm Scheer,et al.  Process Modeling Using Event-Driven Process Chains , 2005, Process-Aware Information Systems.

[21]  Frank Leymann,et al.  WS-BPEL Extension for People ? BPEL4People , 2005 .

[22]  Reiko Heckel,et al.  Process Modeling Using UML , 2005, Process-Aware Information Systems.

[23]  Jan Mendling,et al.  Standards for Workflow Definition and Execution , 2005, Process-Aware Information Systems.

[24]  Boudewijn F. van Dongen,et al.  Verification of EPCs: Using Reduction Rules and Petri Nets , 2005, CAiSE.

[25]  Amit P. Sheth,et al.  Web Service Semantics - WSDL-S , 2005 .

[26]  Francis G. McCabe,et al.  Reference Model for Service Oriented Architecture 1.0 , 2006 .

[27]  Michele Missikoff,et al.  Formalizing the OPAL eBusiness ontology design patterns with OWL , 2007, IESA.