Algebra for Enterprise Ontology: towards analysis and synthesis of enterprise models

ABSTRACT Enterprise modeling methodologies have made enterprises more likely to be the object of systems engineering rather than craftsmanship. However, the current state of research in enterprise modeling methodologies lacks investigations of the mathematical background embedded in these methodologies. Abstract algebra, a broad subfield of mathematics, and the study of algebraic structures may provide interesting implications in both theory and practice. Therefore, this research gives an empirical challenge to establish an algebraic structure for one aspect model proposed in Design & Engineering Methodology for Organizations (DEMO), which is a major enterprise modeling methodology in the spotlight as a modeling principle to capture the skeleton of enterprises for developing enterprise information systems. The results show that the aspect model behaves well in the sense of algebraic operations and indeed constructs a Boolean algebra. This article also discusses comparisons with other modeling languages and suggests future work.

[1]  Luciano Baresi,et al.  On Formalizing UML with High-Level Petri Nets , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[2]  Piotr Szwed,et al.  Formal Analysis of Use Case Diagrams , 2010, Comput. Sci..

[3]  Zhenhua Duan,et al.  Verification of Use Case with Petri Nets in Requirement Analysis , 2009, ICCSA.

[4]  Mehrdad Sabetzadeh,et al.  A manifesto for model merging , 2006, GaMMa '06.

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

[6]  Jeremy Gibbons,et al.  Formalisations and applications of BPMN , 2011, Sci. Comput. Program..

[7]  S. Sengupta,et al.  Formalization of UML use case diagram-a Z notation based approach , 2006, 2006 International Conference on Computing & Informatics.

[8]  Christophe Ringeissen,et al.  Manipulating algebraic specifications with term-based and graph-based representations , 2004, J. Log. Algebraic Methods Program..

[9]  Martin Op't Land,et al.  Applying Architecture and Ontology to the Splitting and Allying of Enterprises: Problem Definition and Research Approach , 2006, OTM Workshops.

[10]  Remco M. Dijkman,et al.  Business Process Model Merging: An Approach to Business Process Consolidation , 2013, TSEM.

[11]  Wil M. P. van der Aalst,et al.  Merging Event-Driven Process Chains , 2008, OTM Conferences.

[12]  Manuel I. Capel,et al.  Automating the Transformation from BPMN Models to CSP+T Specifications , 2012, 2012 35th Annual IEEE Software Engineering Workshop.

[13]  Junichi Iijima,et al.  A step toward foundation of class diagram algebra for enterprise service systems , 2009, 2009 6th International Conference on Service Systems and Service Management.

[14]  Aditya K. Ghose,et al.  Managing changes in the enterprise architecture modelling context , 2016, Enterp. Inf. Syst..

[15]  Yan Wang,et al.  Transformation of DEMO Metamodel into XML Schema , 2011, EEWC.

[16]  Bernhard K. Aichernig,et al.  Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases , 2003 .

[17]  Kimon P. Valavanis,et al.  On the Measurement of Enterprise Agility , 2002, J. Intell. Robotic Syst..

[18]  George Boole,et al.  The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning , 2007 .

[19]  Alta van der Merwe,et al.  Extending the enterprise evolution contextualisation model , 2017, Enterp. Inf. Syst..

[20]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[21]  Jaehyun Park,et al.  Transformation of DEMO Model into Coloured Petri Net - Ontology based Simulation , 2014, KEOD.

[22]  John Yen,et al.  Merging workflows: A new perspective on connecting business processes , 2006, Decis. Support Syst..

[23]  Giuseppe De Giacomo,et al.  Reasoning on UML Class Diagrams using Description Logic Based Systems , 2001 .

[24]  Joaquim Filipe,et al.  Enterprise Information Systems , 2000, Springer Netherlands.

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

[26]  Hans B. F. Mulder,et al.  The discipline of enterprise engineering , 2013 .

[27]  Robert B. France,et al.  Towards a formalization of UML class structures in Z , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[28]  L. Comtet,et al.  Advanced Combinatorics: The Art of Finite and Infinite Expansions , 1974 .

[29]  Zhaohui Wu,et al.  Enterprise Pattern: integrating the business process into a unified enterprise model of modern service company , 2017, Enterp. Inf. Syst..

[30]  Eduard Babkin,et al.  Towards Devising an Architectural Framework for Enterprise Operating Systems , 2018, ICSOFT.