Fundamental Conceptual Modeling Languages in OMiLAB

Regardless of the application domain, both the analysis of existing systems and the creation of new systems benefit extensively from having the system modeled from a conceptual point of view in order to capture its behavioral, structural or semantic characteristics, while abstracting away irrelevant details. Depending on which relevant details are assimilated in the modeling language, modeling tools may support different degrees of domain-specificity. The boundaries of what domain-specific means are as ambiguous as the definition of a domain—it may be a business sector, a paradigm, or a narrow application area. However, some patterns and invariants are recurring across domains and this has led to the emergence of commonly used modeling languages that incorporate such fundamental concepts. This chapter focuses on the metamodeling approach for the hybridization of BPMN, ER, EPC, UML and Petri Nets within a single modeling method identified as FCML, with a proof of concept named Bee-Up implemented in OMiLAB.

[1]  Wil M. P. van der Aalst,et al.  Process-Aware Information Systems: Lessons to Be Learned from Process Mining , 2009, Trans. Petri Nets Other Model. Concurr..

[2]  Heiner Stuckenschmidt,et al.  Handbook on Ontologies , 2004, Künstliche Intell..

[3]  Da He,et al.  Extending UML for Electronic Systems Design: A Code Generation Perspective , 2012 .

[4]  Dimitris Karagiannis,et al.  A domain-specific language for modeling method definition: From requirements to grammar , 2015, 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS).

[5]  Jianxin Li,et al.  Designing Quality XML Schemas from E-R Diagrams , 2006, WAIM.

[6]  T. J. Teorey,et al.  A logical design methodology for relational databases using the extended entity-relationship model , 1986, CSUR.

[7]  Dimitris Karagiannis,et al.  Modelling mobile app requirements for semantic traceability , 2015, Requirements Engineering.

[8]  John Krogstie,et al.  Process models representing knowledge for action: a revised quality framework , 2006, Eur. J. Inf. Syst..

[9]  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..

[10]  John Krogstie,et al.  Perspectives to Process Modeling , 2013, Business Process Management.

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

[12]  Steffen Staab,et al.  Model Driven Engineering with Ontology Technologies , 2010, Reasoning Web.

[13]  Martin Andersson,et al.  Extracting an Entity Relationship Schema From a Relational Database Through Reverse Engineering , 1994, Int. J. Cooperative Inf. Syst..

[14]  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..

[15]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[16]  Antinisca Di Marco,et al.  Xere: Towards a Natural Interoperability between XML and ER Diagrams , 2003, FASE.

[17]  Bernhard Rumpe,et al.  Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff , 2000 .

[18]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

[19]  Bernhard Ganter.  Contextual Attribute Logic of Many-Valued Attributes , 2005, Formal Concept Analysis.

[20]  Dimitris Karagiannis.  Agile modeling method engineering , 2015, Panhellenic Conference on Informatics.

[21]  Karagiannis Dimitris,et al.  Model fragment comparison using natural language processing techniques , 2014 .

[22]  Wolfgang Reisig,et al.  Understanding Petri nets , 1995, IEEE Parallel & Distributed Technology: Systems & Applications.

[23]  Harald Störrle,et al.  Semantics of Control-Flow in UML 2.0 Activities , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[24]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[25]  Dimitris Karagiannis,et al.  Linked Open Models: Extending Linked Open Data with conceptual model information , 2016, Inf. Syst..

[26]  Stefan Kühne,et al.  Towards a comparative analysis of meta-metamodels , 2011, SPLASH Workshops.

[27]  Reiko Heckel,et al.  Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.

[28]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[29]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[30]  Jean-Marc Jézéquel,et al.  Model Driven Engineering , 2017, Encyclopedia of GIS.

[31]  Nelly Bencomo,et al.  Models@run.time , 2014, Lecture Notes in Computer Science.

[32]  Philippe Schnoebelen,et al.  Reset Nets Between Decidability and Undecidability , 1998, ICALP.

[33]  Maria-Eugenia Iacob,et al.  Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns , 2009, Business Process Management Workshops.

[34]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[35]  Jan Mendling,et al.  On the Translation between BPMN and BPEL , 2006, EMMSAD.

[36]  Manfred A. Jeusfeld,et al.  Metamodeling and method engineering with ConceptBase , 2009 .

[37]  G. Box.  Science and Statistics , 1976 .

[38]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

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

[40]  Stephen A. White,et al.  Using BPMN to Model a BPEL Process , 2005 .

[41]  Jörg Desel,et al.  ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.

[42]  Tok Wang Ling,et al.  Synergistic Database Design with an Extended Entity-Relationship Model , 1989, ER.

[43]  Dimitris Karagiannis,et al.  Agile Modelling Method Engineering: Lessons Learned in the ComVantage Research Project , 2015, PoEM.

[44]  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.

[45]  Steffen Staab,et al.  OntoDSL: An Ontology-Based Framework for Domain-Specific Languages , 2009, MoDELS.

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

[47]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .