Requirements-level semantics for UML statecharts

IFIP Advances in Information and Communication Technology

Volumn 49, Issue , 2000, Pages 121-140

  Eshuis, Rik ^a   Wieringa, Roel ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Formal semantics; Statecharts; UML

Indexed keywords

DYNAMIC OBJECT CREATION; FORMAL SEMANTICS; FORMALISATION; LABELLED TRANSITION SYSTEMS; LEVEL MODEL; LOCAL VARIABLES; POINT-TO-POINT COMMUNICATION; REAL TIME; REAL-TIME SEMANTICS; STATECHART SEMANTICS; STATECHARTS; SYNCHRONOUS COMMUNICATIONS; UML; UML STATECHARTS;

COMMUNICATION;

SEMANTICS;

EID: 84868278570     PISSN: 18684238     EISSN: None     Source Type: Journal    
DOI: 10.1007/978-0-387-35520-7_6     Document Type: Article

References (17)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. Beeck, M. von der. A comparison of statecharts variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, pages 128-148. Springer-Verlag, 1994.
3. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, Proc. COMPOS 97, Lecture Notes in Computer Science 1536. Springer-Verlag, 1997.
4. R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. Technical Report TR-CTIT-00-07, University of Twente, 2000.
5. D. Harel. Statecharts: A visual formulation for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
6. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7):31-42, 1997.
7. D. Harel and O. Kupferman. On the behavioral inheritance of state-based objects. Technical Report MCS99-12, Weizmann Institute of Science, 1999.
8. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.
9. D. N. Jansen and R. J. Wieringa. Extending CTL with actions and real-time. 2000. Submitted.
10. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS'99, IFIP TC6/WG6.1. Kluwer, 1999.
11. J. Lilius and I. Porres Paltor. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, Proc. UML '99, Lecture Notes in Computer Science 1723. Springer-Verlag, 1999.
12. Z. Manna and A. Pnueli. Clocked transition systems. In A. Pnueli and H. Lin, editors, Logic and Software Engineering. World Scientific, 1996.
13. S. McMenamin and J. Palmer. Essential Systems Analysis. Yourdon Press, New York, New York, 1984.
14. OMG. Unified Modeling Language version 1.3. OMG, July 1999.
15. A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 526, pages 244-265. Springer-Verlag, 1991.
16. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML active classes and associated state machines - a lightweight formal approach. In T.S.E. Maibaum, editor, Proc. FASE 2000, Lecture Notes in Computer Science 1783. Springer-Verlag, 2000.
17. R. Wieringa and J. Broersen. A minimal transition system semantics for lightweight class- and behavior diagrams. In M. Broy, D. Coleman, T.S.E. Maibaum, and B. Rumpe, editors, Proc. PSMT'98. Technische Universität München, TUM-I9803, 1998.