Modeling Theories and Model Transformation Scenario for Complex System Development

This paper presents two UML 2.0 profiles for designing embedded software based on Real-Time Operating Systems (RTOS). The first profile, named Application Modeling Profile (AMP), defines the necessary elements for the application modeling. The second one, named swxRTOS, defines a set of stereotypes to describe platform models and the mapping between application and platform. These profiles are used for the development of Application and Platform separately from the model transformations in the context of the Model Driven Engineering (MDE) approach.

Section: Introductionmentioning

confidence: 99%

Application of Platform Models in Model Driven Engineering of Embedded Software

Soares¹,

Agner²,

Stadzisz³

et al. 2015

“…Then, the source and target models and the transformation definition must conform to their metamodels (MMa, MMb and ATL, respectively). In addition, the metamodels must conform to a meta-metamodel, in this case the Meta Object Facility (MOF) (Dube and Dixit, 2012).…”

Section: Atlasmentioning

confidence: 99%

“…The model transformation scenario are presented in (Dube and Dixit, 2012). Transformation between models can be defined as the translation of a model from a higher abstraction level to a lower abstraction level, based on a set of clearly defined rules (Singh and Sood, 2009).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Model Refinement in the Model Driven Architecture Context

Agner

Soares

Stadzisz

et al. 2012

Problem statement: Model Driven Architecture (MDA) is a software development approach based on the design and the transformation of models. In MDA, models are systematically translated to other models and to a source code. Model transformation plays a key role in MDA. Several model transformation languages have been launched lately, aiming to facilitate the translation of input models to output models. The employment of such languages in practical contexts has succeed, although quite often those languages cannot be directly applied to a particular type of model transformation, called refinement. Approach: This study provides a general overview on model refinement and investigates two approaches for model refinement based on Atlas Transformation Language (ATL) referred to as: Refining mode and module superimposition. ATL is a widely adopted language for solving model transformation problems in the MDA approach. Results: This study presents the comparative results obtained from the analysis of the Refining Mode and the Module Superimposition approaches, emphasizing their application benefits. Conclusion:The increasing use of MDA for the design of software systems empowered researches on how developers may benefit from approaches that perform model refinement. The main advantages achieved with the use of the Module Superimposition technique are maintainability and reusability improvement, obtained through module composition and rule superimposition. In its turn, the Refining Mode stands out for its ease of use.

“…Transformation between models can be defined as the translation of a model from a higher abstraction level to a lower abstraction level, based on a group of clearly defined rules (Dube and Dixit, 2012). Several Model Transformation Languages (MTLs) were proposed so as to define and execute Model-To-Model…”

Section: Introductionmentioning

confidence: 99%

Applying Black-Box Testing to Model Transformations in the Model Driven Architecture Context

Agner¹,

Soares²,

Simão³

et al. 2014

Testing model transformations has played a leading role with the dissemination of MDA in software development processes. Software testing based on black-box testing, together with the "category partitioning" method, can be efficiently used in order to conduct the verification of model transformations. This study employs software testing techniques to an ATL model transformation in the MDA context and points out their benefits. The black-box testing method was adapted to the MT-PROAPES model transformation based on profiles and platform models. The platform models define the range of input models of the MT-PROAPES and are used for the creation of the test cases. The test cases were selected so as to meet certain requirements and increase the ability to detect errors in the model transformation. This approach makes the test process more agile and does not require any abstraction of behavioral properties of the transformations. The field of transformation testing and verification still faces significant challenges and requires a lot of research. Although having some limitations, black-box testing conforms to various situations, besides allowing its integration with other test strategies.