Towards a precise definition of the OMG/MDA framework

Bézivín, Jean; Gerbé, Olivier

doi:10.1109/ase.2001.989813

Cited by 165 publications

(115 citation statements)

References 2 publications

Supporting

Mentioning

106

Contrasting

Unclassified

Order By: Relevance

“…Within the domain-specific language community, graph-theoretic formalisms [8], [22], [81] have received the most research attention. However, the majority of work focuses on graph rewriting systems as a foundation for model transformations.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Formalizing the structural semantics of domain-specific modeling languages

Jackson

Sztipanovits

2008

Softw Syst Model

View full text Add to dashboard Cite

Abstract-Model-based approaches to system design are now widespread and successful. These approaches make extensive use of model structure to describe systems using domain-specific abstractions, to specify and implement model transformations, and to analyze structural properties of models. In spite of its general importance the structural semantics of modeling languages are not well-understood. In this paper we develop the formal foundations for the structural semantics of domain specific modeling languages (DSML), including the mechanisms by which metamodels specify the structural semantics of DSMLs. Additionally, we show how our formalization can complement existing tools, and how it yields algorithms for the analysis of DSMLs and model transformations.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Despite widespread application of DSMLs, many scientific questions remain about their formal properties [8], [41], [61], which can be loosely grouped into the structural and behavioral regimes. The structural regime concerns the specification, representation, and manipulation of models as represented in some domain-specific syntax.…”

Section: Introductionmentioning

confidence: 99%

Formalizing the structural semantics of domain-specific modeling languages

Jackson

Sztipanovits

2008

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…[1] From the above, and other definitions, a common outcome is that a model describes an abstract view of a system. This description can be either textual or graphical [38].…”

Section: Mde Principles and Toolsmentioning

confidence: 99%

“…This description can be either textual or graphical [38]. Simplification is also important in an MDE lifecycle; A model should only include the important information, abstracted, having all the details not-of-interest pencilled out [1].…”

Section: Mde Principles and Toolsmentioning

confidence: 99%

Type Inference in Flexible Model-Driven Engineering

Zolotas

Matragkas

Devlin

et al. 2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Model-driven Engineering (MDE) is an approach to software development that promises increased productivity and product quality. Domain models that conform to metamodels, both of which are the core artefacts in MDE approaches, are manipulated to perform different development processes using specific MDE tools.However, domain experts, who have detailed domain knowledge, typically lack the technical expertise to transfer this knowledge using MDE tools. Flexible or bottom-up Model-driven Engineering is an emerging approach to domain and systems modelling that tackles this challenge by promoting the use of simple drawing tools to increase the involvement of domain experts in MDE processes. In this approach, no metamodel is created upfront but instead the process starts with the definition of example models that will be used to infer a draft metamodel. When complete knowledge of the domain is acquired, a final metamodel is devised and a transition to traditional MDE approaches is possible. However, the lack of a metamodel that encodes the semantics of conforming models and of tools that impose these semantics bears some drawbacks, among others that of having models with nodes that are unintentionally left untyped. In this thesis we propose the use of approaches that use algorithms from three different research areas, that of classification algorithms, constraint programming and graph similarity to help with the type inference of such untyped nodes. We perform an evaluation of the proposed approaches in a number of randomly generated example models from 10 different domains with results suggesting that the approaches could be used for type inference both in an automatic or a semi-automatic style. 3For my parents Despoina and Michalis

show abstract

“…For instance, in the 4-layer hierarchy [BG01] developed by the OMG, models conform to the metamodel of UML (see Figure 1(b)). The metamodel of UML, in turn, conforms to the metamodel of MOF [Obj06], and the latter is reflexive.…”

Section: Metamodellingmentioning

confidence: 99%

A formalisation of deep metamodelling

et al. 2014

View full text Add to dashboard Cite

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: Abstract. Metamodelling is one of the pillars of model-driven engineering, used for language engineering and domain modelling. Even though metamodelling is traditionally based on a two-metalevel approach, several researchers have pointed out limitations of this solution and proposed an alternative deep (also called multi-level) approach to obtain simpler system specifications. However, this approach currently lacks a formalisation that can be used to explain fundamental concepts such as deep characterisation, double linguistic/ontological typing and linguistic extension. This paper provides such a formalisation based on the Diagram Predicate Framework, and discusses its practical realisation in the METADEPTH tool.

show abstract

Towards a precise definition of the OMG/MDA framework

Cited by 165 publications

References 2 publications

Formalizing the structural semantics of domain-specific modeling languages

Formalizing the structural semantics of domain-specific modeling languages

Type Inference in Flexible Model-Driven Engineering

A formalisation of deep metamodelling

Contact Info

Product

Resources

About