Mapping Specification in MDA: From Theory to Practice

Lopes, Denivaldo; Hammoudi, Slimane; Bézivín, Jean; Jouault, Frédéric

doi:10.1007/1-84628-152-0_23

Cited by 26 publications

(23 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Most researches on model transformation, in the MDA context, are dedicated and define the platform aspects together with transformation rules [21]- [24]. In these cases, an explicitly defined Platform Model (PM) is not used and the transformation becomes restrict to a specific platform [3], [13].…”

Section: Discussion and Related Workmentioning

confidence: 99%

MT-AMP: A Model Transformation for Embedded Software

Agner¹,

Soares²,

Stadzisz³

et al. 2016

JSW

View full text Add to dashboard Cite

Abstract:MDA is an approach to software development based on the design and transformation of models. In the MDA approach, models are the core artifacts throughout the software development lifecycle, and thus a key role is played by model transformations. Nevertheless, most MDA initiatives are dedicated, i.e., the platform features are implicitly employed in the transformation rules. As the aspects associated with the platform are not separated from the transformation rules, for each selected platform there must be a corresponding model transformation. This makes the model transformation development easier, although the model transformation becomes limited to a specific platform, once the platform features are strongly associated with the transformation rules. An open challenge consists of how to create transformation rules independently of the platform features. This paper presents a model transformation, called MT-AMP, particularly applied to embedded software development based on PI-MT Method. In addition, it allows the use of the model transformation to different RTOS-based platforms by means of Platform Models explicitly defined. As a result, the MT-AMP provides independence between the model transformation rules and the platform features.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

MT-AMP: A Model Transformation for Embedded Software

Agner¹,

Soares²,

Stadzisz³

et al. 2016

JSW

View full text Add to dashboard Cite

show abstract

“…The translation between the source model and the target model needs some rules to match the elements modelled in UML to other elements, which compose the Petri net. To formalize this transformation [20], the first step is that the structure, so called metamodel, of both UML and Petri Net models must be known. The UML metamodels of the State machine and Sequence diagram metamodel are available in [25].…”

Section: Transformation Rulesmentioning

confidence: 99%

European railway traffic management system validation using UML/Petri nets modelling strategy

Jabri¹,

Koursi²,

Bourdeaud’huy

et al. 2010

Eur. Transp. Res. Rev.

View full text Add to dashboard Cite

Purpose The European Union set up a European management system for rail traffic: the ERTMS system to ensure, in full safety, train circulation on different European networks. As the full deployment of this system is long and expensive, evolutions are necessary and raise other technological challenges. The goal is to determine how to use ERTMS specifications to produce test scenarios. This paper presents methods, models and tools dedicated to the generation of test scenarios for the validation of ERTMS components based on functional requirements. Methods The development of ERTMS system requires adequate methods for modelling and checking its behaviour. Evaluation and certification of the system can be done by generating test scenarios applying formal methods. The Unified Modelling Language (UML) is a widely accepted modelling standard in industry. However, it is a semi-formal language and it does not allow verification of system behaviour. In this case, formal models like Petri Net can be used. Results These methods are used in order to formalize ERTMS specification. Tests scenarios are generated on the basis of Petri net models. One scenario is considered like a firing sequence in the reachability graph of the Petri net. Then, test scenarios are applied on ERTMS platform simulator in order to check the components and to give test verdicts. Conclusions Finally, the approach, developed in this paper, has been applied to ERTMS components in order to demonstrate the validation and certification costs reduction and also to minimize the upgrade and retrofit constraints and validation cost.

show abstract

“…This translation between two models need some rules to match the elements modeled in UML to other elements, which compose the Petri net. To formalize this transformation [16], the first step is that the structure, so called metamodel, of both UML and Petri Net models shall be known. The UML metamodel of the State machine diagram is available on the reference [10], and figure 3 shows the metamodel of Predicate Transition Net [17].…”

Section: Transformation Technique Between Uml State Machine and Predimentioning

confidence: 99%

A generation method of test scenarios based on models: application to the ERTMS/ETCS system

Jabri¹,

Kouris²,

Lemaire³

et al. 2009

Safety and Security Engineering III

View full text Add to dashboard Cite

The railroads must be able to offer high-quality services for both the high-speed trains and the conventional ones. So, these objectives imply a search for a harmonization of the European rail network. For this purpose, the European Union set up a European management system of the rail traffic -the ERTMS system (European Rail Traffic Management System) -to ensure, in full safety, trains circulations on different European networks. It is composed of the controlcommand system, named ETCS (European Train System Control), and the GSM-R, the new radio system for voice and data communication. As the full deployment of this system will be long and expensive, evolutions will be necessary and will raise other technological challenges. This paper presents methods, models, and tools dedicated to the generation of tests scenarios for the validation of ERTMS components based on functional requirements.

show abstract

Mapping Specification in MDA: From Theory to Practice

Cited by 26 publications

References 6 publications

MT-AMP: A Model Transformation for Embedded Software

MT-AMP: A Model Transformation for Embedded Software

European railway traffic management system validation using UML/Petri nets modelling strategy

A generation method of test scenarios based on models: application to the ERTMS/ETCS system

Contact Info

Product

Resources

About