DeepTelos: Multi-level Modeling with Most General Instances

  • Manfred A. JeusfeldEmail author
  • Bernd Neumayr
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9974)


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.


Multi-level modeling Telos Meta modeling 


  1. 1.
    Atkinson, C., Kühne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001). doi: 10.1007/3-540-45441-1_3 CrossRefGoogle Scholar
  2. 2.
    Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008)CrossRefGoogle Scholar
  3. 3.
    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 CrossRefGoogle Scholar
  4. 4.
    Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72–90 (2006)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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 CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Jeusfeld, M.A.: Complete list of O-Telos axioms (2005).
  10. 10.
    Jeusfeld, M.A., Jarke, M., Mylopoulos, J. (eds.): Metamodeling for Method Engineering. Cooperative Information Systems. MIT Press, Cambridge (2009)zbMATHGoogle Scholar
  11. 11.
    Klas, W., Schrefl, M.: Metaclasses and Their Application: Data Model Tailoring and Database Integration. LNCS, vol. 943. Springer, Heidelberg (1995). doi: 10.1007/BFb0027185 Google Scholar
  12. 12.
    Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141, pp. 1–20. Springer, Heidelberg (2010). doi: 10.1007/978-3-642-13953-6_1 CrossRefGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325–362 (1990)CrossRefGoogle Scholar
  15. 15.
    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 Google Scholar
  16. 16.
    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
  17. 17.
    Nissen, H.W., Jeusfeld, M.A., Jarke, M., Zemanek, G.V., Huber, H.: Managing multiple requirements perspectives with metamodels. IEEE Softw. 13(2), 37–48 (1996). CrossRefGoogle Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    Pirotte, A., Zimányi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: VLDB, pp. 630–641 (1994)Google Scholar
  20. 20.
    Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115–1152 (2014)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.University of SkövdeSkövdeSweden
  2. 2.Johannes Kepler University LinzLinzAustria

Personalised recommendations