Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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

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.
Fichier principal
Vignette du fichier
gamatie_ispdc10.pdf (559.3 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00522787 , version 1 (08-02-2011)

Identifiers

  • HAL Id : inria-00522787 , version 1

Cite

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. ⟨inria-00522787⟩
251 View
207 Download

Share

Gmail Mastodon Facebook X LinkedIn More