Type-Safe Symmetric Composition of Metamodels Using Templates

Berg, Henning; Møller-Pedersen, Birger

doi:10.1007/978-3-642-36757-1_10

Cited by 10 publications

(6 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A detailed review of related works regarding aspectual templates can be found in our previous work [18]. In these works, instantiation is sometimes mentioned as an underlying mechanism for binding aspectual templates [2,9,15] but it is not isolated as a full-right mechanism, as studied here. In the following, we review existing works that explicitly support template instantiation since it is the focus of this paper.…”

Section: Related Workmentioning

confidence: 99%

Isolating and Reusing Template Instances in UML

Allon

Vanwormhoudt

Carré

et al. 2016

Modelling Foundations and Applications

View full text Add to dashboard Cite

International audienceIn MBE, design of systems can be improved and accelerated thanks to reusable models which are made available in model repositories or libraries. One answer for designing reusable models is parameterization as o↵ered by UML templates and their binding relationship. The stan- dard aims at embracing under the same constructs two distinct kinds of template usages, namely template instantiation and aspectual binding. Template instantiation is concerned with the capacity of UML templates to model generic components (like C++ templates or Java generics) and produce new models from their binding. Aspectual binding is much more concerned with the capacity of UML templates to specify functionalities to inject into models of systems (contexts) which must conform to a required parameter model. In this paper, we focus on the generative in- terpretation of UML template binding. On the basis of a deep analysis of the standard, it will be shown that template binding consists in template instantiation plus context merging. This allows to isolate the capacity of instantiating templates (under their generative view) to get reusable models coming from applicative contexts. Then the possibility of partial instantiation inspired by partial binding as promoted by the standard is studied. At a practical level, related functionalities are o↵ered within Eclipse

show abstract

Section: Related Workmentioning

confidence: 99%

Isolating and Reusing Template Instances in UML

Allon

Vanwormhoudt

Carré

et al. 2016

Modelling Foundations and Applications

View full text Add to dashboard Cite

show abstract

“…This can end up creating massive metamodels that are difficult to navigate and apply during modeling. This notion of type has led to a number of works in metamodeling that apply formal semantics from programming languages, which attempt to manage this process [10][11][12]. Composition of type entities can then lead to new types without extending the base metamodel.…”

Section: Metamodels For System Designmentioning

confidence: 99%

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

et al. 2021

View full text Add to dashboard Cite

Cyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of “-ilities”, such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements (requirements, interfaces, physical, and functional) and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.

show abstract

“…Other works have treated the problem of model composition and reuse from different angles. Indeed Berg et al in [32] propose an operational semantics based approach for composing and reusing metamodels and models, by including their operational semantics. Composition is performed relaying on a reusable template that permit customizing the metamodel meta-concepts as part of the composition operation.…”

Section: In Mdementioning

confidence: 99%

A Practical Approach for Extending DSMLs by Composing their Metamodels

Abouzahra¹,

Sabraoui²,

Afdel³

2018

Adv. sci. technol. eng. syst. j.

View full text Add to dashboard Cite

Domain specific modeling (DSM) has become popular in the software development field during these last years. It allows to design an application using a domain specific modeling language (DSML) and to generate an end-solution software product directly from models. However providing a new DSML is a complex and costly job. This can be reduced by the reuse of existing DSMLs to compose new ones trough a metamodel composition approach. This paper provides a composition rules based code generator facility for extending DSMLs. In doing so, it proposes three rules to compose DSMLs by composing there metamodels: reference rule, specialization rule and fusion rule. The results of an exploratory case study on using these rules are depicted. In addition a proof of concept of the code generator facility which generates the necessary infrastructure to quickly build new DSMLs is implemented and applied to the case study. The benefits of our approach are measured relying on three indicators: the reduced development time, the reused software components and the gain on learnability.

show abstract

Type-Safe Symmetric Composition of Metamodels Using Templates

Cited by 10 publications

References 14 publications

Isolating and Reusing Template Instances in UML

Isolating and Reusing Template Instances in UML

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

A Practical Approach for Extending DSMLs by Composing their Metamodels

Contact Info

Product

Resources

About