Statecharts: A visual formalism for complex systems
Science of Computer Programming
Introduction to design choices in the semantics of Statecharts
Information Processing Letters
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hi-index | 0.00 |
Statecharts have been widely accepted as a successful graphical language for specifying reactive systems. However, some anomalies do exist when the durations of activities are subject to different interpretations such as with or without delay. A number of proposals have been put forwards to address these anomalies but in a rather ad hoc fashion. This paper re-addresses these anomalies using a more uniform approach based on Duration Calculus. First, many anomalies are corrected by introducing new notations for specifying duration in statecharts. Second, the meanings of these notations are given in terms of Duration Calculus. Third, statecharts with duration can be subject to formal reasoning and hence verification. This framework delivers a more uniform extension to the graphical language as well as enables correctness with respect to duration to be studied formally using an established foundation.