nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Formal Executable Theory of Multilevel Modeling

verfasst von : Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee

Erschienen in: Advanced Information Systems Engineering

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Multi-Level Modeling (MLM) conceptualizes software models as layered architectures of sub-models that are inter-related by the instance-of relation, which breaks monolithic class hierarchies midway between subtyping and interfaces. This paper introduces a formal theory of MLM, rooted in a set-theoretic semantics of class models. The MLM theory is validated by a provably correct translation into the FOML executable logic. We show how FOML accounts for inter-level constraints, rules, and queries. In that sense, FOML is an organic executable extension for MLM that incorporates all MLM services. As much as the page budget permits, the paper illustrates how multilevel models are represented and processed in FOML.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

Nächstes Kapitel An LSH-Based Model-Words-Driven Product Duplicate Detection Method

Other languages, e.g., Telos [26] and RDF [22], also support these relationships.

A full formalization of the UML class model, appears in [9].

\(\prec \) is overloaded for subproperties and subclasses.

By analogy with Herbrand interpretations in classical logic.

Other known forms of potency are constraints on off-springs instead of instantiations.

Weaker definitions are possible, following [2].

Acherkan, E., Hen-Tov, A., Lorenz, D., Schachter, L.: The ink language meta-metamodel for adaptive object-model frameworks. In: OOPSLA 2011 (2011)

Artale, A., Calvanese, D., Ibáñez-García, A.: Full satisfiability of UML class diagrams. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 317–331. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16373-9_23CrossRef

Asikainen, T., Mannisto, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. (SoSyM) 8(4), 521–549 (2009)CrossRef

Atkinson, C., Kühne, T.: Rearchitecting the uml infrastructure. ACM TOMACS 12(4), 290–321 (2002)CrossRef

Balaban, M., Bennett, P., Doan, K.H., Georg, G., Gogolla, M., Khitron, I., Kifer, M.: A comparison of textual modeling languages: OCL, Alloy, FOML. In: 16th International Workshop on OCL and Textual Modeling, Models (2016)

Balaban, M., Khitron, I., Kifer, M.: Multilevel modeling and reasoning with FOML. In: IEEE CS International Conference on SwSTE 2016 (2016)

Balaban, M., Kifer, M.: Logic-based model-level software development with F-OML. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 517–532. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24485-8_38CrossRef

Balaban, M., Maraee, A.: Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM TOSEM 22(3), 24:1–24:42 (2013)CrossRef

Balaban, M., Maraee, A.: UML Class Diagram: Abstract syntax and Semantics (2017). https://goo.gl/UJzsjb

10.

Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on UML class diagrams. Artif. Intell. 168, 70–118 (2005)MathSciNetCrossRef

11.

Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems. SECS, vol. 436, pp. 117–166. Springer, Boston (1998). https://doi.org/10.1007/978-1-4615-5643-5_5CrossRefMATH

12.

Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 17, 205–231 (2018)CrossRef

13.

Chen, W., Kifer, M., Warren, D.: HiLog: a foundation for higher-order logic programming. J. Log. Program. 15(3), 187–230 (1993)MathSciNetCrossRef

14.

Gogolla, M., Sedlmeier, M., Hamann, L., Hilken, F.: On metamodel superstructures employing UML generalization features. In: MULTI 2014 (2014)

15.

Henderson-Sellers, B.: On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer, Berlin (2012). https://doi.org/10.1007/978-3-642-29825-7CrossRefMATH

16.

Igamberdiev, M., Grossmann, G., Selway, M., Stumptner, M.: An integrated multi-level modeling approach for industrial-scale data interoperability. Softw. Syst. Model. 17(1), 269–294 (2018)CrossRef

17.

Jarke, M., Gallersdörfer, R., Jeusfeld, M., Staudt, M., Eherer, S.: ConceptBase - a deductive object base for meta data management. J. Intell. Inf. Syst. 4, 167–192 (1995)CrossRef

18.

Khitron, I., Balaban, M., Kifer, M.: The FOML Site (2017). https://goo.gl/AgxmMc

19.

Khitron, I., Kifer, M., Balaban, M.: PathLP: a path-oriented logic programming language. The PathLP Web Site (2011). https://goo.gl/877S43

20.

Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRef

21.

Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42, 741–843 (1995)MathSciNetCrossRef

22.

Klyne, G., Carroll, J.J.: Resource description framework (RDF): concepts and abstract syntax (2006)

23.

de Lara, J., Guerra, E., Cuadrado, J.: When and how to use multilevel modelling. ACM TOSEM 24(2), 12:1–12:46 (2014)CrossRef

24.

de Lara, J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modelling languages. SoSyM 14(1), 429–459 (2013)

25.

Maraee, A., Balaban, M.: Removing redundancies and deducing equivalences in UML class diagrams. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 235–251. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11653-2_15CrossRef

26.

Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM TOIS 8(4), 325–362 (1990)CrossRef

27.

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. 17(1), 1–36 (2016)

28.

Rossini, A., de Lara, J., Guerra, E., Rutle, A., Lamo, Y.: A graph transformation-based semantics for deep metamodelling. In: Schürr, A., Varró, D., Varró, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 19–34. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-34176-2_4CrossRef

Titel: Formal Executable Theory of Multilevel Modeling
verfasst von: Mira Balaban
Igal Khitron
Michael Kifer
Azzam Maraee
Verlag: Springer International Publishing
Buch: Advanced Information Systems Engineering
Print ISBN: 978-3-319-91562-3

Electronic ISBN: 978-3-319-91563-0

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-91563-0_24

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner