TY - GEN A1 - Golas, Ulrike T1 - A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version N2 - 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. T3 - ZIB-Report - 12-22 KW - graph transformation KW - attribution KW - adhesive categories Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-15547 SN - 1438-0064 ER - TY - CHAP A1 - Golas, Ulrike ED - Ehrig, Hartmut ED - Engels, G. ED - Kreowski, H.-J. ED - Rozenberg, G. T1 - A General Attribution Concept for Models in M-Adhesive Transformation Systems T2 - Proceedings of ICGT 2012 Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-33654-6_13 VL - 7562 SP - 187 EP - 202 PB - Springer ER - TY - CHAP A1 - Soboll, T. A1 - Golas, Ulrike ED - Filipe, J. ED - Fred, A. T1 - A Local-Global Model for Multiagent Systems - Sheaves on the Category MAS T2 - Proceedings of ICAART 2012 Y1 - 2012 VL - 2 SP - 331 EP - 334 PB - SciTePress ER - TY - JOUR A1 - Golas, Ulrike A1 - Biermann, E. A1 - Ehrig, Hartmut A1 - Ermel, Claudia T1 - A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/645 VL - 39 SP - 1 EP - 24 ER - TY - JOUR A1 - Golas, Ulrike A1 - Lambers, L. A1 - Ehrig, Hartmut A1 - Orejas, Fernando T1 - Attributed Graph Transformation with Inheritance JF - Theoretical Computer Science Y1 - 2012 U6 - https://doi.org/10.1016/j.tcs.2012.01.032 VL - 424 SP - 46 EP - 68 ER - TY - CHAP A1 - Orejas, Fernando A1 - Boronat, Artur A1 - Golas, Ulrike A1 - Mylonakis, Nikos ED - Pfenning, Frank T1 - Checking Bisimilarity for Attributed Graph Transformation T2 - Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013 Y1 - 2013 U6 - https://doi.org/10.1007/978-3-642-37075-5_8 VL - 7794 SP - 113 EP - 128 PB - Springer ER - TY - JOUR A1 - Gabriel, Karsten A1 - Braatz, Benjamin A1 - Ehrig, Hartmut A1 - Golas, Ulrike T1 - Finitary M-Adhesive Categories JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000321 VL - 24 IS - 4 SP - 1 EP - 40 ER - TY - JOUR A1 - Hermann, Frank A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Orejas, Fernando T1 - Formal Analysis of Model Transformations Based on Triple Graph Grammars JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000370 VL - 24 IS - 4 SP - 1 EP - 57 ER - TY - JOUR A1 - Golas, Ulrike A1 - Ehrig, Hartmut A1 - Hermann, Frank T1 - Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/646 VL - 39 SP - 1 EP - 26 ER - TY - JOUR A1 - Golas, Ulrike A1 - Hoffmann, Kathrin A1 - Ehrig, Hartmut A1 - Rein, A. A1 - Padberg, J. T1 - Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks JF - ECEASST Y1 - 2011 UR - http://journal.ub.tu-berlin.de/eceasst/article/view/631 VL - 40 SP - 1 EP - 20 ER -