Skip to Main content Skip to Navigation
Theses

Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes.

Abstract : Model Driven Engineering (MDE) places models at the heart of the software engineering process. MDE helps managing the complexity of software systems and improving the quality of the development process. The Model Driven Architecture (MDA) initiative from the Object Management Group (OMG) defines a framework for building design flows in the context of MDE. MDA relies heavily on formalisms which are normalized by the OMG, such as UML for modeling, QVT for model transformations and so on. This work deals with the execution semantics of the UML language applied to embedded real-time applications. In this context, the OMG has a norm which defines an execution model for a subset of UML called fUML (foundational UML subset). This execution model gives a precise semantics to UML models, which can be used for analyzing models, generating code, or verifying transformations. The goal of this PhD thesis is to define and build an execution engine for UML models of embedded real-time systems, which takes into account the explicit hypothesis made by the designer about the execution semantics at a high level of abstraction, in order to be able to execute models as early as possible in the design flow of a system. To achieve this goal, we have extended the fUML execution model along three important axes with regard to embedded real-time systems: - Concurrency: fUML does not provide any mechanism for handling concurrent activities in its execution engine. We address this issue by introducing an explicit scheduler which allows us to control the execution of concurrent tasks. - Time: fUML does not provide any mean to handle time. By adding a clock to the model of execution, we can take into account the elapsed time as well as temporal constraints on the execution of activities. - Profiles: fUML does not take profiles into account, which makes it difficult to personalize the execution engine with new semantic variants. The execution engine we propose allows the use of UML models with profiles, and interprets these profiles as semantic extensions of the execution model. An implementation of these extensions has been realized as an Eclipse plug-in using the Papyrus UML modeling tool.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00864305
Contributor : ABES STAR :  Contact
Submitted on : Friday, September 20, 2013 - 5:37:12 PM
Last modification on : Wednesday, March 31, 2021 - 3:15:39 AM
Long-term archiving on: : Saturday, December 21, 2013 - 4:33:13 AM

File

BENYAHIA_Abderraouf_VF.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00864305, version 1

Collections

Citation

Abderraouf Benyahia. Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes.. Autre. Supélec, 2012. Français. ⟨NNT : 2012SUPL0023⟩. ⟨tel-00864305⟩

Share

Metrics

Record views

303

Files downloads

422