Skip to main content

2013 | OriginalPaper | Buchkapitel

Formalizing Meta Models with FDMM: The ADOxx Case

verfasst von : Hans-Georg Fill, Timothy Redmond, Dimitris Karagiannis

Erschienen in: Enterprise Information Systems

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper contains an extended and improved version of the FDMM formalism presented at ICEIS’2012. FDMM is a formalism to describe how meta models and models are defined in the ADOxx approach as used in the Open Models Initiative. It is based on set theory and first order logic statements. In this way, an exact description of ADOxx meta models and corresponding models can be provided. In the paper at hand we extend the description of the formalism by illustrating how the mathematical statements can be used to support the implementation on the ADOxx platform. For this purpose we show how the FDMM constructs are mapped to statements in the ADOxx Library Language (ALL). As an example of the approach, the formalism and the mapping to ALL are applied to a modeling language from the area of risk management.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
2
ADOxx is a registered trademark of BOC AG.
 
3
The acronym FDMM stems from: A Formalism for Describing ADOxx Meta Models and Models.
 
Literatur
1.
Zurück zum Zitat Kaschek, R.: On the evolution of conceptual modeling. In: Dagstuhl Seminar Proceedings, vol. 08181 (2008) Kaschek, R.: On the evolution of conceptual modeling. In: Dagstuhl Seminar Proceedings, vol. 08181 (2008)
2.
Zurück zum Zitat Karagiannis, D., Fill, H.G., Höfferer, P., Nemetz, M.: Metamodeling: Some application areas in information systems. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 175–188. Springer, Heidelberg (2008) Karagiannis, D., Fill, H.G., Höfferer, P., Nemetz, M.: Metamodeling: Some application areas in information systems. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 175–188. Springer, Heidelberg (2008)
3.
Zurück zum Zitat Wand, Y., Weber, R.: Research commentary: information systems and conceptual modeling - a research agenda. Inf. Syst. Res. 13(4), 363–376 (2002)CrossRef Wand, Y., Weber, R.: Research commentary: information systems and conceptual modeling - a research agenda. Inf. Syst. Res. 13(4), 363–376 (2002)CrossRef
4.
Zurück zum Zitat Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.): Conceptual Modeling: Foundations and Applications. Springer, Heidelberg (2009) Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.): Conceptual Modeling: Foundations and Applications. Springer, Heidelberg (2009)
5.
Zurück zum Zitat Koch, S., Strecker, S., Frank, U.: Conceptual Modelling as a New Entry in the Bazaar: The Open Model Approach. In: Damiani, E., Fitzgerald, B., Scacchi, W., Scotto, M., Succi, G. (eds.) Open Source Systems. IFIP, vol. 203, pp. 9–20. Springer, Boston (2006)CrossRef Koch, S., Strecker, S., Frank, U.: Conceptual Modelling as a New Entry in the Bazaar: The Open Model Approach. In: Damiani, E., Fitzgerald, B., Scacchi, W., Scotto, M., Succi, G. (eds.) Open Source Systems. IFIP, vol. 203, pp. 9–20. Springer, Boston (2006)CrossRef
7.
Zurück zum Zitat Hinkelmann, K., Nikles, S., Wache, H., Wolff, D.: An enterprise architecture framework to organize model repositories. In: Woitsch, R., Micsik, A. (eds.) OKM Open Knowledge Models, Workshop W3 at EKAW 2010 (2010) Hinkelmann, K., Nikles, S., Wache, H., Wolff, D.: An enterprise architecture framework to organize model repositories. In: Woitsch, R., Micsik, A. (eds.) OKM Open Knowledge Models, Workshop W3 at EKAW 2010 (2010)
9.
Zurück zum Zitat Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? IEEE Comput. 37(10), 64–72 (2004)CrossRef Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? IEEE Comput. 37(10), 64–72 (2004)CrossRef
10.
Zurück zum Zitat Karagiannis, D., Kühn, H.: Metamodelling platforms. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2002. LNCS, vol. 2455, p. 182. Springer, Heidelberg (2002). Full version available at: http://www.dke.univie.ac.at/mmp/FullVersion\_MMP\_DexaECWeb2002.pdf Karagiannis, D., Kühn, H.: Metamodelling platforms. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2002. LNCS, vol. 2455, p. 182. Springer, Heidelberg (2002). Full version available at: http://​www.​dke.​univie.​ac.​at/​mmp/​FullVersion\_MMP\_DexaECWeb2002.pdf
12.
Zurück zum Zitat Bork, D., Sinz, E.: Design of a SOM Business Process Modelling Tool based on the ADOxx meta-modelling Platform. In: De Lara, J., Varro, D. (eds.) Proceedings of the Fourth International Workshop on Graph-Based Tools, EASST (2010) Bork, D., Sinz, E.: Design of a SOM Business Process Modelling Tool based on the ADOxx meta-modelling Platform. In: De Lara, J., Varro, D. (eds.) Proceedings of the Fourth International Workshop on Graph-Based Tools, EASST (2010)
13.
Zurück zum Zitat Fill, H.G., Gericke, A., Karagiannis, D., Winter, R.: Modellierung fuer Integrated Enterprise Balancing (German: Modeling for Integrated Enterprise Balancing). Wirtschaftsinformatik 06, 419–429 (2007)CrossRef Fill, H.G., Gericke, A., Karagiannis, D., Winter, R.: Modellierung fuer Integrated Enterprise Balancing (German: Modeling for Integrated Enterprise Balancing). Wirtschaftsinformatik 06, 419–429 (2007)CrossRef
14.
Zurück zum Zitat Schwab, M., Karagiannis, D., Bergmayr, A.: i* on ADOxx(R): A Case Study. In: Proceedings of the 4th International i* Workshop - iStar10 - CAiSE Workshop Proceedings, pp. 92–97. Springer (2010) Schwab, M., Karagiannis, D., Bergmayr, A.: i* on ADOxx(R): A Case Study. In: Proceedings of the 4th International i* Workshop - iStar10 - CAiSE Workshop Proceedings, pp. 92–97. Springer (2010)
15.
Zurück zum Zitat Nemetz, M.: A meta-model for intellectual capital reporting. In: Reimer, U., Karagiannis, D. (eds.) PAKM 2006. LNCS (LNAI), vol. 4333, pp. 213–223. Springer, Heidelberg (2006) Nemetz, M.: A meta-model for intellectual capital reporting. In: Reimer, U., Karagiannis, D. (eds.) PAKM 2006. LNCS (LNAI), vol. 4333, pp. 213–223. Springer, Heidelberg (2006)
16.
Zurück zum Zitat Hofer, S.: Instances over algorithms: A different approach to business process modeling. In: Johannesson, P., Krogstie, J., Opdahl, A.L. (eds.) PoEM 2011. LNBIP, vol. 92, pp. 25–37. Springer, Heidelberg (2011) Hofer, S.: Instances over algorithms: A different approach to business process modeling. In: Johannesson, P., Krogstie, J., Opdahl, A.L. (eds.) PoEM 2011. LNBIP, vol. 92, pp. 25–37. Springer, Heidelberg (2011)
17.
Zurück zum Zitat Braun, C., Winter, R.: A comprehensive enterprise architecture metamodel and its implementation using a metamodeling platform. In: Desel, J., Frank, U. (eds.) Enterprise Modelling and Information Systems Architectures, pp. 64–79. Gesellschaft fuer Informatik, Bonn (2005) Braun, C., Winter, R.: A comprehensive enterprise architecture metamodel and its implementation using a metamodeling platform. In: Desel, J., Frank, U. (eds.) Enterprise Modelling and Information Systems Architectures, pp. 64–79. Gesellschaft fuer Informatik, Bonn (2005)
18.
Zurück zum Zitat Demirkan, H., Kauffman, R.J., Vayghan, J.A., Fill, H.G., Karagiannis, D., Maglio, P.: Service-oriented technology and management: Perspectives on research and practice for the coming decade. Electron. Comm. Res. Appl. 7(4), 356–376 (2008)CrossRef Demirkan, H., Kauffman, R.J., Vayghan, J.A., Fill, H.G., Karagiannis, D., Maglio, P.: Service-oriented technology and management: Perspectives on research and practice for the coming decade. Electron. Comm. Res. Appl. 7(4), 356–376 (2008)CrossRef
19.
Zurück zum Zitat Harel, D., Rumpe, B.: Modeling languages: Syntax, semantics and all that stuff - part i: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science, 22 August 2000 Harel, D., Rumpe, B.: Modeling languages: Syntax, semantics and all that stuff - part i: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science, 22 August 2000
20.
Zurück zum Zitat Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling - state of the art and research challenges. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) MBEERTS. LNCS, vol. 6100, pp. 57–76. Springer, Heidelberg (2010) Sprinkle, J., Rumpe, B., Vangheluwe, H., Karsai, G.: Metamodelling - state of the art and research challenges. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) MBEERTS. LNCS, vol. 6100, pp. 57–76. Springer, Heidelberg (2010)
22.
Zurück zum Zitat Junginger, S., Kuehn, H., Strobl, R., Karagiannis, D.: Ein Geschaeftsprozessmanagement-Werkzeug der naechsten Generation - ADONIS: Konzeption und Anwendungen (German: ADONIS: A next generation business process management tool - Concepts and Applications). Wirtschaftsinformatik 42(5), 392–401 (2000)CrossRef Junginger, S., Kuehn, H., Strobl, R., Karagiannis, D.: Ein Geschaeftsprozessmanagement-Werkzeug der naechsten Generation - ADONIS: Konzeption und Anwendungen (German: ADONIS: A next generation business process management tool - Concepts and Applications). Wirtschaftsinformatik 42(5), 392–401 (2000)CrossRef
23.
Zurück zum Zitat Fill, H.G.: Visualisation for Semantic Information Systems. Gabler, Wiesbaden (2009)CrossRef Fill, H.G.: Visualisation for Semantic Information Systems. Gabler, Wiesbaden (2009)CrossRef
24.
Zurück zum Zitat Faisst, U., Buhl, H.: Integrated Enterprise Balancing mit integrierten Ertrags- und Risikodatenbanken (German: Integrated Enterprise Balancing with integrated Return and Risk Databases). Wirtschaftsinformatik 47(6), 403–412 (2005)CrossRef Faisst, U., Buhl, H.: Integrated Enterprise Balancing mit integrierten Ertrags- und Risikodatenbanken (German: Integrated Enterprise Balancing with integrated Return and Risk Databases). Wirtschaftsinformatik 47(6), 403–412 (2005)CrossRef
25.
Zurück zum Zitat Gericke, A., Fill, H.G., Karagiannis, D., Winter, R.: Situational Method Engineering for Governance. Risk and Compliance Information Systems. In: DESRIST. ACM (2009) Gericke, A., Fill, H.G., Karagiannis, D., Winter, R.: Situational Method Engineering for Governance. Risk and Compliance Information Systems. In: DESRIST. ACM (2009)
26.
Zurück zum Zitat Karagiannis, D., Junginger, S., Strobl, R.: Introduction to Business Process Management Systems Concepts. In: Scholz-Reiter, B., Stickel, E. (eds.) Business Process Modelling, pp. 81–106. Springer, Berlin (1996)CrossRef Karagiannis, D., Junginger, S., Strobl, R.: Introduction to Business Process Management Systems Concepts. In: Scholz-Reiter, B., Stickel, E. (eds.) Business Process Modelling, pp. 81–106. Springer, Berlin (1996)CrossRef
27.
Zurück zum Zitat Fill, H.G., Redmond, T., Karagiannis, D.: FDMM: A Formalism for Describing ADOxx Meta Models and Models. In: Maciaszek, L., Cuzzocrea, A., Cordeiro, J. (eds.) Proceedings of ICEIS 2012, Wroclaw, Poland, vol 3, pp. 133–144. (2012) Fill, H.G., Redmond, T., Karagiannis, D.: FDMM: A Formalism for Describing ADOxx Meta Models and Models. In: Maciaszek, L., Cuzzocrea, A., Cordeiro, J. (eds.) Proceedings of ICEIS 2012, Wroclaw, Poland, vol 3, pp. 133–144. (2012)
30.
Zurück zum Zitat Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006) Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)
32.
Zurück zum Zitat Poernomo, I.: The Meta-Object Facility Typed. In: SAC’06, Dijon, France, pp. 1845–1849. ACM (2006) Poernomo, I.: The Meta-Object Facility Typed. In: SAC’06, Dijon, France, pp. 1845–1849. ACM (2006)
33.
Zurück zum Zitat Favre, L.M.: Formalization of MOF-Based Metamodels. In: Favre, L.M. (ed.) Model Driven Architecture for Reverse Engineering Technologies. Information Resources Management Association (2010) Favre, L.M.: Formalization of MOF-Based Metamodels. In: Favre, L.M. (ed.) Model Driven Architecture for Reverse Engineering Technologies. Information Resources Management Association (2010)
35.
Zurück zum Zitat Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003) Baader, F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Metadaten
Titel
Formalizing Meta Models with FDMM: The ADOxx Case
verfasst von
Hans-Georg Fill
Timothy Redmond
Dimitris Karagiannis
Copyright-Jahr
2013
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-40654-6_26

Premium Partner