Composing domain-specific design environments

Lédeczi, Ákos; Bakay, Árpád; Maróti, Miklós; Völgyesi, Péter; Nordstrom, G.; Sprinkle, Jonathan; Karsai, Gábor

doi:10.1109/2.963443

Cited by 726 publications

(287 citation statements)

References 14 publications

Supporting

Mentioning

283

Contrasting

Unclassified

Order By: Relevance

“…For example, generative modelling tools such as AToM 3 (A Tool for Multi-formalism Metamodelling) [11] [17],GME (Generic Modelling Environment) [3], GMF (Eclipse Graphical Modelling Framework) [21] can synthesize a domain-specific visual model editor from a declarative specification of a domain-specific modelling language. A declarative specification consists of a meta-model and a visual/textual syntax that describes how language elements (objects and relationships) manifest in the model editor.…”

Section: Introductionmentioning

confidence: 99%

Towards Domain-specific Model Editors with Automatic Model Completion

2009

View full text Add to dashboard Cite

Integrated development environments such as Eclipse allow users to write programs quickly by presenting a set of recommendations for code completion. Similarly, word processing tools such as Microsoft Word present corrections for grammatical errors in sentences. Both of these existing structure editors use a set of constraints expressed in the form of a natural language grammar to restrict/correct the user (syntax-directed editing) or formal grammar (language-directed editing) to aid document completion. Taking this idea further, in this paper we present an integrated software system capable of generating recommendations for model completion of partial models built in editors for domain-specific modelling languages. We present a methodology to synthesize model editors equipped with automatic completion from a modelling language's declarative specification consisting of a metamodel with a visual syntax. This meta-model directed completion feature is powered by a first-order relational logic engine implemented in ALLOY. We incorporate automatic completion in the generative tool AToM 3 . We use the Finite State Machines modelling language as a concise running example. Our approach leverages a correct by construction philosophy that renders subsequent simulation of models considerably less error-prone.

show abstract

Section: Introductionmentioning

confidence: 99%

Towards Domain-specific Model Editors with Automatic Model Completion

2009

View full text Add to dashboard Cite

show abstract

“…Thus, a formalisation of node type inheritance is available for PROGRES, but there is no theory building up on that. GME [16] e.g., is a meta modelling tool (for model integrated computing) which has lately incorporated graph transformation techniques for model manipulation, although its approach is not founded on the theory of graph transformation and its formalization has not been shown.…”

Section: Related Workmentioning

confidence: 99%

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

Bardohl

Ehrig

Lara

et al. 2004

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Visual languages (VLs) play a central role in modelling various system aspects. Besides standard languages like UML, a variety of domain-specific languages exist which are the more used the more tool support is available for them. Different kinds of generators have been developed which produce visual modelling environments based on VL specifications. To define a VL, declarative as well as constructive approaches are used. The meta modelling approach is a declarative one where classes of symbols and relations are defined and associated to each other. Constraints describe additional language properties. Defining a VL by a graph grammar, the constructive way is followed where graphs describe the abstract syntax of models and graph rules formulate the language grammar. In this paper, we extend algebraic graph grammars by a node type inheritance concept which opens up the possibility to integrate both approaches by identifying symbol classes with node types and associations with edge types of some graph class. In this way, declarative as well as constructive elements may be used for language definition and model manipulation. Two concrete approaches, the GENGED and the AToM 3 approach, illustrate how VLs can be defined and models can be manipulated by the techniques described above.

show abstract

“…We have implemented models of different parts of the Pet Store in two different modeling tools: the Generic Eclipse Modeling System (GEMS) [48] and the Generic Modeling Environment (GME) [30]. GME was chosen due to its extensive support for different views, while GEMS was selected for its strengths in model intelligence, which was used for automating parts of the deployment modeling process.…”

Section: Modeling Platformsmentioning

confidence: 99%

“…Another Neat Tool (ANT) [24] build, configuration, and deployment scripts can be generated from the GEMS deployment model. GME [30] is another graphical modeling tool similar to GEMS that allows developers to graphically specify a metamodel and generate a DSML editor. A modeling tool for specifying the overall component architecture of the Pet Store has been implemented in GME.…”

Section: Modeling Platformsmentioning

confidence: 99%

Constraint-Based Model Weaving

White

Gray

Schmidt

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Aspect-Oriented Modeling (AOM) is a promising technique for untangling the concerns of complex enterprise software systems. AOM decomposes the cross-cutting concerns of a model into separate models that can be woven together to form a composite solution model. In many domains, such as multi-tiered e-commerce web applications, separating concerns is much easier than deducing the proper way to weave the concerns back together into a solution model. For example, modeling the types and sizes of caches that can be leveraged by a web application is much easier than deducing the optimal way to weave the caches back into the solution architecture to achieve high system throughput.This paper presents a technique called constraint-based weaving that maps model weaving to a constraint satisfaction problem (CSP) and uses a constraintsolver to deduce the appropriate weaving strategy. By mapping model weaving to a CSP and leveraging a constraint solver, our technique (1) generates solutions that are correct with respect to the weaving constraints, (2) can incorporate complex global weaving constraints, (3) can provide weaving solutions that are optimal with respect to a weaving cost function, and (4) can eliminate manual effort that would normally be required to specify pointcuts and maintain them as target models change. The paper also presents the results of a case study that applies our CSP weaving technique to a representative enterprise Java application. Our evaluation of this case study showed a reduction in manual effort that our technique provides.

show abstract

Composing domain-specific design environments

Cited by 726 publications

References 14 publications

Towards Domain-specific Model Editors with Automatic Model Completion

Towards Domain-specific Model Editors with Automatic Model Completion

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

Constraint-Based Model Weaving

Contact Info

Product

Resources

About