loading...
A Semantics for UML-RT using n-calculus
Porto Alegre, RS, Brazil May 28-May 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RSP.2007.918th IEEE/IFIP International Workshop ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Juliana de Melo Bezerra, Celso Massaki Hirata, "A Semantics for UML-RT using n-calculus," Rapid System Prototyping, IEEE International Workshop on, pp. 75-82, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/RSP.2007.9,
author = {Juliana de Melo Bezerra and Celso Massaki Hirata},
title = {A Semantics for UML-RT using n-calculus},
journal ={Rapid System Prototyping, IEEE International Workshop on},
volume = {0},
year = {2007},
issn = {1074-6005},
pages = {75-82},
doi = {http://doi.ieeecomputersociety.org/10.1109/RSP.2007.9},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Rapid System Prototyping, IEEE International Workshop on
TI - A Semantics for UML-RT using n-calculus
SN - 1074-6005
SP75
EP82
A1 - Juliana de Melo Bezerra,
A1 - Celso Massaki Hirata,
PY - 2007
KW - null
VL - 0
JA - Rapid System Prototyping, IEEE International Workshop on
ER -
 
Juliana de Melo Bezerra, Instituto Tecnol?gico de Aeron?utica - ITA, Brazil
Celso Massaki Hirata, Instituto Tecnol?gico de Aeron?utica - ITA, Brazil
UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems. UML-RT is not a formal specification language, therefore it is not possible to do formal verification of UML-RT models. This article proposes formal semantics for UML-RT via mapping of UML-RT communicating elements into n-calculus. The p-calculus is a process algebra to model concurrent systems. A prototype was also developed; it captures information of UML-RT model from RoseRT and generates n-calculus definitions according to the proposed mapping rules. The generated n- calculus definitions use the syntax of HAL-JACK, that is an integrated tool set for the specification, verification and analysis of systems expressed by p-calculus. In the article, we describe the UML-RT to n-calculus mapping, we explain the prototype and we present an example of the mapping.
Citation:
Juliana de Melo Bezerra, Celso Massaki Hirata, "A Semantics for UML-RT using n-calculus," rsp, pp.75-82, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07), 2007
Usage of this product signifies your acceptance of the Terms of Use.