loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01)
A Timed Automata Semantics for Real-Time UML Specifications
Stresa, Italy
September 05-September 07
ISBN: 0-7695-0474-4
ASCII Text
x 
 
Hans Toetenel, Ella Roubtsova, Jan van Katwijk, "A Timed Automata Semantics for Real-Time UML Specifications," Human-Centric Computing Languages and Environments, IEEE CS International Symposium on, pp. 88, IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/HCC.2001.995243,
author = {Hans Toetenel and Ella Roubtsova and Jan van Katwijk},
title = {A Timed Automata Semantics for Real-Time UML Specifications},
journal ={Human-Centric Computing Languages and Environments, IEEE CS International Symposium on},
volume = {0},
year = {2001},
isbn = {0-7695-0474-4},
pages = {88},
doi = {http://doi.ieeecomputersociety.org/10.1109/HCC.2001.995243},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Human-Centric Computing Languages and Environments, IEEE CS International Symposium on
TI - A Timed Automata Semantics for Real-Time UML Specifications
SN - 0-7695-0474-4
SP
EP
A1 - Hans Toetenel,
A1 - Ella Roubtsova,
A1 - Jan van Katwijk,
PY - 2001
KW - null
VL - 0
JA - Human-Centric Computing Languages and Environments, IEEE CS International Symposium on
ER -
 
Hans Toetenel, Delft University of Technology
Ella Roubtsova, Eindhoven University
Jan van Katwijk, Delft University of Technology
We introduce extensions of the UML Class, Object and Statechart diagrams and define the semantics of the UML extensions by means of eXtended Timed Graphs (XTG), a timed automata variant. This approach opens the possibility to specify properties of the UML specification using Timed Computation Tree Logic. The transformation of the UML-specification into XTG allows the verification the system by model checking using the LPMC model checker tool, which uses XTG as its input language.
Citation:
Hans Toetenel, Ella Roubtsova, Jan van Katwijk, "A Timed Automata Semantics for Real-Time UML Specifications," hcc, pp.88, IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.