A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version
- 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.
|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)|
|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|