Sökning: onr:"swepub:oai:DiVA.org:his-19215" >
Deductive reconstru...
Deductive reconstruction of MLT* for multi-level modeling
-
- Jeusfeld, Manfred A. (författare)
- Högskolan i Skövde,Institutionen för informationsteknologi,Forskningsmiljön Informationsteknologi,Informationssystem, Information Systems
-
- Almeida, João Paulo A. (författare)
- Federal University of Espírito Santo, Vitória, ES, Brazil
-
- Carvalho, Victorio A. (författare)
- Federal Institute of Espírito Santo, Colatina, ES, Brazil
-
visa fler...
-
- Fonseca, Claudenir M. (författare)
- Free University of Bozen-Bolzano, Italy
-
- Neumayr, Bernd (författare)
- Johannes Kepler University Linz, Austria
-
visa färre...
-
(creator_code:org_t)
- 2020-10-26
- 2020
- Engelska.
-
Ingår i: MODELS '20. - New York : Association for Computing Machinery (ACM). - 9781450381352
- Relaterad länk:
-
https://his.diva-por... (primary) (Raw object)
-
visa fler...
-
http://his.diva-port...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Multi-level modeling
- Object-oriented modeling
- MLT*
- Powertype
- ConceptBase
- Datalog
- DeepTelos
- Information Systems
- Informationssystem (IS)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas