Semantics of full statecharts based on graph rewriting

  • Andrea Maggiolo-Schettini
  • Adriano Peron
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 776)


A semantics of Statecharts based on graph rewriting is presented. State-charts are formalized as graph replacement rules. The graph of derivations gives a sequential semantics which agrees with Statechart step semantics.


Direct Derivation Graph Grammar Abstract Data Type Derivation Graph Sort Time 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Berry G., Boudol L., The Chemical Abstract Machine, Proceedings 17th Annual Symposium on Principles of Programming Languages, 1990, pp. 81–94.Google Scholar
  2. [2]
    Ehrig, H., Introduction to the Algebraic Theory of Graph Grammars, LNCS 73, Springer, Berlin, 1979, pp. 1–69.Google Scholar
  3. [3]
    Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F., Parallelism and Concurrency in Hight Level Replacement Systems, Mathematical Structures in Computer Science 1 (1991), pp. 361–404.Google Scholar
  4. [4]
    Harel, D., Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), pp. 231–274.Google Scholar
  5. [5]
    Harel, D., Pnueli, A., Schmidt, J., P., Sherman, R., On the Formal Semantics of Statecharts, Proceedings of 2nd IEEE Symposium on Logic in Computer Science, IEEE CS Press, 1987, pp. 54–64.Google Scholar
  6. [6]
    Hess, L., Mayoh, B., Graphics and their Grammars, LNCS 291, Springer, Berlin, 1991, pp. 232–249.Google Scholar
  7. [7]
    Janssens, D., Rozenberg, G., Actor Grammars, Mathematical Systems Theory 22 (1989), pp. 75–107.Google Scholar
  8. [8]
    Lodaya, K., Ramanujam, R., Thiagarajan, P.S., A Logic for Distributed Transition Systems, LNCS 354, Springer, Berlin, 1989, pp. 508–522.Google Scholar
  9. [9]
    Maggiolo-Schettini, A., Peron, A., Semantics for Statecharts Based on Graph Rewriting, in: Prinetto, P. and Camurati, P. (Eds.), Correct Hardware Design Methodologies, North-Holland, Amsterdam, pp. 91–114, 1992.Google Scholar
  10. [10]
    Maggiolo-Schettini, A., Peron, A., Semantics for Full Statecharts Based on Graph Rewriting, Dipartimento di Matematica ed Informatica Università di Udine, Research Report UDMI/11/93/RR, 1993.Google Scholar
  11. [11]
    Peron, A., Synchronous and Asynchronous Models for Statecharts, Dipartimento di Informatica Università di Pisa, Ph.D. Thesis, TD 21/93, 1993.Google Scholar
  12. [12]
    Wirsing, M., Algebraic Specification, in Handbook of Theoretical Computer Science, Formal Methods and Semantics, Elsevier-MIT Press, 1990, pp. 675–788.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Andrea Maggiolo-Schettini
    • 1
  • Adriano Peron
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations