A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version

Please always quote using this URN: urn:nbn:de:0297-zib-15547
  • Attributes are an important concept for modeling data in practical applications. Up to now there is no adequate way to define attributes for different kinds of models used in M-adhesive transformation systems, which are a special kind of graph transformation systems based on M-adhesive categories. Especially a proper representation and definition of attributes and their values as well as a suitable handling of the data does not fit well with other graph transformation formalisms. In this paper, we propose a new method to define attributes in a natural, but still formally precise and widely applicable way. We define a new kind of adhesive category, called W-adhesive, that can be used for transformations of attributes, while the underlying models are still M-adhesive ones. As a result, attributed models can be used as they are intended to be, but with a formal background and proven well-behavior.

Download full text files

Export metadata

  • Export Bibtex
Metadaten
Author:Ulrike Golas
Document Type:ZIB-Report
Tag:adhesive categories; attribution; graph transformation
CCS-Classification:F. Theory of Computation
Date of first Publication:2012/07/02
Series (Serial Number):ZIB-Report (12-22)
ISSN:1438-0064
Published in:A short version appeared in: Graph Transformation, 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings. Lecture Notes in Computer Science, Vol. 7562 . 2012. Pp.187-202
DOI:http://dx.doi.org/10.1007/978-3-642-33654-6_13

$Rev: 13581 $