Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

For the design of work and knowledge systems it is today common to revert to enterprise modeling methods. These methods not only support the representation and analysis of complex interactions between technical services and human actors. The resulting models also provide value through acting as knowledge bases themselves. Thereby, the formalization of modeling methods is essential to unambiguously define their structure, behavior, and semantics, and enable an inter subjective understanding and machine-process ability. In this paper we analyze and compare six common enterprise modeling methods in regard to the formalization of their process-related aspects. From this comparison we derive implications for choosing an appropriate method when designing work and knowledge systems.

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

[2]  S. T. Buckland,et al.  An Introduction to the Bootstrap. , 1994 .

[3]  Andreas Oberweis,et al.  A Formal Specification of the Horus Modeling Language Using FDMM , 2013, Wirtschaftsinformatik.

[4]  Elmar J. Sinz,et al.  Bridging the Gap from a Multi-View Modelling Method to the Design of a Multi-View Modelling Tool , 2013, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[5]  Elmar J. Sinz,et al.  Grundlagen der Wirtschaftsinformatik , 2013 .

[6]  Leo Obrst,et al.  Ontologies for semantically interoperable systems , 2003, CIKM '03.

[7]  Pedro Meseguer,et al.  Assessing the Role of Formal Specifications in Verification and Validation of Knowledge‑Based Systems , 1996 .

[8]  Steven L. Alter.  Defining information systems as work systems: implications for the IS field , 2008, Eur. J. Inf. Syst..

[9]  Gottfried Vossen,et al.  Business Processes for Business Communities: Modeling Languages, Methods, Tools , 2012 .

[10]  August-Wilhelm Scheer,et al.  Architektur integrierter Informations-systeme : Grundlagen der Unternehmensmodellierung , 1992 .

[11]  Hartmut Ehrig.  Petri Net Technology for communication-based systems : advances in Petri Nets , 2003 .

[12]  Geert Poels,et al.  Evaluating quality of conceptual modelling scripts based on user perceptions , 2007, Data Knowl. Eng..

[13]  Ronald Maier,et al.  Knowledge management systems - information and communication technologies for knowledge management (3. ed.) , 2007 .

[14]  Andreas Oberweis,et al.  Inter-organizational Business Process Management with XML Nets , 2003, Petri Net Technology for Communication-Based Systems.

[15]  August-Wilhelm Scheer,et al.  Architektur integrierter Informationssysteme , 1991 .

[16]  Bernhard Rumpe,et al.  Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.

[17]  Dimitris Karagiannis,et al.  On the Conceptualisation of Modelling Methods Using the ADOxx Meta Modelling Platform , 2013, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[18]  Markus Nüttgens,et al.  Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK) , 2002, Promise.

[19]  Gottfried Vossen,et al.  Business Processes for Business Communities , 2012, Springer Berlin Heidelberg.

[20]  N LakhouaM..  Investigation of the methods of the enterprise modeling , 2012 .

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

[22]  J. Krogstie,et al.  Formalization and verification of EPCs with OR-joins based on state and context , 2007 .

[23]  Dimitris Karagiannis,et al.  Introduction to Business Process Management Systems Concepts , 1996 .

[24]  Ekkart Kindler,et al.  On the Semantics of EPCs: A Framework for Resolving the Vicious Circle , 2004, Business Process Management.

[25]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[26]  Jean-Raymond Abrial.  The specification language Z , 1980 .

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

[28]  August-Wilhelm Scheer,et al.  ARIS — Architecture of Integrated Information Systems , 1992 .

[29]  Mark S. Fox,et al.  A COMMON-SENSE MODEL OF THE ENTERPRISE , 2007 .

[30]  Mohamed Najeh Lakhoua,et al.  Investigation of the methods of the enterprise modeling , 2011 .

[31]  Jim Browne,et al.  Integration of business modelling methods for enterprise information system analysis and user requirements gathering , 2004, Comput. Ind..

[32]  A. Adam.  Whatever happened to information systems ethics? Caught between the devil and the deep blue sea , 2004 .

[33]  Mark S. Fox,et al.  The TOVE Project Towards a Common-Sense Model of the Enterprise , 1992, IEA/AIE.

[34]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[35]  Ekkart Kindler,et al.  On the semantics of EPCs: A vicious circle , 2002, EPK.

[36]  M. Fox,et al.  Enterprise Modeling , 1998, AI Mag..

[37]  Mourad Debbabi,et al.  Formal Specification and Probabilistic Verification of SysML Activity Diagrams , 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

[38]  Elmar J. Sinz,et al.  Modeling of Business Systems Using SOM , 1998 .

[39]  Dimitris Karagiannis,et al.  FDMM: A Formalism for Describing ADOxx Meta Models and Models , 2012, ICEIS.

[40]  D. Bork,et al.  Sinz Bridging the Gap from a MultiView Modelling Method to the Design of a MultiView Modelling Tool , 2015 .