Domain-Specific Languages (DSLs) are now developed for a wide variety of domains to address specific concerns in the development of complex systems. When engineering new …
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it …
The intensive use of models in model-driven engineering (MDE) raises the need to develop meta-models with different aims, such as the construction of textual and visual modelling …
We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. Unlike existing translations, which are based on a shallow embedding strategy, and are thus …
Abstract Domain-Specific Modeling Languages (DSMLs) are getting more and more attention as a key element of Model Driven Engineering. As any other software artifact …
Modelling and analysis are key to managing the increasing complexity and heterogeneity of today's software-intensive systems. Historically, different research communities have studied …
Abstract Model-driven engineering (MDE) is a software engineering paradigm that proposes an active use of models during the development process. This paradigm is inherently type …
Abstract Model composition plays a key role in many tasks in model-centric software development, eg, evolving UML diagrams to add new features or reconciling models …
Abstract Model composition plays a central role in many software engineering activities, eg, evolving design models to add new features. To support these activities, developers usually …