Abstract
The paper examines the specification language Statecharts from the point of view of its capability to express notions of priority. First a version of Statecharts that does not support priority is introduced, then various syntactic and semantics extensions are examined and compared from the point of view of expressing a general notion of priority. Finally, a special kind of priority, interrupt, is investigated.
Research partially supported by Esprit BRA 8130 LOMAPS.
Preview
Unable to display preview. Download preview PDF.
References
von der Beeck, M.: A Comparison of Statecharts Variants, Proc. FTRTFT '94, Lecture Notes in Computer Science 863, Springer, Berlin, 1994, pp. 128–148.
Berry, G.: Preemption in Concurrent Systems, Proc. 13th FSTTCS Conference, Lecture Notes in Computer Science 761, Springer, Berlin, 1993, pp. 72–93.
Berry, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming 19 (1992), pp. 87–152.
Day, N.: A Model Checker for Statecharts (Linking CASE Tools with Formal Methods), Technical Report 93-35, University of British Columbia, Vancouver, Canada, 1993.
Drusinsky, D., Harel, D.: Using Statecharts for Hardware Description and Synthesis, IEEE Transactions on Computer-Aided Design 8 (1989), pp. 798–807.
Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), pp. 231–274.
Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot M.: Statemate: A Working Environment for the Development of Complex Reactive Systems, IEEE Transations on Software Engineering 16 (1990), pp. 403–414.
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.
Maggiolo-Schettini, A., Peron, A., Tini, S.: Equivalence of Statecharts, Proc. CON-CUR '96, Lecture Notes in Computer Science 1119, Springer, Berlin, 1996, pp. 687–702.
Maraninchi, F.: Operational and Compositional Semantics of Synchronous Automaton Composition, Proc. CONCUR '92, Lecture Notes in Computer Science 630, Springer, Berlin, 1992, pp. 550–564.
Peron, A.: Synchronous and Asynchronous Models for Statecharts, Dipartimento di Informatica, Università di Pisa, PhD Thesis, TD 21/93, 1993.
Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, Proc. TACS '94, Lecture Notes in Computer Science 789, Springer, Berlin, 1994, pp. 806–821.
Pnueli, A., Shalev, M.: What is a Step: On the Semantics of Statecharts, Proc. TACS '91, Lecture Notes in Computer Science 526, Springer, Berlin, 1991, pp. 244–264.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maggiolo-Schettini, A., Merro, M. (1997). Priorities in Statecharts. In: Dam, M. (eds) Analysis and Verification of Multiple-Agent Languages. LOMAPS 1996. Lecture Notes in Computer Science, vol 1192. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62503-8_19
Download citation
DOI: https://doi.org/10.1007/3-540-62503-8_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62503-2
Online ISBN: 978-3-540-68052-9
eBook Packages: Springer Book Archive