Paper Search Console

Home Search Page Alphabetical List About Contact

Journal Title

Title of Journal:

Search In Journal Title:

Abbravation:

Search In Journal Abbravation:

Publisher

Springer, Berlin, Heidelberg

Search In Publisher:

DOI

10.1002/chin.198712072

Search In DOI:

ISSN

Search In ISSN:
Search In Title Of Papers:

A graph rewriting framework for Statecharts semantics

Authors: Andrea Maggiolo-Schettini, Adriano Peron,

Publish Date: 1994/11/13
Volume: , Issue:, Pages: 107-121
PDF Link

Abstract

The purpose of the paper is to show that graph rewriting is a suitable environment to formalize semantics of specification languages with dynamic features. This is exemplified considering Statecharts in a variant allowing dynamic creation of processes. Graph rewriting rules give the semantics of Statecharts in such interpretation. Standard Statecharts semantics can be recovered by suitably restricting derivation sequences that describe behaviours in the dynamic semantics. More abstract semantics, better suited to study equivalences and general properties, can be obtained from graph rewriting semantics.


Keywords:

References


.
Search In Abstract Of Papers:
Other Papers In This Journal:


Search Result:



Help video to use 'Paper Search Console'