A timed automata semantics for real-time UML specifications

H Toetenel,J Van Katwijk,E Roubtsova

doi:10.1109/hcc.2001.995243

A timed automata semantics for real-time UML specifications

H Toetenel, J Van Katwijk + Show 1 more

https://doi.org/10.1109/hcc.2001.995243

Copy DOI

Publication Date: Sep 5, 2001

Citations: 8

Affiliation: Delft University of Technology, Eindhoven University of Technology

#Timed Computation Tree Logic #Statechart Diagrams + Show 8 more

Abstract
Full-Text
Similar Papers

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 specifications using the 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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title

Journal

Date

Author

View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.