Abstract
We consider a version of Statecharts having transitions with durations. We relate occurrences of transitions with a dense time domain and enforce a strong time semantics. We examine how durations associated with transitions can be changed while preserving behaviour (a retiming). We discuss also how a class of changes of the temporal feature of the environment (i.e. from non-discrete to discrete and vice-versa, shift, speed-up and slow-down) affect behaviour.
This work has been partially supported by Project ESPRIT Basic Research 8130 LOMAPS.
Preview
Unable to display preview. Download preview PDF.
References
Berry, G.: Preemption in Concurrent Systems, Lecture Notes in Computer Science 761, Springer, Berlin, 1993, pp. 72–93.
Gruska, J.: Synthesis, Structure and Power of Systolic Computations, Theoretical Computer Science 71 (1990), pp. 47–78.
Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), pp. 231–274.
Harel, D., Pnueli, A., Schmidt, J. P., Sherman, R.: On the Formal Semantics of Statecharts, Proc. 2nd IEEE Symposium on Logic in Computer Science, IEEE CS Press, New York, 1987, pp. 54–64.
Huizing, C., Gerth, R., de Roever, W.P.: Modelling Statechart Behaviour in a Fully Abstract Way, Lecture Notes in Computer Science 299, Springer, Berlin, 1988, pp. 271–294.
Kesten, Y., Pnueli, A.: Timed and Hybrid Statecharts and their Textual Representation, Lecture Notes in Computer Sciences 571, Springer, Berlin, 1992, pp. 591–620.
Jahanian, F., Mok, A.K.: Modechart: A Specification Language for Real Time Systems, IEEE Transactions on Software Engineering 20 (1994), pp. 933–947.
Maler, O., Manna, Z., Pnueli, A.: From Timed to Hybrid Systems, Lecture Notes in Computer Sciences 600, Springer, Berlin, 1992, pp. 447–484.
Leiserson, C.E., Saxe, J.B.: Optimizing Synchronous Systems, Proc. FOCS (1981), pp. 23–36.
Peron, A.: Synchronous and Asynchronous Models for Statecharts, Dipartimento di Informatica, Università di Pisa, PhD Thesis, TD 21/93, 1993.
Peron, A.: Statecharts, Transition Structures and Transformations, Proc. TAPSOFT'95 Lecture Notes in Computer Science 915, Springer, Berlin, 1995, pp. 454–468.
Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, Lecture Notes in Computer Science 789, Springer, Berlin, 1994, pp. 806–821.
Pnueli, A., Shalev, M.: What is in a Step: On the Semantics of Statecharts, Lecture Notes in Computer Science 525, Springer, 1991, Berlin, pp. 244–464.
Uselton, A.C., Smolka,A.: A Compositional Semantics for Statecharts Using Labelled Transition Systems, Lecture Notes in Computer Science 836, Springer, 1994, Berlin, pp. 2–17.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maggiolo-Schettini, A., Peron, A. (1996). Retiming techniques for Statecharts. In: Jonsson, B., Parrow, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1996. Lecture Notes in Computer Science, vol 1135. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61648-9_34
Download citation
DOI: https://doi.org/10.1007/3-540-61648-9_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61648-1
Online ISBN: 978-3-540-70653-3
eBook Packages: Springer Book Archive