Skip to main content

2016 | OriginalPaper | Buchkapitel

DeepTelos: Multi-level Modeling with Most General Instances

verfasst von : Manfred A. Jeusfeld, Bernd Neumayr

Erschienen in: Conceptual Modeling

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Multi-level modeling aims to reduce redundancy in data models by defining properties at the right abstraction level and inheriting them to more specific levels. We revisit one of the earliest such approaches, Telos, and investigate what needs to be added to its axioms to get a true multi-level modeling language. Unlike previous approaches, we define levels not with numeric potencies but with hierarchies of so-called most general instances.

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!

Literatur
1.
2.
Zurück zum Zitat Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008)CrossRef Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008)CrossRef
3.
Zurück zum Zitat Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 119–133. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25264-3_9 CrossRef Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 119–133. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-25264-3_​9 CrossRef
4.
Zurück zum Zitat Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72–90 (2006)CrossRef Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72–90 (2006)CrossRef
5.
Zurück zum Zitat Greenspan, S.J., Mylopoulos, J., Borgida, A.: On formal requirements modeling languages: RML revisited. In: ICSE 1994, pp. 135–147. IEEE Computer Society/ACM Press (1994) Greenspan, S.J., Mylopoulos, J., Borgida, A.: On formal requirements modeling languages: RML revisited. In: ICSE 1994, pp. 135–147. IEEE Computer Society/ACM Press (1994)
6.
Zurück zum Zitat Gutheil, M., Kennel, B., Atkinson, C.: A systematic approach to connectors in a multi-level modeling environment. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 843–857. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87875-9_58 CrossRef Gutheil, M., Kennel, B., Atkinson, C.: A systematic approach to connectors in a multi-level modeling environment. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 843–857. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-87875-9_​58 CrossRef
7.
Zurück zum Zitat Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: APCCM 2005, pp. 7–16. Australian Computer Society (2005) Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: APCCM 2005, pp. 7–16. Australian Computer Society (2005)
8.
Zurück zum Zitat Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S.: ConceptBase - a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167–192 (1995)CrossRef Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S.: ConceptBase - a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167–192 (1995)CrossRef
10.
Zurück zum Zitat Jeusfeld, M.A., Jarke, M., Mylopoulos, J. (eds.): Metamodeling for Method Engineering. Cooperative Information Systems. MIT Press, Cambridge (2009)MATH Jeusfeld, M.A., Jarke, M., Mylopoulos, J. (eds.): Metamodeling for Method Engineering. Cooperative Information Systems. MIT Press, Cambridge (2009)MATH
11.
Zurück zum Zitat Klas, W., Schrefl, M.: Metaclasses and Their Application: Data Model Tailoring and Database Integration. LNCS, vol. 943. Springer, Heidelberg (1995). doi:10.1007/BFb0027185 Klas, W., Schrefl, M.: Metaclasses and Their Application: Data Model Tailoring and Database Integration. LNCS, vol. 943. Springer, Heidelberg (1995). doi:10.​1007/​BFb0027185
13.
Zurück zum Zitat de Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 12:1–12:46 (2014)CrossRef de Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 12:1–12:46 (2014)CrossRef
14.
Zurück zum Zitat Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325–362 (1990)CrossRef Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325–362 (1990)CrossRef
15.
Zurück zum Zitat Neumayr, B., Jeusfeld, M.A., Schrefl, M., Schütz, C.: Dual deep instantiation and its ConceptBase implementation. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 503–517. Springer, Heidelberg (2014). doi:10.1007/978-3-319-07881-6_34 Neumayr, B., Jeusfeld, M.A., Schrefl, M., Schütz, C.: Dual deep instantiation and its ConceptBase implementation. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 503–517. Springer, Heidelberg (2014). doi:10.​1007/​978-3-319-07881-6_​34
16.
Zurück zum Zitat Neumayr, B., Schuetz, C.G., Jeusfeld, M.A., Schrefl, M.: Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. Softw. Syst. Model. 1–36 (2016). doi:10.1007/s10270-016-0519-z Neumayr, B., Schuetz, C.G., Jeusfeld, M.A., Schrefl, M.: Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. Softw. Syst. Model. 1–36 (2016). doi:10.​1007/​s10270-016-0519-z
18.
Zurück zum Zitat Odell, J.J.: Power types. In: Odell, J.J. (ed.) Advanced Object-Oriented Analysis and Design Using UML, pp. 23–32. Cambridge University Press, Cambridge (1998) Odell, J.J.: Power types. In: Odell, J.J. (ed.) Advanced Object-Oriented Analysis and Design Using UML, pp. 23–32. Cambridge University Press, Cambridge (1998)
19.
Zurück zum Zitat Pirotte, A., Zimányi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: VLDB, pp. 630–641 (1994) Pirotte, A., Zimányi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: VLDB, pp. 630–641 (1994)
20.
Zurück zum Zitat Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115–1152 (2014)MathSciNetCrossRefMATH Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115–1152 (2014)MathSciNetCrossRefMATH
Metadaten
Titel
DeepTelos: Multi-level Modeling with Most General Instances
verfasst von
Manfred A. Jeusfeld
Bernd Neumayr
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-46397-1_15