Abstract
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.
Highlights
Model Driven Architecture (MDA) promotes the use of models as the main artifacts through all software development stages: System specification, project, implementation and tests (Touzi et al, 2009)
Platform-independent models represent the system established by the Institut National de Recherche en functionalities and are developed with the aid of a Informatique et en Automatique (INRIA) in response to modeling language, such as Unified Modeling a request from the Object Management Group (OMG)
Iterative target patterns: Makes it possible to generate a set of target model elements conforming to a same type the latter the definition of a Domain-Specific Language (DSL), i.e., the Atlas Transformation Language (ATL)
Summary
Model Driven Architecture (MDA) promotes the use of models as the main artifacts through all software development stages: System specification, project, implementation and tests (Touzi et al, 2009). Such header makes use of the standard execution mode, set through the keyword “from” and defines the PIM as source model (IN). The Refining Mode is set by adding the keyword “refining” to the transformation module header It can be employed only in endogenous transformations, i.e., when both source and target models share the same metamodel. The superimposition technique can elements to another model make use of this module to solve problems regarding model refinement in the MDA context In this case, transformation rules of the UML2Copy.atl module are either reused in their original form or, if needed, replaced by homonymous rules defined in the refining specific module. Iterative target patterns: Makes it possible to generate a set of target model elements conforming to a same type the latter the definition of a Domain-Specific Language (DSL), i.e., the ATL
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
