Skip to main content
SpringerLink
Log in

Interpretation of History Pseudostates in Orthogonal States of UML State Machines

  • Conference paper
Next Generation Information Technologies and Systems (NGITS 2009)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5831))

Abstract

Inconsistencies and semantic variation points of the UML specification are a source of problems during code generation and execution of behavioral models. We discuss the interpretation of history concepts of UML 2.x state machines. Especially, history in complex states with orthogonal regions was considered. The clarification of this interpretation was proposed and explained by an example. The history issues and other variation points had to be resolved within the Framework for eXecutable UML (FXU). The FXU was the first framework supporting all elements of UML 2.x behavioral state machines in code generation and execution for C# code.

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. Unified Modelling Language, http://www.uml.org

  2. Yeung, W.L., Leung, K.R.P.H., Wang, J., Wei, D.: Modelling and Model Checking Suspendible Business Processses via Statechart Diagrams and CSP. Science of Computer Programming 65, 14–29 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  3. van Langenhove, S.: Towards the Correctness of Software Behavior in UML. PhD Thesis, Ghent University, Belgium (2005)

    Google Scholar 

  4. Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of State Machines. In: 2nd IEEE Symp. on Logic in Computer Science, pp. 54–64. IEEE Press, Los Alamitos (1987)

    Google Scholar 

  5. Harel, D., Kugler, H.: The Rhapsody Semantics of Statecharts (or On the Executable Core of the UML) (preliminary version). In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 325–354. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Crane, M., Dingel, J.: On the Semantics of UML State Machines: Categorization and Comparison. Technical Report 2005-501. School of Computing, Queens University of Kingston, Ontario, Canada (2005)

    Google Scholar 

  7. STL: UML 2 Semantics Project, References, Queen’s University, http://www.cs.queensu.ca/home/stl/internal/uml2/refs.htm

  8. Crane, M., Dingel, J.: UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 97–112. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  9. Jurjens, J.: A UML Statecharts Semantics with Message-Passing. In: ACM Symp. on App. Comp., SAC 2002, pp. 1009–1013 (2002)

    Google Scholar 

  10. Beck, M.: A Structured Operational Semantics for UML Statecharts. Software and System Modeling 1(2), 130–141 (2002)

    Article  Google Scholar 

  11. Taleghani, A., Atlee, J.M.: Semantic Variations Among UML StateMachines. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 245–259. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Chauvel, F., Jezequel, J.-M.: Code Generation from UML Models with Semantic Variation Points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 54–68. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Jin, Y., Esser, R., Janneck, J.W.: A Method for Describing the Syntax and Semantics of UML Statecharts. Software and System Modeling 3(2), 150–163 (2004)

    Article  MATH  Google Scholar 

  14. Fecher, H., Schönborn, J., Kyas, M., Roever, W.P.: 29 New Unclarities in the Semantics of UML 2.0 State Machines. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 52–65. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Fecher, H., Schönborn, J.: UML 2.0 state machines: Complete formal semantics via core state machines. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol. 4346, pp. 244–260. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Lano, K., Clark, D.: Direct Semantics of Extended State Machines. Journal of Object Tecnology 6(9), 35–51 (2007)

    Article  Google Scholar 

  17. Lam, V.S.W., Padget, J.: Analyzing Equivalences of UML Statechart Diagrams by Structural Congruence and Open Bisimulations. In: UML ZWI. LNCS, vol. 2185, pp. 406–421. Springer, Heidelberg (2001)

    Google Scholar 

  18. Lilius, J., Paltor, I.P.: Formalising UML State Machines for Model Checking. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 430–444. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  19. Hölscher, K., Ziemann, P., Gogolla, M.: On translating UML models into graph transformation systems. Journal of Visual Languages and Computing 17, 78–105 (2006)

    Article  Google Scholar 

  20. Niaz, I.A., Tanaka, J.: Mapping UML Statecharts into Java code. In: IASTED Int. Conf. Software Engineering, pp. 111–116 (2004)

    Google Scholar 

  21. Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: 7th Int. Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, pp. 395–414 (2002)

    Google Scholar 

  22. Rhapsody, http://www.telelogic.com/

  23. Derezinska, A., Pilitowski, R.: Event Processing in Code Generation and Execution Framework of UML State Machines. In: Madeyski, L., et al. (eds.) Software Engineering in progress, Nakom, Poznań, pp. 80–92 (2007)

    Google Scholar 

  24. Pilitowski, R., Derezinska, A.: Code Generation and Execution Framework for UML 2.0 Classes and State Machines. In: Sobh, T. (ed.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421–427. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Pilitowski, R.: Generation of C# code from UML 2.0 class and state machine diagrams (in Polish). Master thesis, Inst. of Comp. Science, Warsaw Univ. of Technology, Poland (2006)

    Google Scholar 

  26. Mellor, S.J., Balcer, M.J.: Executable UML a Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)

    Google Scholar 

  27. Carter, K.: iUMLite - xUML modeling tool, http://www.kc.com

  28. Semantics of a foundation subset for executable UML models (FUML) (2008), http://www.omg.org/spec//FUML/

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Warsaw University of Technology, Nowowiejska 15/19, 00-665, Warsaw, Poland

    Anna Derezińska & Romuald Pilitowski

Authors
  1. Anna Derezińska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Romuald Pilitowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IBM Haifa Research Lab, Haifa University Campus, Mount Carmel, 31905, Haifa, Israel

    Yishai A. Feldman

  2. Department of Computer Science, U.S. Air Force Academy, 2354 Fairchild Drive, Suite 6G-101, 80840, Colorado Springs, Colorado, United States

    Donald Kraft

  3. Management Information Systems Department, The University of Haifa, Mount Carmel, 31905, Haifa, Israel

    Tsvi Kuflik

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Derezińska, A., Pilitowski, R. (2009). Interpretation of History Pseudostates in Orthogonal States of UML State Machines. In: Feldman, Y.A., Kraft, D., Kuflik, T. (eds) Next Generation Information Technologies and Systems. NGITS 2009. Lecture Notes in Computer Science, vol 5831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04941-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04941-5_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04940-8

  • Online ISBN: 978-3-642-04941-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation