A General Attribution Concept for Models in \({\cal M}\)-Adhesive Transformation Systems

  • Ulrike Golas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7562)

Abstract

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 \(\mathcal{M}\)-adhesive transformation systems, which are a special kind of graph transformation system based on \(\mathcal{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 \(\mathcal W\)-adhesive, that can be used for transformations of attributes, while the underlying models are still \(\mathcal{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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ehrig, H.: Introduction to the Algebraic Theory of Graph Grammars (A Survey). In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979)CrossRefGoogle Scholar
  2. 2.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific (1997)Google Scholar
  3. 3.
    Ehrig, H., Golas, U., Hermann, F.: Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach. BEATCS 102, 111–121 (2010)MathSciNetGoogle Scholar
  4. 4.
    Lack, S., Sobociński, P.: Adhesive Categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 273–288. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs. Springer (2006)Google Scholar
  6. 6.
    Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 178–193. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Golas, U.: A General Attribution Concept for Models in \(\mathcal{M}\)-adhesive Transformation Systems: Long Version. Technical Report 12-22, Zuse Institute Berlin (2012)Google Scholar
  8. 8.
    Orejas, F., Lambers, L.: Symbolic Attributed Graphs for Attributed Graph Transformation. ECEASST 30 (2010)Google Scholar
  9. 9.
    Habel, A., Plump, D.: Relabelling in Graph Transformation. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 135–147. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Löwe, M., Korff, M., Wagner, A.: An Algebraic Framework for the Transformation of Attributed Graphs. In: Term Graph Rewriting: Theory and Practice, pp. 185–199. Wiley (1993)Google Scholar
  11. 11.
    Rebout, M., Féraud, L., Soloviev, S.: A Unified Categorical Approach for Attributed Graph Rewriting. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol. 5010, pp. 398–409. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs. Springer (1985)Google Scholar
  13. 13.
    Braatz, B., Brandt, C.: Graph Transformations for the Resource Description Framework. ECEASST 10 (2008)Google Scholar
  14. 14.
    Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional Modeling of Reactive Systems Using Open Nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 502–518. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  15. 15.
    Habel, A., Plump, D.: M,N-Adhesive Transformation Systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 218–233. Springer, Heidelberg (2012)Google Scholar
  16. 16.
    Anjorin, A., Varro, G., Schürr, A.: Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques. ECEASST (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ulrike Golas
    • 1
  1. 1.Konrad-Zuse-Zentrum für Informationstechnik BerlinGermany

Personalised recommendations