Extending grammars and metamodels for reuse: the Reuseware approach

Henriksson, Jakob; Heidenreich, Florian; Johannes, Jendrik; Zschaler, Steffen; Aßmann, Uwe

doi:10.1049/iet-sen:20070060

Cited by 11 publications

(15 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Additionally, a generic component model needs to do so independently of the language used for expressing the individual components. Our componentmodel definition is based on concepts from ISC [11][12][13]. Figure 9 gives a graphical overview of the main concepts of our component model.…”

Section: A Language-independent Component Model For Model Compositionmentioning

confidence: 99%

“…For each new language that should be supported by COMPOST a large amount of implementation work is required. In [13] we introduced the first version of the Reuseware system which was capable of extending grammar-based textual languages and performing compositions of syntax trees, without the requirement for manual implementations. We took first steps in extending these concepts towards metamodel-based (possibly graphical) languages in [14].…”

Section: Related Workmentioning

confidence: 99%

“…ISC is a generic, grey-box composition technique based on rewriting source code. It was formalised in the Reuseware approach [11,13] to be applicable to arbitrary context-free, textual languages. In this paper, we extend that work to cover graph-structured, possibly graphical languages.…”

Section: Introductionmentioning

confidence: 99%

“…Details about this systems are published in [13] and [29]. The system extends a language that previously included no notion of modularisation with a module system that performs encapsulation and enables the developer to import modules and to control the data flow between modules.…”

mentioning

confidence: 99%

“…Query Modularisation A complex composition system we built based on our earlier, grammar-based, work ( [13]) is a module system for the XML query language Xcerpt [28]. Details about this systems are published in [13] and [29].…”

mentioning

confidence: 99%

See 4 more Smart Citations

On Language-Independent Model Modularisation

Heidenreich

Henriksson

Johannes

et al. 2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. As model-driven software development covers additional parts of the development process, the complexity of software models increases as well. At the same time, however, many modelling languages do not provide adequate support for modularising models. For this reason there has been an increasing interest in the topic of model modularisation, often under the heading of aspectoriented modelling (AOM). The approaches range from techniques that closely mimic concepts from aspect-oriented programming (AOP), such as AspectJ, to very powerful composition techniques for specific types of models-for example, state machines.We believe that AOM is more than just copying the concepts of AOP at the modelling level and should rightly include a large number of other modelcomposition techniques. Developing model composition techniques and tooling is costly, however. To minimise the effort required, this paper presents a generic technique for model composition. The technique is based on invasive software composition and our Reuseware tooling and can be used with arbitrary modelling languages. The basic technique itself is language independent, but it can be adapted to construct language-and purpose-specific composition techniques for specific modelling languages and situations. Hence, it can be used both as a tool for developing specific model-modularisation techniques and as an instrument of research for studying basic properties and concepts of model modularisation. The paper gives a detailed description of our approach and evaluates it using a number of examples.

show abstract

Section: A Language-independent Component Model For Model Compositionmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

mentioning

confidence: 99%

See 3 more Smart Citations

On Language-Independent Model Modularisation

Heidenreich

Henriksson

Johannes

et al. 2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators

Hamiaz

Pantel

Combemale

et al. 2014

Formal Methods and Software Engineering

View full text Add to dashboard Cite

Current trends in system engineering combine modeling, composition and verification technologies in order to harness their ever growing complexity. Each composition operator dedicated to a different modeling concern should be proven to be property preserving at assembly time. These proofs are usually burdensome with repetitive aspects. Our work 3 targets the factorisation of these aspects relying on primitive generic composition operators used to express more sophisticated language specific ones. These operators are defined for languages expressed with OMG MOF metamodeling technologies. The proofs are done with the Coq proof assistant relying on the Coq4MDE framework defined previously. These basic operators, Union and Substitution, are illustrated using the MOF Package Merge as a composition operator and the preservation of model conformance as a verified property.

show abstract