Reference : Process Definition using Subobject Transformation Systems
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5592
Process Definition using Subobject Transformation Systems
English
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ehrig, Hartmut [> >]
2008
Bulletin of the EATCS
EATCS
95
153-163
No
[en] process definition ; subobject transformation system ; adhesive category
[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.
http://hdl.handle.net/10993/5592
http://www.eatcs.org/index.php/eatcs-bulletin
ISSN 0252-9742

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.