Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design

Abdoulaye Gamatié 1 Vlad Rusu 2 Éric Rutten 3
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the standard UML Marte profile. It also deals with the semantics of an RSM extension for control-oriented design. The goal of this semantics is to serve as a formal support for i) reasoning about the behavioral properties of models specified in Marte with RSM, and ii) defining correct-by-construction model transformations for the production of executable code in a model-driven engineering framework.
Type de document :
Communication dans un congrès
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00522787
Contributeur : Mister Dart <>
Soumis le : mardi 8 février 2011 - 12:35:57
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03
Document(s) archivé(s) le : lundi 9 mai 2011 - 02:21:14

Fichier

gamatie_ispdc10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00522787, version 1

Collections

Citation

Abdoulaye Gamatié, Vlad Rusu, Éric Rutten. Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. 9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010. 〈inria-00522787〉

Partager

Métriques

Consultations de la notice

488

Téléchargements de fichiers

161