No full text
Article (Scientific journals)
Process Definition using Subobject Transformation Systems
Hermann, Frank; Ehrig, Hartmut
2008In Bulletin of the EATCS, 95, p. 153-163
 

Files


Full Text
No document available.

Send to



Details



Keywords :
process definition; subobject transformation system; adhesive category
Abstract :
[en] Process definition on the basis of graph transformation systems was introduced by the concept of occurrence grammars, which are a generalization of Petri net processes given by occurrence nets. Recently, subobject transformation systems were proposed as abstract framework for occurrence grammars in adhesive categories, but they are still restricted to injective matches for graph transformation steps. In this paper we review the construction of STSs as processes for plain graph grammars and discuss an extension to attributed graph grammars with non-injective matches. This is the basis for a forthcoming formal treatment in the framework of adhesive categories.
Disciplines :
Computer science
Author, co-author :
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ehrig, Hartmut
Language :
English
Title :
Process Definition using Subobject Transformation Systems
Publication date :
2008
Journal title :
Bulletin of the EATCS
Publisher :
EATCS
Volume :
95
Pages :
153-163
Commentary :
ISSN 0252-9742
Available on ORBilu :
since 05 September 2013

Statistics


Number of views
40 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu