Approche de métamodélisation pour la simulation et la vérification de modèle -- Application à l'ingénierie des procédés

Abstract : We propose in this thesis a specific taxonomy of the mechanisms allowing to express an execution semantics for Domain Specific Modeling Languages (DSMLs). Then, we integrate these different mechanisms within a comprehensive approach describing DSMLs and tools required for model execution, verification and validation. The proposed approach provides a rigorous and generic architecture for DSML abstract syntax in order to capture the information required for model execution. We rely on this generic architecture to make the reference semantics explicit and implement it. More specifically, we study the means:
- to express and validate the definition of a translation into a formal domain in order to re-use model-checking techniques.
- to enrich the abstract syntax with the definition of the DSML behaviour and take advantage of generic tools so to simulate the built models.
Finally, for the purpose of validating the equivalence of different semantics implemented according to the reference semantics, we also propose a formal metamodeling framework.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00321863
Contributor : Benoit Combemale <>
Submitted on : Tuesday, September 16, 2008 - 9:10:30 AM
Last modification on : Thursday, October 17, 2019 - 8:52:21 AM
Long-term archiving on : Monday, October 8, 2012 - 1:15:36 PM

Identifiers

  • HAL Id : tel-00321863, version 1

Citation

Benoît Combemale. Approche de métamodélisation pour la simulation et la vérification de modèle -- Application à l'ingénierie des procédés. Génie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2008. Français. ⟨tel-00321863⟩

Share

Metrics

Record views

672

Files downloads

1805