A Timed Automata Semantics for Real-Time UML Specifications

Authors:
Hans Toetenel;Ella Roubtsova;Jan van Katwijk
Affiliations:
Delft University of Technology;Eindhoven University;Delft University of Technology
Venue:
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Year:
2001

Citing 0
Cited 1

Toward a formal model for component interfaces for real-time systems

Proceedings of the 10th international workshop on Formal methods for industrial critical systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce extensions of the UML Class, Objectand Statechart diagrams and define the semanticsof the UML extensions by means of eXtended TimedGraphs (XTG), a timed automata variant.This approachopens the possibility to specify properties ofthe UML specification using Timed Computation TreeLogic.The transformation of the UML-specificationinto XTG allows the verification the system by modelchecking using the LPMC model checker tool, whichuses XTG as its input language.