Skip to main content
SpringerLink
Log in

Transformation of UML Specification to XTG

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2244))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Booch, J. Rubaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Amsterdam, 1999.

    Book  Google Scholar 

  2. B. P. Douglass. Real-Time UML. Developing Efficient Objects for Embedded Systems. Addison-Wesley, 1998.

    Google Scholar 

  3. E.E. Roubtsova and J. van Katwijk and W.J. Toetenel and C. Pronk and R.C.M. de Rooij. The Specification of Real-Time Systems in UML. MCTS2000, http://www.elsevier.nl/locate/entcs/volume39.html, 2000.

  4. J. Lilius and I.P. Palor. Formalising UML StateMachines for Model Checking. UML’99. Beyond the Standard, LNCS 1723, pages 430–445, 1999.

    Google Scholar 

  5. R. Milner. Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  6. OMG. Unified Modeling Language Specification v.1.3. ad/99-06-10, http://www.rational.com/uml/resources/documentation/index.jsp, June 1999.

  7. R.F. Lutje Spelberg and W.J. Toetenel and M. Ammerlaan. Partition Refinement In Real-Time Model Checking. Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS, 1486:143–157, 1998.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands

    Ella E. Roubtsova

  2. Faculty of Information Technology and Systems, Delft University of Technology, The Netherlands

    Jan van Katwijk, Ruud C. M. de Rooij & Hans Toetenel

Authors
  1. Ella E. Roubtsova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan van Katwijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ruud C. M. de Rooij
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hans Toetenel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark, Bldg.322, 106-108, Richard Petersens Plads, 2800, Lyngby, Denmark

    Dines Bjørner

  2. Computer Science Department, Technical University of Munich, Arcisstr.21, 80290, Munich, Germany

    Manfred Broy

  3. A.P.Ershov Institute of Informatics Systems, Acad.Lavrentjev ave.,6, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Roubtsova, E.E., van Katwijk, J., de Rooij, R.C.M., Toetenel, H. (2001). Transformation of UML Specification to XTG. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-45575-2_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43075-9

  • Online ISBN: 978-3-540-45575-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation