A graph rewriting framework for Statecharts semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1073, Issue , 1996, Pages 107-121

  Maggiolo Schettini, Andrea ^a   Peron, Adriano ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES;

ABSTRACT SEMANTICS; DYNAMIC FEATURES; DYNAMIC SEMANTIC; GRAPH REWRITING; GRAPH REWRITING RULES; STATECHARTS;

SEMANTICS;

EID: 84947773070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61228-9_82     Document Type: Conference Paper

References (9)

1. von der Beek, M.: A Comparison of Statecharts Variants, LNCS 863, Springer, Berlin, 1994, pp. 128-148.
2. Corradini, A., Ehrig, H., Löewe, M., Montanari, U., Rossi, F,: Note on Standard Representation of Graphs and Graph Derivations, Springer LNCS 776, 1994, pp. 104-118.
3. Harel, D.: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987), pp. 231-274.
4. 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.
5. Janssens, D., Rozenberg, G.: Actor Grammars, Mathematical Systems Theory 22 (1989), pp. 75-107.
6. Maggiolo-Schettini, A., Peron, A.: Semantics of Full Statecharts Based on Graph Rewriting, Springer LNCS 776, 1994, pp. 265-279.
7. Peron, A., Maggiolo-Schettini, A.: Transitions as Interrupts: A New Semantics for Timed Statecharts, Springer LNCS 789, 1994, pp. 806-821.
8. Schied, G.: On Relating Rewriting Systems and Graph Grammars to Event Structures, Springer LNCS 776, 1994, pp. 326-340.
9. Winskel, G.: An Introduction to Event Structures, Springer LNCS 354, 1989, pp. 364-397.