Model-driven development of partial model-to-model transformations in a CASE tool

2016 ◽  
Author(s):  
Tomas Skersys ◽  
Paulius Danenas ◽  
Saulius Pavalkis
Keyword(s):  
Model Transformations ◽  
Case Tool ◽  
Model Driven Development ◽  
Model Driven ◽  
Partial Model

A Rigouous Framework for Model-Driven Development

2010 ◽  
pp. 253-276
Author(s):  
Liliana María Favre
Keyword(s):  
Formal Languages ◽  
Specific Model ◽  
Model Transformations ◽  
Model Driven Development ◽  
Reusable Components ◽  
Model Driven ◽  
Transformation Rules ◽  
Rigorous Framework ◽  
Definition Of ◽  
Independent Model

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the process of converting one model into another model of the same system, preserving some kind of equivalence relation between them. One of the key concepts behind MDD is that models generated during software developments are represented using common metamodeling techniques. In this chapter, we analyze an integration of MDA metamodeling techniques with knowledge developed by the community of formal methods. We describe a rigorous framework that comprises the NEREUS metamodeling notation (open to many other formal languages), a system of transformation rules to bridge the gap between UML/OCL and NEREUS, the definition of MDA-based reusable components, and model/metamodeling transformations. In particular, we show how to integrate NEREUS with algebraic languages using the Common Algebraic Specification Language (CASL). NEREUS focuses on interoperability of formal languages in MDD.

A Rigorous Framework for Model-Driven Development

2011 ◽  
pp. 1-27 ◽  
Author(s):  
Liliana Favre
Keyword(s):  
Formal Languages ◽  
Specific Model ◽  
Model Transformations ◽  
Model Driven Development ◽  
Reusable Components ◽  
Model Driven ◽  
Transformation Rules ◽  
Rigorous Framework ◽  
Definition Of ◽  
Independent Model

The model-driven architecture (MDA) is an approach to model-centric software development. The concepts of models, metamodels, and model transformations are at the core of MDA. Model-driven development (MDD) distinguishes different kinds of models: the computation-independent model (CIM), the platform-independent model (PIM), and the platform-specific model (PSM). Model transformation is the process of converting one model into another model of the same system, preserving some kind of equivalence relation between them. One of the key concepts behind MDD is that models generated during software developments are represented using common metamodeling techniques. In this chapter, we analyze an integration of MDA metamodeling techniques with knowledge developed by the community of formal methods. We describe a rigorous framework that comprises the NEREUS metamodeling notation (open to many other formal languages), a system of transformation rules to bridge the gap between UML/OCL and NEREUS, the definition of MDA-based reusable components, and model/metamodeling transformations. In particular, we show how to integrate NEREUS withalgebraic languages using the Common Algebraic Specification Language (CASL). NEREUS focuses on interoperability of formal languages in MDD.

Model-Driven Development of Model Transformations Supporting Traces Generation

2013 ◽  
pp. 233-245
Author(s):  
Álvaro Jiménez ◽  
Juan M. Vara ◽  
Verónica A. Bollati ◽  
Esperanza Marcos
Keyword(s):  
Model Transformations ◽  
Model Driven Development ◽  
Model Driven

WEAVING DEPLOYMENT ASPECTS INTO DOMAIN-SPECIFIC MODELS

2006 ◽  
Vol 16 (03) ◽  
pp. 403-424 ◽  
Author(s):  
KRISHNAKUMAR BALASUBRAMANIAN ◽  
ANIRUDDHA GOKHALE ◽  
YUEHUA LIN ◽  
JING ZHANG ◽  
JEFF GRAY
Keyword(s):  
Distributed System ◽  
Systems Development ◽  
Model Transformations ◽  
Modeling Language ◽  
Crosscutting Concerns ◽  
Model Driven Development ◽  
Model Driven ◽  
Domain Specific ◽  
Systems Model ◽  
Model Weaving

Domain-specific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., Model-Integrated Computing and Model-Driven Architecture) emphasize the use of models at all stages of system development. Decomposing problems using MDD approaches may result in a separation of the artifacts in a way that impedes comprehension. For example, a single concern (such as deployment of a distributed system) may crosscut different orthogonal activities (such as component specification, interaction, packaging and planning). To keep track of all entities associated with a component, and to ensure that the constraints for the system as a whole are not violated, a purely model-driven approach imposes extra effort, thereby negating some of the benefits of MDD. This paper provides three contributions to the study of applying aspect-oriented techniques to address the crosscutting challenges of model-driven component-based distributed systems development. First, we identify the sources of crosscutting concerns that typically arise in model-driven development of component-based systems. Second, we describe how aspect-oriented model weaving helps modularize these crosscutting concerns using model transformations. Third, we describe how we have applied model weaving using a tool called the Constraint-Specification Aspect Weaver (C-SAW) in the context of the Platform-Independent Component Modeling Language (PICML), which is a domain-specific modeling language for developing component-based systems. A case study of a joint-emergency response system is presented to express the challenges in modeling a typical distributed system. Our experience shows that model weaving is an effective and scalable technique for dealing with crosscutting aspects of component-based systems development.

Model-driven development of multiagent systems: a survey and evaluation

2013 ◽  
Vol 28 (4) ◽  
pp. 479-503 ◽  
Author(s):  
Geylani Kardas
Keyword(s):  
Software Development ◽  
Multiagent Systems ◽  
Code Generation ◽  
Model Transformations ◽  
Tool Support ◽  
Model Driven Development ◽  
Model Driven ◽  
Abstraction Level ◽  
Agent Oriented Software Engineering ◽  
Research Activities

AbstractTo work in a higher abstraction level is of critical importance for the development of multiagent systems (MAS) since it is almost impossible to observe code-level details of such systems due to their internal complexity, distributedness and openness. As one of the promising software development approaches, model-driven development (MDD) aims to change the focus of software development from code to models. This paradigm shift, introduced by the MDD, may also provide the desired abstraction level during the development of MASs. For this reason, MDD of autonomous agents and MASs has been recognized and become one of the research topics in agent-oriented software engineering (AOSE) area. Contributions are mainly based on the model-driven architecture (MDA), which is the most famous and in-use realization of MDD. Within this direction, AOSE researchers define MAS metamodels in various abstraction levels and apply model transformations between the instances of these metamodels in order to provide rapid and efficient implementation of the MASs in various platforms. Reorganization of the existing MAS development methodologies to support model-driven agent development is another emerging research track. In this paper, we give a state of the art survey on above mentioned model-driven MAS development research activities and evaluate the introduced approaches according to five quality criteria we define on model-driven MAS engineering: (1) definition of a platform independent MAS metamodel, (2) model-to-model transformability, (3) model-to-code transformability, (4) support for multiple MAS platforms and finally (5) tool support for software modeling and code generation. Our evaluation has shown that the researchers contributed to the area by providing MDD processes in which design of the MASs are realized at a very high abstraction level and the software for these MASs are developed as a result of the application of a series of model transformations. However, most of the approaches are incapable of supporting multiple MAS environments due to the restricted specifications of their metamodels and model transformations. Also efficiency and practicability of the proposed methodologies are under debate since the amount and quality of the executable MAS components, gained automatically, appear to be not sufficient.

Sign in / Sign up

Export Citation Format

Share Document