Abstract
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adaptation of the Statemate statechart semantics, with local variables, real time, identifier addressing, point-to-point communication, synchronous communication and dynamic object creation and deletion. We start with an informal comparison of Statemate and UML statechart semantics and then give a formalisation of our semantics in terms of labelled transition systems.
Partially supported by Esprit Working Group ASPIRE, contract number 22704.
Supported by NWO/SIGN, grant nr. 612-62-02 (DAEMON).
Chapter PDF
Similar content being viewed by others
Keywords
References
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126 (2): 183–235, 1994.
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.
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.
R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. Technical Report TR-CTIT-00–07, University of 140 Twente, 2000.
D. Harel. Statecharts: A visual formulation for complex systems. Science of Computer Programming, 8 (3): 231–274, 1987.
D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30 (7): 31–42, 1997.
D. Harel and O. Kupferman. On the behavioral inheritance of state-based objects. Technical Report MCS99–12, Weizmann Institute of Science, 1999.
D. Harel and A. Naamad. The STATEMATE Semantics of State-charts. ACM Transactions on Software Engineering and Methodology, 5 (4): 293–333, 1996.
D. N. Jansen and R. J. Wieringa. Extending CTL with actions and real-time. 2000. Submitted.
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.
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.
Z. Manna and A. Pnueli. Clocked transition systems. In A. Pnueli and H. Lin, editors, Logic and Software Engineering. World Scientific, 1996.
S. McMenamin and J. Palmer Essential Systems Analysis. Yourdon Press, New York, New York, 1984.
OMG. Unified Modeling Language version 1.3. OMG, July 1999.
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.
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.
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-19803, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Eshuis, R., Wieringa, R. (2000). Requirements-Level Semantics for UML Statecharts. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive