FDMM: A Formalism for Describing ADOxx Meta Models and Models

Hans-Georg Fill, Timothy Redmond, Dimitris Karagiannis

Abstract

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.

References

  1. Baader, F. (2003). The description logic handbook: theory, implementation, and applications. Cambridge Univ Pr.
  2. Borgida, A., Chaudhri, V., Giorgini, P., and Yu, E. (2009). Conceptual Modeling: Foundations and Applications. Springer.
  3. Bork, D. and Sinz, E. (2010). Design of a SOM Business Process Modelling Tool based on the ADOxx metamodelling Platform. In De Lara, J. and Varro, D., editors, Proceedings of the Fourth International Workshop on Graph-Based Tools. EASST.
  4. Braun, C. and Winter, R. (2005). A comprehensive enterprise architecture metamodel and its implementation using a metamodeling platform. In Desel, J. and Frank, U., editors, Enterprise Modelling and Information Systems Architectures, pages 64-79. Gesellschaft fuer Informatik, Bonn.
  5. Demirkan, H., Kauffman, R. J., Vayghan, J. A., Fill, H.- G., Karagiannis, D., and Maglio, P. (2008). Serviceoriented technology and management: Perspectives on research and practice for the coming decade. Electronic Commerce Research and Applications, 7(4):356-376.
  6. Faisst, U. and Buhl, H. (2005). Integrated Enterprise Balancing mit integrierten Ertrags- und Risikodatenbanken (German: Integrated Enterprise Balancing with integrated Return and Risk Databases). Wirtschaftsinformatik, 47(6):403-412.
  7. Fill, H.-G. (2009). Visualisation for Semantic Information Systems. Gabler.
  8. Fill, H.-G., Gericke, A., Karagiannis, D., and Winter, R. (2007). Modellierung fuer Integrated Enterprise Balancing (German: Modeling for Integrated Enterprise Balancing). Wirtschaftsinformatik, 06/2007:419-429.
  9. Gericke, A., Fill, H.-G., Karagiannis, D., and Winter, R. (2009). Situational Method Engineering for Governance, Risk and Compliance Information Systems. In DESRIST. ACM.
  10. Harel, D. and Rumpe, B. (2000). Modeling languages: Syntax, semantics and all that stuff - part i: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science.
  11. Harel, D. and Rumpe, B. (2004). Meaningful modeling: What's the semantics of ”semantics”? IEEE Computer, October 2004:64-72.
  12. Harmon, P. (2010). The BPTrends 2010 BPM Software Tools Report on BOC's Adonis Version 4.0. http://www.bptrends.com/publicationfiles/2010% 20BPM%20Tools%20Report-BOCph.pdf last accessed 10-10-2011.
  13. Hinkelmann, K., Nikles, S., Wache, H., and Wolff, D. (2010). An enterprise architecture framework to organize model repositories. In Woitsch, R. and Micsik, A., editors, OKM Open Knowledge Models, Workshop W3 at EKAW 2010.
  14. Hofer, S. (2011). Instances over algorithms: A different approach to business process modeling. In Johannesson, P., Krogstie, J., and Opdahl, A., editors, The Practice of Enterprise Modeling. 4th IFIP WG 8.1 Working Conference, Oslo. Springer.
  15. Jouault, F. and Bezivin, J. (2006). KM3: a DSL for Metamodel Specification. In Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, pages 171-185. Springer.
  16. Junginger, S., Kuehn, H., Strobl, R., and Karagiannis, D. (2000). Ein GeschaeftsprozessmanagementWerkzeug der naechsten Generation - ADONIS: Konzeption und Anwendungen (German: ADONIS: A next generation business process management tool - Concepts and Applications). Wirtschaftsinformatik, 42(5):392-401.
  17. Karagiannis, D., Fill, H.-G., Hoefferer, P., and Nemetz, M. (2008a). Metamodeling: Some application areas in information systems. In Kaschek, R. and et al., editors, UNISCON, pages 175-188. Springer.
  18. Karagiannis, D., Grossmann, W., and Hoefferer, P. (2008b). Open model initiative - a feasibility study. http://cms.dke.univie.ac.at/uploads/media/Open Models Feasibility Study SEPT 2008.pdf.
  19. Karagiannis, D., Junginger, S., and Strobl, R. (1996). Introduction to Business Process Management Systems Concepts. In Scholz-Reiter, B. and Stickel, E., editors, Business Process Modelling, pages 81-106. Springer, Berlin et al.
  20. Karagiannis, D. and Kuehn, H. (2002). Metamodeling platforms. In Bauknecht, K., Min Tjoa, A., and Quirchmayr, G., editors, EC-Web 2002 at Dexa 2002, page 182. Springer, Aix-enProvence, France. Full version available at: http://www.dke.univie.ac.at/mmp/FullVersion MMP DexaECWeb2002.pdf.
  21. Kaschek, R. (2008). On the evolution of conceptual modeling. In Dagstuhl Seminar Proceedings, volume 08181. H., Hummel, A., and Kuehne, S. (2011).
  22. Towards a comparative analysis of metametamodels. In The 11th Workshop on Domain-Specific Modeling, Portland, USA.
  23. http://www.dsmforum.org/events/DSM11/Papers/ kern.pdf (last access 05-01-2012).
  24. Koch, S., Strecker, S., and Frank, U. (2006). Conceptual Modelling as a New Entry in the Bazaar: The Open Model Approach. In Open Source Systems, volume 203/2006, pages 9-20. IFIP International Federation for Information Processing.
  25. Kuehn, H. (2010). The ADOxx Metamodelling Platform. In Workshop on Methods as PlugIns for Meta-Modelling, Klagenfurt, Austria. http://www.openmodel.at/c/document library/get file?uuid=7516b7c5-a525-4d92-929e6c11e5da9d39&groupId=10122.
  26. McNeill, K. (2008). Metamodeling with EMF: Generating concrete, reusable Java snippets. http://www.ibm.com/developerworks/library/oseclipse-emfmetamodel/index.html?S TACT=105AG X44&S CMP=EDU.
  27. Nemetz, M. (2006). A meta-model for intellectual capital reports. In Karagiannis, D. and Reimer, U., editors, Proceedings of the 6th International Conference on Practical Aspects of Knowledge Management. Springer.
  28. Object Management Group (2011). Omg meta object facility (mof) core specification version 2.4.1. http://www.omg.org/spec/MOF/2.4.1/PDF/.
  29. OMG, O. M. G. (2004). Unified modeling language (uml) specification: Infrastructure version 2.0. Technical report. http://www.omg.org/docs/ptc/04-10-14.pdf accessed 12-03-2006.
  30. OMG, O. M. G. (2010). Object constraint language specification version 2.2. Technical report. http://www.omg.org/spec/OCL/2.2 accessed 11-01- 2012.
  31. Poernomo, I. (2006). The Meta-Object Facility Typed. In SAC'06, pages 1845-1849, Dijon, France. ACM.
  32. Schwab, M., Karagiannis, D., and Bergmayr, A. (2010). i* on ADOxx(R): A Case Study. In Proceedings of the 4th International i* Workshop - iStar10 - CAiSE Workshop Proceedings, pages 92-97. Springer.
  33. Sprinkle, J., Rumpe, B., Vangheluwe, H., and Karsai, G. (2010). Metamodelling - state of the art and research challenges. In Giese, H. et al. , editor, MBEERTS, volume LNCS 6100, pages 57-76. Springer.
  34. Wand, Y. and Weber, R. (2002). Research commentary: Information systems and conceptual modeling - a research agenda. Information Systems Research, 13(4):363-376.
Download


Paper Citation


in Harvard Style

Fill H., Redmond T. and Karagiannis D. (2012). FDMM: A Formalism for Describing ADOxx Meta Models and Models . In Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8565-12-9, pages 133-144. DOI: 10.5220/0003971201330144


in Bibtex Style

@conference{iceis12,
author={Hans-Georg Fill and Timothy Redmond and Dimitris Karagiannis},
title={FDMM: A Formalism for Describing ADOxx Meta Models and Models},
booktitle={Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2012},
pages={133-144},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003971201330144},
isbn={978-989-8565-12-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - FDMM: A Formalism for Describing ADOxx Meta Models and Models
SN - 978-989-8565-12-9
AU - Fill H.
AU - Redmond T.
AU - Karagiannis D.
PY - 2012
SP - 133
EP - 144
DO - 10.5220/0003971201330144