References: Classical (Harel) Statecharts

[DJHP98] Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli. A compositional real-time semantics of STATEMATE designs. In Compositionality: The Significant Difference, volume 1536 of Lecture Notes in Computer Science, pages 186-238. Springer-Verlag, 1998.
[ Abstract ]
[FM77] A.B. Ferrentino and H.D. Mills. State machines and their semantics in software engineering. In Proceedings of the First International Software and Applications Conference (COMPSAC 77), pages 242-251. IEEE Computer Society, 1977.
[ Abstract ]
[Har87] D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
[ Abstract ]
[Har97] D. Harel. Some thoughts on statecharts, 13 years later. In Proceedings of the 9th International Conference on Computer Aided Verification (CAV'97), volume 1254 of Lecture Notes in Computer Science, pages 226-231. Springer, 1997.
[ Abstract ]
[HdR91] C. Huizing and W.P. de Roever. Introduction to design choices in the semantics of statecharts. Information Processing Letters, 37(4):205-213, 1991.
[ .pdf | Abstract ]
[HG97] D. Harel and E. Gery. Executable object modeling with statecharts. Computer, 30(7):31-42, 1997.
[ http | http | Abstract ]
[HGR88] C. Huizing, R. Gerth, and W.P. de Roever. Modelling Statecharts behaviour in a fully abstract way. In CAAP '88: 13th Colloquium on Trees in Algebra and Programming, volume 299 of Lecture Notes in Computer Science, pages 271-294. Springer-Verlag, 1988.
[ http | Abstract ]
[HLN+90] D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, 1990.
[ http | Abstract ]
[HN96] D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM), 5(4):293-333, 1996.
[ http | Abstract ]
[HP98] D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, 1998.
[ Abstract ]
[HPSS87] D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54-64. Computer Society Press of the IEEE, 1987.
[ Abstract ]
[LM02] Gerald Lüttgen and Michael Mendler. The intuitionism behind statecharts steps. ACM Transactions on Computational Logic, 3(1):1-41, 2002.
[ http | Abstract ]
[LvdBC99] Gerald Lüttgen, Michael von der Beeck, and Rance Cleaveland. Statecharts via process algebra. In Proceedings of CONCUR'99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, volume 1664 of Lecture Notes in Computer Science, pages 399-414. Springer-Verlag, 1999.
[ Abstract ]
[LvdBC00] G. Lüttgen, M. von der Beeck, and R. Cleaveland. A compositional approach to statecharts semantics. In Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 120-129. ACM Press, 2000.
[ http | Abstract ]
[Mik00] E. Mikk. Semantics and Verification of Statecharts. PhD thesis, Christian-Albrechts University of Kiel, 2000. Bericht Nr. 2011.
[MLS97] E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for statecharts. In Proceedings of the Asian Computing Science Conference (ASIAN '97), volume 1345 of Lecture Notes in Computer Science, pages 181-196. Springer, 1997.
[ Abstract ]
[MLSH98] E. Mikk, Y. Lakhnech, M. Siegel, and G.J. Holzmann. Implementing statecharts in PROMELA/SPIN. In Proceedings 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, pages 90-101. Inst. fur Inf. und Praktische Math., Kiel Univ., Germany, 1998.
[ http | .ps | Abstract ]
[MSP94] Andrea Maggiolo-Schettini and Adriano Peron. Semantics of full statecharts based on graph rewriting. In Proceedings of the International Workshop on Graph Transformations in Computer Science, volume 776 of Lecture Notes in Computer Science, pages 265-279. Springer-Verlag, 1994.
[MSP96] A. Maggiolo-Schettini and A. Peron. A graph rewriting framework for statecharts semantics. In Proceedings of the International Conference on Graph Grammars (GRAGRA), volume 1996 of Lecture Notes in Computer Science, pages 107-121. Springer, 1996.
[ .html | Abstract ]
[MSPT03] Andrea Maggiolo-Schettini, Adriano Peron, and Simone Tini. A comparison of statecharts step semantics. Theoretical Computer Science, 290(1):465-498, 2003.
[ http | Abstract ]
[PS91] A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In Proceedings of the International Conference on Theoretical Aspects of Computer Software (TACS'91), volume 526 of Lecture Notes in Computer Science, pages 244-264. Springer, 1991.
[ http | Abstract ]
[US94a] Andrew C. Uselton and Scott A. Smolka. A compositional semantics for statecharts using labeled transition systems. In Proceedings of Concurrency Theory (CONCUR '94), volume 836 of Lecture Notes in Computer Science, pages 2-17. Springer-Verlag, 1994.
[ Abstract ]
[US94b] Andrew C. Uselton and Scott A. Smolka. A process algebraic semantics for statecharts via state refinement. In Proceedings of IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), volume A-56 of IFIP Transactions, pages 267-286. North-Holland, 1994.
[ .pdf | Abstract ]
[vdB94] M. von der Beeck. A comparison of statecharts variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'94), volume 863 of Lecture Notes in Computer Science, pages 128-148. Springer, 1994.
[ Abstract ]