FDMM: A Formalism for Describing ADOxx Meta Models and Models

In the paper at hand we present the FDMM formalism that can be used to describe the core constituents of the ADOxx meta modeling approach as it is provided for the Open Models Initiative (OMI). The formalism is based on a first-order logic setting. Thereby formal descriptions of the implementation of modeling languages based on ADOxx can be realized in an intuitive and mathematically exact format. To illustrate the use of the formalism it is applied to a modeling language and its instances from the area of risk management that has been previously implemented in ADOxx. It is then analysed how the concepts of the FDMM formalism compare to the ADOxx meta modeling concepts as well as other meta modeling approaches from the area of domain-specific modeling.

[1]  Knut Hinkelmann,et al.  An Enterprise Architecture Framework to organize Model Repositories , 2010 .

[2]  Eric Yu,et al.  Conceptual Modeling: Foundations and Applications , 2009 .

[3]  Hans Ulrich Buhl,et al.  Integrated Enterprise Balancing mit integrierten Ertrags- und Risikodatenbanken , 2005, Wirtschaftsinf..

[4]  Roland H. Kaschek,et al.  On the evolution of conceptual modeling , 2008, The Evolution of Conceptual Modeling.

[5]  Stefan Strecker,et al.  Conceptual Modelling as a New Entry in the Bazaar: The Open Model Approach , 2006, OSS.

[6]  Robert Winter,et al.  Situational method engineering for governance, risk and compliance information systems , 2009, DESRIST.

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

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

[9]  Hans-Georg Fill,et al.  Visualisation for Semantic Information Systems , 2009 .

[10]  Robert Winter,et al.  A Comprehensive Enterprise Architecture Metamodel and Its Implementation Using a Metamodeling Platform , 2005 .

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

[12]  Stefan Hofer,et al.  Instances over Algorithms: A Different Approach to Business Process Modeling , 2011, PoEM.

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

[14]  Dimitris Karagiannis,et al.  Ein Geschäftsprozessmanagement-Werkzeug der nächsten Generation — ADONIS: Konzeption und Anwendungen , 2000, Wirtschaftsinf..

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

[16]  Liliana María Favre.  Formalization of MOF-Based Metamodels , 2010 .

[17]  Martin Nemetz,et al.  A Meta-Model for Intellectual Capital Reporting , 2006, PAKM.

[18]  Robert J. Kauffman,et al.  Service-oriented technology and management: Perspectives on research and practice for the coming decade , 2008, Electron. Commer. Res. Appl..

[19]  Gabor Karsai,et al.  Metamodelling - State of the Art and Research Challenges , 2007, Model-Based Engineering of Embedded Real-Time Systems.

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

[21]  Robert Winter,et al.  Modellierung für Integrated Enterprise Balancing , 2007, Wirtschaftsinf..

[22]  Jean Bézivin,et al.  KM3: A DSL for Metamodel Specification , 2006, FMOODS.

[23]  Dimitris Karagiannis,et al.  Metamodeling: Some Application Areas in Information Systems , 2008, UNISCON.

[24]  Dimitris Karagiannis,et al.  i* on ADOxx®: A Case Study , 2010, iStar.

[25]  Iman Poernomo,et al.  The meta-object facility typed , 2006, SAC.