Hierarchical Automata as Model for Statecharts
作者： Erich Mikk , Yassine Lakhnechi , Michael Siegel
关键词:
摘要: Statecharts are a very rich graphical specification formalism supported by the commercial tool Statemate. comprises powerful concepts such as interlevel transitions, multiple-source/multiple-target priority amongst transitions and simultaneous execution of maximal non-conflicting sets transitions. Every add-on which is supposed to be linked with Statemate have deal rather involved semantics these concepts. We propose extended hierarchical automata an intermediate format facilitate linking new tools environment, whose main idea devise simple more restricted syntax than statecharts nevertheless allows capture richer formalism. define format, give operational it, translate it.
springer.com
springerlink.com参考文章(15)
Formal Development of Reactive Systems Springer Berlin Heidelberg. ,(1995) , 10.1007/3-540-58867-1
Florence Maraninchi, Operational and Compositional Semantics of Synchronous Automaton Compositions international conference on concurrency theory. pp. 550- 564 ,(1992) , 10.1007/BFB0084815
Claus Lewerentz, Thomas Lindner, Formal Development of Reactive Systems: Case Study Production Cell ,(1995)
Erich Mikk, Yassine Lakhnech, Carsta Petersohn, Michael Siegel, None, On formal semantics of statecharts as supported by STATEMATE formal methods. pp. 12- 12 ,(1997) , 10.14236/EWIC/FA1997.12
J. Helbig, P. Kelb, An OBDD-representation of statecharts european design and test conference. pp. 142- 149 ,(1994) , 10.1109/EDTC.1994.326884
C. Huizing, W.P. de Roever, Introduction to design choices in the semantics of Statecharts Information Processing Letters. ,vol. 37, pp. 205- 213 ,(1991) , 10.1016/0020-0190(91)90190-S
David Harel, Statecharts: A visual formalism for complex systems Science of Computer Programming. ,vol. 8, pp. 231- 274 ,(1987) , 10.1016/0167-6423(87)90035-9
E. Mikk, Y. Lakhnech, M. Siegel, G.J. Holzmann, Implementing statecharts in PROMELA/SPIN Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques. pp. 90- 101 ,(1998) , 10.1109/WIFT.1998.766303
G.J. Holzmann, The model checker SPIN formal methods in software practice. ,vol. 23, pp. 279- 295 ,(1997) , 10.1109/32.588521
S. Narayan, F. Vahid, D.D. Gajski, System specification and synthesis with the SpecCharts language international conference on computer aided design. pp. 266- 269 ,(1991) , 10.1109/ICCAD.1991.185249