Sciweavers

Share
ISPDC
2010
IEEE

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

11 years 3 months ago
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
—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. Keywords-Marte Repetitive Structure Modeling, dataparallelism, operational semantics, correctness
Abdoulaye Gamatié, Vlad Rusu, Éric R
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ISPDC
Authors Abdoulaye Gamatié, Vlad Rusu, Éric Rutten
Comments (0)
books