grr10

A. Gamatié, V. Rusu, E. Rutten. Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. In 9th International Symposium on Parallel and Distributed Computing (ISPDC'10), Pages 25-32, July 2010.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

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

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

BibTex Reference

@InProceedings{grr10,
   Author = {Gamatié, A. and Rusu, V. and Rutten, E.},
   Title = {Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design},
   BookTitle = {9th International Symposium on Parallel and Distributed Computing (ISPDC'10)},
   Pages = {25--32},
   Publisher = {IEEE Computer Society Press},
   Month = {July},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)