Paper Info
Title
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.
Year
DOI
Venue
2010
10.1109/ISPDC.2010.30
Parallel and Distributed Computing
Keywords
Field
DocType
modeling concepts,behavioral property,operational semantics,standard uml marte profile,executable code,data-parallel applications design,formal support,correct-by-construction model transformation,control-oriented design,marte repetitive structure,repetitive model,repetitive structure modeling,rsm extension,distributed computing,model of computation,real time systems,concurrent computing,packaging,computational modeling,correctness,unified modeling language,model driven engineering,hardware,data parallelism,production,embedded system
Operational semantics,Programming language,Unified Modeling Language,Model-driven architecture,Computer science,Correctness,Real-time computing,Model of computation,Concurrent computing,Semantics,Executable
Conference
ISBN
Citations 
PageRank 
978-1-4244-7602-2
0
0.34
References 
Authors
6
3
Name
Order
Citations
PageRank
Abdoulaye Gamatié125130.18
Vlad Rusu246932.44
Éric Rutten325530.50