文章基本信息

标题：Structured Operational Semantics for Graph Rewriting
本地全文：下载
作者：A. Dorman ; T. Heindel ; B. König 等
期刊名称：Scientific Annals of Computer Science
印刷版ISSN：1843-8121
出版年度：2012
卷号：XXII
期号：1
页码：105-145
DOI：10.7561/SACS.2012.1.105
出版社：Alexandru Ioan Cuza University of Iasi
摘要：Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics (LTS). While the semantics for process calculi is compositional, this is not the case for graph transformation systems, in 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.
关键词：process calculi; graph transformation; structural operational semantics; ;compositional methods