We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Structured Operational Semantics for Graph Rewriting.
- Authors
Dorman, Andrei; Heindel, Tobias; König, Barbara
- Abstract
Process calculi and graph transformation systems provide models of reactive systems wtth labelled transition semantics (LTS). While the semantics for process calculi ts compositional, this is not the case for graph transformation systems, to general. Hence, the goal of this article is to obtain a compositional semantics for graph transformation system in analogy to the structural operational semantics (SOS) for Milner's Calculus of Communicating Systems (CCS). The paper introduces an SOS style axiomatization of the standard labelled transition semantics for graph transformation systems that is based on the idea of minimal reaction contexts as labels, due to Leifer and Milner. In comparison to previous work on inductive definitions of similarly derived LTSs, the main feature of the proposed axiomatization is a composition rule that captures the communication of sub-systems so that it can feature as a counterpart to the communication rule of CCS.
- Subjects
REWRITING systems (Computer science); PROGRAMMING language semantics; STRUCTURED programming; COMPUTER software development; DEVELOPMENT of application software; COMPUTER simulation; SIMULATION methods &; models
- Publication
Scientific Annals of Computer Science, 2012, Vol 22, Issue 1, p105
- ISSN
1843-8121
- Publication type
Article
- DOI
10.7561/SACS.2012.1.105