Semantic variations among UML statemachines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 245-259

  Taleghani, Ali ^a   Atlee, Joanne M ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DATABASE SYSTEMS; DECISION THEORY; SUPERVISORY AND EXECUTIVE PROGRAMS;

EXECUTION SEMANTICS; SEMANTICS DECISIONS; STATE MACHINES; TEMPLATE SEMANTICS;

SEMANTICS;

EID: 33750361543     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_18     Document Type: Conference Paper

References (25)

1. Accelerated Technology. Bridgepoint. www.acceleratedtechnology.com/, 2005.
2. M. Crane and J. Dingel. UML vs. Classical vs. Rhapsody State machines: Not All Models are Created Equal. In Proc. 8th Int. Conf. on Model Driven Eng. Lang, and Sys. (MoDELS/UML 2005), Montego Bay, Jamaica, Oct. 2005.
3. H. Fecher, J. Schönborn, M. Kyas, and W. P. de Roever. 29 New Unclarities in the Semantics of UML 2.0 State Machines. In ICFEM 2005, volume 3785, pages 52-65. Springer-Verlag, 2005.
4. D. Harel. Email disucssion. Email, July 2005.
5. D. Harel and H. Kugler. The RHAPSODY Semantics of Statecharts (or, On the Executable Core of the UML). In Integration of Software Specification Techniques for Appl. in Eng., volume 3147 of LNCS, pages 325-354. Springer-Verlag, 2004.
6. D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the Formal Semantics of State machines. In Logic in Comp. Sci., pages 54-64. IEEE Press, 1987.
7. Z. Hu and S. M. Shatz. Explicit Modeling of Semantics Associated with Composite States in UML State machines. Intl. Jour. of Auto. Soft. Eng., 2005.
8. IBM Rational. Rational Rose RealTime. http://www.ibm.com/rational, 2002.
9. IBM Rational. Rational Rose RealTime - Modeling Language Guide, Version 2003.06.00. http://www.ibm.com/rational, 2002.
10. IBM Rational. Rational Rose RealTime - UML Services Library, Version 2003.06.00. http://www.ibm.com/rational, 2002.
11. ilogix, Inc. Rhapsody, http://www.ilogix.com, 2005.
12. Y. Jin, R. Esser, and J. W. Janneck. Describing the Syntax and Semantics of UML State machines in a Heterogeneous Modelling Environment. In Proc. 2nd Int. Conf. on Diag. Repr. and Infer. (DIAGRAMS '02), pages 320-334, London, UK, 2002. Springer-Verlag.
13. J. Jürjens. A UML State Machines Semantics with Message-passing. In Proc. ACM Symp. on App. Comp.(SAC '02), pages 1009-1013, 2002.
14. A. Maggiolo-Schettini, A. Peron, and S. Tini. A comparison of statecharts step semantics. Theor. Comput. Sci., 290:465-498, 2003.
15. C. McCausland. Email disucssion. Email, July 2005.
16. E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel. On Formal Semantics of Statecharts as Supported by STATEMATE. In 2nd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, 1997.
17. J. Niu, J. M. Atlee, and N. Day. Template Semantics for Model-Based Notations. IEEE Trans. on Soft. Eng., 29(10):866-882, October 2003.
18. J. Niu, J. M. Atlee, and N. A. Day. Understanding and Comparing Model-Based Specification Notations. In Proc. IEEE Intl. Req. Eng. Conf., pages 188-199, 2003.
19. OMG. Unified Modelling Language Specification: Version 2.0, Formal/05-07-04. http://www.omg.org, 2003.
20. A. Pnueli and M. Shalev. What is a Step: On the Semantics of Statecharts. In Proc. TACS, volume 526, pages 244-264. Springer-Verlag, 1991.
21. B. Selic. Email disucssion. Email, July 2005.
22. S. Shankar, S. Asa, V. Sipos, and X. Xu. Reasoning about Real-Time State machines in the Presence of Semantic Variations. In ASE, pages 243-252, 2005.
23. S. Shlaer and S. J. Mellor. Object Lifecycles: Modeling the World in States. Yourdon Press, Upper Saddle River, NJ, USA, 1992.
24. A. Simons. On the Compositional Properties of UML State machine Diagrams. In Proc. of Rigorous Object-Oriented Methods (ROOM2000), York, UK, 2000.
25. M. von der Beeck. A Comparison of State machines Variants. In Formal Techniques in Real Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 128-148. Springer-Verlag, 1994.