Semantic Business Process Management: Ontology-Based Process Modeling Using Event-Driven Process Chains

Various authors use the Bunge-Wand-Weber-model (BWW-model) [We97] for evaluating grammars [Sh03]. In this presentation, we apply the BWW-Model to ontological evaluate Scheer’s reference model for production planning and control systems (PPC) [Sc94]. This study follows the approach of [FL03a] in – at first – identifying ontological deficiencies of the grammar which is used to represent a reference model and in – afterwards – identifying ontological deficiencies of the reference model itself.

[1]  Veda C. Storey,et al.  An ontological analysis of the relationship construct in conceptual modeling , 1999, TODS.

[2]  Michael Rosemann,et al.  Applying Ontologies to Business and Systems Modeling Techniques and Perspectives: Lessons Learned , 2004, J. Database Manag..

[3]  Graeme G. Shanks,et al.  Improving the quality of data models: empirical validation of a quality management framework , 2003, Inf. Syst..

[4]  Peri L. Tarr,et al.  Model-driven development : The good , the bad , and the ugly & , 2006 .

[5]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

[6]  Jean-Loup Baer,et al.  A Survey of Some Theoretical Aspects of Multiprocessing , 1973, CSUR.

[7]  John Mylopoulos,et al.  Information Modeling in the Time of the Revolution , 1998, Inf. Syst..

[8]  Fiona H. Rohde.  An Ontological Evaluation of Jackson's System Development Model , 1995, Australas. J. Inf. Syst..

[9]  Mario Bunge,et al.  Realism and antirealism in social science , 1993 .

[10]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[11]  Joerg Evermann,et al.  Towards a cognitive foundation for knowledge representation , 2005, Inf. Syst. J..

[12]  Stijn Heymans,et al.  A Defeasible Ontology Language , 2002, OTM.

[13]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[14]  Luigi Iannone,et al.  Downward refinement in the ALN description logic , 2004, Fourth International Conference on Hybrid Intelligent Systems (HIS'04).

[15]  Tom Mens,et al.  Maintaining Consistency between UML Models Using Description Logic , 2004, Obj. Logiciel Base données Réseaux.

[16]  Bernhard Bauer,et al.  Semantic Reference-and Business Process Modeling enables an Automatic Synthesis , 2006 .

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

[18]  Alan A. Desrochers,et al.  Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .

[19]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[20]  Ron Weber,et al.  Mario Bunge's ontology as a formal foundation for information systems concepts , 1990 .

[21]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[22]  Cd Keen,et al.  An analysis of the design constructs required in process modelling , 1996, Proceedings 1996 International Conference Software Engineering: Education and Practice.

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

[24]  Alexander Borgida,et al.  Computing Least Common Subsumers in Description Logics , 1992, AAAI.

[25]  Kai-Uwe Kühnberger,et al.  Adaptive ALE-TBox for Extending Terminological Knowledge , 2006, Australian Conference on Artificial Intelligence.

[26]  Ljiljana Stojanovic,et al.  Consistent Evolution of OWL Ontologies , 2005, ESWC.

[27]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[28]  Ekkart Kindler,et al.  On the semantics of EPCs: Resolving the vicious circle , 2006, Data Knowl. Eng..

[29]  Marc Ehrig,et al.  Semantic Alignment of Business Processes , 2006, ICEIS.

[30]  Alexander Egyed,et al.  Instant consistency checking for the UML , 2006, ICSE.

[31]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

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

[33]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[34]  Peter Loos,et al.  Multiperspective Evaluation of Reference Models - Towards a Framework , 2003, ER.

[35]  Bengt G. Lundberg.  On consistency of information models , 1981, BIT Comput. Sci. Sect..

[36]  David C. Hay,et al.  Data Model Patterns: Conventions of Thought , 1965 .

[37]  Michael Rosemann,et al.  Ontological Analysis of Integrated Process Models: testing hypotheses , 2001, Australas. J. Inf. Syst..

[38]  Janis A. Bubenko,et al.  Information System Methodologies - A Research View , 1986, Information Systems Design Methodologies: Improving the Practice.

[39]  Reinhard Schütte,et al.  Grundsätze ordnungsmäßiger Referenzmodellierung , 1998 .

[40]  Michael J. Witbrock,et al.  An Introduction to the Syntax and Content of Cyc , 2006, AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering.

[41]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[42]  Ron Weber,et al.  Research Commentary: Information Systems and Conceptual Modeling - A Research Agenda , 2002, Inf. Syst. Res..

[43]  Luigi Pontieri,et al.  An Ontology-Driven Process Modeling Framework , 2004, DEXA.

[44]  Peter Loos,et al.  Ontological Evaluation of Reference Models Using the Bunge-Wand-Weber Model , 2003, AMCIS.

[45]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[46]  Peter Loos,et al.  Classification of reference models: a methodology and its application , 2003, Inf. Syst. E Bus. Manag..

[47]  Dimitris Karagiannis,et al.  Metamodelling Platforms , 2002, EC-Web.

[48]  Peter Green.  Use of Information Systems Analysis and Design (ISAD) Grammars in Combination in Upper Case Tools - An Ontological Evaluation. , 1997 .

[49]  Jan Mendling,et al.  EPC markup language (EPML): an XML-based interchange format for event-driven process chains (EPC) , 2006, Inf. Syst. E Bus. Manag..

[50]  Marta Indulska,et al.  A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars , 2006, CAiSE.

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

[52]  Christian Fillies,et al.  On Ontology-based Event-driven Process Chains , 2004 .

[53]  Marta Indulska,et al.  How do practitioners use conceptual modeling in practice? , 2006, Data Knowl. Eng..

[54]  Jean-Philippe Martin-Flatin,et al.  Toward Universal Information Models in Enterprise Management , 2001, Databases in Telecommunications.

[55]  Michael Rosemann,et al.  Integrated Process Modeling: An Ontological Evaluation , 2000, Inf. Syst..

[56]  Andrew Gemino,et al.  Complexity and clarity in conceptual modeling: Comparison of mandatory and optional properties , 2005, Data Knowl. Eng..

[57]  Ron Weber,et al.  Ontological foundations of information systems , 1997 .

[58]  Michael Rosemann,et al.  Developing a meta model for the Bunge-Wand-Weber ontological constructs , 2002, Inf. Syst..

[59]  Marta Indulska,et al.  A Procedural Model for Ontological Analyses , 2004 .

[60]  Wil M. P. van der Aalst,et al.  Challenges in Business Process Management: Verification of Business Processing Using Petri Nets , 2003, Bull. EATCS.

[61]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[62]  Marta Indulska,et al.  Ontological evaluation of enterprise systems interoperability using ebXML , 2005, IEEE Transactions on Knowledge and Data Engineering.

[63]  Silvia Bernardini,et al.  BootCaT: Bootstrapping Corpora and Terms from the Web , 2004, LREC.

[64]  C. A. Petri.  Fundamentals of a Theory of Asynchronous Information Flow , 1962, IFIP Congress.

[65]  Dieter Fensel,et al.  Semantic business process management: a vision towards using semantic Web services for business process management , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).

[66]  Anatol W. Holt,et al.  Diplans: a new language for the study and implementation of coordination , 1988, TOIS.

[67]  Gerd Stumme,et al.  FCA-MERGE: Bottom-Up Merging of Ontologies , 2001, IJCAI.

[68]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

[69]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[70]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[71]  Mario Bunge,et al.  Epistemology & Methodology I: , 1983 .

[72]  Jean-Paul Van Belle,et al.  A proposed framework for evaluating generic enterprise models , 2000, South Afr. Comput. J..

[73]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[74]  Adam Arkin.  Business process Modeling Language , 2002 .

[75]  August-Wilhelm Scheer,et al.  ARIS Architecture and Reference Models for Business Process Management , 2000, Business Process Management.

[76]  Andrea Westerinen,et al.  Toward a Formal Common Information Model Ontology , 2004, WISE Workshops.

[77]  Brian Henderson-Sellers,et al.  Grounding the OML metamodel in ontology , 2001, J. Syst. Softw..

[78]  Reinhard Schütte,et al.  Architectures for Evaluating the Quality of Information Models - a Meta and an Object Level Comparison , 1999, ER.

[79]  Gerti Kappel,et al.  On models and ontologies - A layered approach for model-based tool integration , 2006 .

[80]  A. Scheer.  Business Process Engineering: Reference Models for Industrial Enterprises , 1994 .

[81]  August-Wilhelm Scheer,et al.  Extending data modeling to cover the whole enterprise , 1992, CACM.

[82]  Geert Poels,et al.  Experimental Research on Conceptual Modeling: What Should We Be Doing and Why? , 2006, ER.

[83]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[84]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[85]  Jörg Becker,et al.  Multiperspektivische ereignisgesteuerte Prozessketten , 2003, EPK.

[86]  Ron Weber,et al.  Are Attributes Entities? A Study of Database Designers' Memory Structures , 1996, Inf. Syst. Res..

[87]  Peter Green,et al.  An ontological analysis of information systems analysis and design (ISAD) grammars in upper case tools , 1996 .

[88]  Vojislav B. Misic,et al.  Evaluating the Quality of Reference Models , 2000, ER.

[89]  A. Oberweis,et al.  Automatic User Support for Business Process Modeling , 2006 .

[90]  Carsten Lutz,et al.  Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.

[91]  R. Chisholm.  A Realistic Theory of Categories: An Essay on Ontology , 1998 .

[92]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[93]  Brian Henderson-Sellers,et al.  Ontological Evaluation of the UML Using the Bunge–Wand–Weber Model , 2002, Software and Systems Modeling.

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

[95]  Julio Berrocal,et al.  Semantic Management: Application of Ontologies for the Integration of Management Information Models , 2003, Integrated Network Management.

[96]  Alan L. Rector,et al.  Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.

[97]  Arne Sølvberg,et al.  Understanding quality in conceptual modeling , 1994, IEEE Software.

[98]  Marta Indulska,et al.  Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN , 2005 .

[99]  Wil M. P. van der Aalst,et al.  Fundamentals of control flow in workflows , 2003, Acta Informatica.

[100]  Yanchun Zhang,et al.  An analytical evaluation of NIAM'S grammar for conceptual schema diagrams , 1996, Inf. Syst. J..

[101]  Simon K. Milton.  An ontological comparison and evaluation of data modelling frameworks , 2000 .

[102]  Mieczyslaw M. Kokar,et al.  Consistency Checking of RM-ODP Specifications , 2001, WOODPECKER.

[103]  Ron Weber,et al.  Should Optional Properties Be Used in Conceptual Modelling? A Theory and Three Empirical Tests , 2001, Inf. Syst. Res..

[104]  Vladan Devedzic,et al.  Bridging MDA and OWL Ontologies , 2005, J. Web Eng..

[105]  E. Tansley,et al.  Using ontology to validate conceptual models , 2003, CACM.

[106]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

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

[108]  Timo Herborn,et al.  Process Ontologies Facilitating Interoperability in eGovernment A Methodological Framework , 2006 .

[109]  Izak Benbasat,et al.  Development of an Instrument to Measure the Perceptions of Adopting an Information Technology Innovation , 1991, Inf. Syst. Res..

[110]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[111]  Arthur C. Sanderson,et al.  Intelligent Task Planning Using Fuzzy Petri Nets , 1996, Series in Intelligent Control and Intelligent Automation.

[112]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[113]  Joerg Evermann,et al.  Towards Ontologically Based Semantics for UML Constructs , 2001, ER.