| Abstract |
|
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.
|
 Additional Information
|
Citation:
Hans Toetenel, Ella Roubtsova, Jan van Katwijk,
"A Timed Automata Semantics for Real-Time UML Specifications,"
hcc,
p. 88,
IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01),
2001
|
