DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge

Jeusfeld, Manfred A.

doi:10.1109/models-c.2019.00016

Cited by 3 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(7) The 1:1 cardinality constraint for "isPowerTypeOf" in MLT* should also be applied to DeepTelos to exclude redundant classes that always have the same extension. ( 8) DeepTelos showed that it can cover the standard multi-level modeling challenges [16]. Since DeepTelos is a proper subset, MLT-Telos and MLT* can easily pass the same challenges.…”

Section: Discussionmentioning

confidence: 99%

“…Due the underpinning by O-Telos, the definition of DeepTelos only 1 Infinite interpretations are neither ruled out nor necessitated. 2 The formal definition of "specializes" in MLT* [1] is shown later in section 3.2.2. requires six axioms in its latest incarnation [16]. Reformulated with the predicates used in MLT*, the central axiom of DeepTelos is…”

Section: Deeptelosmentioning

confidence: 99%

See 1 more Smart Citation

Deductive reconstruction of MLT ^* for multi-level modeling

Jeusfeld

Almeida

Carvalho

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

Self Cite

View full text Add to dashboard Cite

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. CCS CONCEPTS• Software and its engineering → Syntax; Semantics; Domain specific languages; Visual languages.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Deeptelosmentioning

confidence: 99%

Deductive reconstruction of MLT ^* for multi-level modeling

Jeusfeld

Almeida

Carvalho

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

Self Cite

View full text Add to dashboard Cite

show abstract

“…2) as a number, such as "potency" [1], which describes how often a class and its concretions can be concretized or "level" [7]. Other approaches use designators to characterize levels [11] or do without explicit levels [16].…”

Section: Emphasis On Commonalitiesmentioning

confidence: 99%

Unifying multi-level modeling: A position paper

Jeusfeld

Frank

2021

2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

Self Cite

View full text Add to dashboard Cite

Multi-level modeling (MLM) as part of objectoriented modeling aims at fully utilizing the expressive power of multiple abstraction levels. While these levels where initially used to define domain-specific modeling languages, i.e. for linguistic purposes, the MLM community has long argued that there is much more to gain by tapping into ontological abstraction levels. While MLM is a rather specialized research field, there are now quite a number of different proposals. There is thus an opportunity to develop a uniform core of MLM that then possibly can become part of a standard and be taken up by the larger modeling community.

show abstract

“…A considerable number of publications demonstrated clear advantages of applying multi-level modeling to particular use cases, e.g., [18,27,31,32,44,60,65,67,90,98,100], and supported Atkinson's and Kühne's claim that "there is a strong demand for some kind of technology supporting ontological multi-level modeling" [9, p. 357]. However, while various approaches to multi-level modeling are available, it seems still to be the case what the authors stated 12 years ago: "[…] the software modeling community has not taken advantage of them yet" [9, p. 357].…”

Section: Introductionmentioning

confidence: 99%

Multi-level modeling: cornerstones of a rationale

Frank

2022

Softw Syst Model

View full text Add to dashboard Cite

This expert voice paper presents a comprehensive rationale of multi-level modeling. It aims not only at a systematic assessment of its prospects, but also at encouraging applications of multi-level modeling in business information systems and at providing a motivation for future research. The assessment is developed from a comparison of multi-level modeling with object-oriented, general-purpose modeling languages (GPMLs) and domain-specific modeling languages (DSMLs). To foster a differentiated evaluation, we propose a multi-perspective framework that accounts, among others, for essential design conflicts, different types of users, as well as economic aspects. Besides the assessment of the additional abstraction offered by multi-level modeling, the evaluation also identifies specific drawbacks and remaining challenges. Based on the results of the comparative assessment, in order to foster the adoption and further development of multi-level modeling, we discuss the prospects of supplementing multi-level modeling languages with multi-level programming languages and suggest possible dissemination strategies customized for different groups of users. The paper concludes with an outline of future research.

show abstract

DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge

Cited by 3 publications

References 11 publications

Deductive reconstruction of MLT ^* for multi-level modeling

Deductive reconstruction of MLT ^* for multi-level modeling

Unifying multi-level modeling: A position paper

Multi-level modeling: cornerstones of a rationale

Contact Info

Product

Resources

About

DeepTelos for ConceptBase: A Contribution to the MULTI Process Challenge

Cited by 3 publications

References 11 publications

Deductive reconstruction of MLT * for multi-level modeling

Deductive reconstruction of MLT * for multi-level modeling

Unifying multi-level modeling: A position paper

Multi-level modeling: cornerstones of a rationale

Contact Info

Product

Resources

About

Deductive reconstruction of MLT ^* for multi-level modeling

Deductive reconstruction of MLT ^* for multi-level modeling