Deductive reconstruction of MLT* for multi-level modeling
| Autor: | Victorio Albani de Carvalho, Manfred A. Jeusfeld, Bernd Neumayr, Claudenir M. Fonseca, João Paulo A. Almeida |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Datalog
ConceptBase Theoretical computer science Relation (database) Programvaruteknik Computer science MLT 02 engineering and technology Domain (software engineering) DeepTelos 0202 electrical engineering electronic engineering information engineering Axiom computer.programming_language Abstraction (linguistics) Powertype Computer Sciences Deductive database Multi-level modeling Software Engineering 020207 software engineering Object-oriented modeling Datavetenskap (datalogi) 020201 artificial intelligence & image processing computer |
| Zdroj: | MODELS Companion |
| Popis: | In the last two decades, about a dozen proposals were made to extend object-oriented modeling by multiple abstraction levels. One group of proposals designates explicit levels to objects and classes. The second group uses the powertype pattern to implicitly establish levels. From this group, we consider two proposals, DeepTelos and MLT*. Both have been defined via axioms and both give a central role to the powertype pattern. In this paper, we reconstruct MLT* with the deductive axiomatization style used for DeepTelos. The resulting specification is executed in a deductive database to check MLT* multi-level models for errors and complete them with derived facts that do not have to be explicitly asserted by modelers. This leverages the rich rules of MLT* with the deductive approach underlying DeepTelos. The effort also allows us to clearly establish the relation between DeepTelos and MLT*, in an attempt to clarify the relations between approaches in this research domain. As a byproduct, we supply MLT-Telos as a fully operational deductive implementation of MLT* to the research community. For copyright information, see attached file. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|