We use tuples of extended class, object and statechart UML-diagrams as UML specifications of real-time systems. The semantics of the UML specification is defined by transformation to the eXtended Timed Graphs (XTG). The correctness of our transformation is demonstrated by showing that the XTG computation tree can be projected into the computation tree of the corresponding UML specification. The transformation opens the possibility to specify temporal-logic properties at the UML level and to verify them at the XTG level using the PMC model checker. © Springer-Verlag Berlin Heidelberg 2001.
CITATION STYLE
Roubtsova, E. E., Van Katwijk, J., De Rooij, R. C. M., & Toetenel, H. (2001). Transformation of UML specification to XTG. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2244 LNCS, pp. 247–254). Springer Verlag. https://doi.org/10.1007/3-540-45575-2_25
Mendeley helps you to discover research relevant for your work.