loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2010 Ninth International Symposium on Parallel and Distributed Computing
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
Istanbul, Turkey
July 07-July 09
ISBN: 978-0-7695-4120-4
ASCII Text
x 
 
Abdoulaye Gamatié, Vlad Rusu, Éric Rutten, "Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design," Parallel and Distributed Computing, International Symposium on, pp. 25-32, 2010 Ninth International Symposium on Parallel and Distributed Computing, 2010.
 
 
BibTex
x
 
@article{ 10.1109/ISPDC.2010.30,
author = {Abdoulaye Gamatié and Vlad Rusu and Éric Rutten},
title = {Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design},
journal ={Parallel and Distributed Computing, International Symposium on},
volume = {0},
year = {2010},
isbn = {978-0-7695-4120-4},
pages = {25-32},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2010.30},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing, International Symposium on
TI - Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
SN - 978-0-7695-4120-4
SP25
EP32
A1 - Abdoulaye Gamatié,
A1 - Vlad Rusu,
A1 - Éric Rutten,
PY - 2010
KW - Marte Repetitive Structure Modeling
KW - data-parallelism
KW - operational semantics
KW - correctness
VL - 0
JA - Parallel and Distributed Computing, International Symposium on
ER -
 
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.
Index Terms:
Marte Repetitive Structure Modeling, data-parallelism, operational semantics, correctness
Citation:
Abdoulaye Gamatié, Vlad Rusu, Éric Rutten, "Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design," ispdc, pp.25-32, 2010 Ninth International Symposium on Parallel and Distributed Computing, 2010
Usage of this product signifies your acceptance of the Terms of Use.