Transformation of Attributed Structures with Cloning - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Transformation of Attributed Structures with Cloning

Résumé

Copying, or cloning, is a basic operation used in the specification of many applications in computer science. However, when dealing with complex structures, like graphs, cloning is not a straightforward operation since a copy of a single vertex may involve (implicitly) copying many edges. Therefore, most graph transformation approaches forbid the possibility of cloning. We tackle this problem by providing a framework for graph transformations with cloning. We use attributed graphs and allow rules to change attributes. These two features (cloning/changing attributes) together give rise to a powerful formal specification approach. In order to handle different kinds of graphs and attributes, we first define the notion of attributed structures in an abstract way. Then we generalise the sesqui-pushout approach of graph transformation in the proposed general framework and give appropriate conditions under which attributed structures can be transformed. Finally, we instantiate our general framework with different examples, showing that many structures can be handled and that the proposed framework allows one to specify complex operations in a natural way.

Dates et versions

hal-01985468 , version 1 (18-01-2019)

Identifiants

Citer

Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro. Transformation of Attributed Structures with Cloning. Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Apr 2014, Grenoble, France. pp.310-324, ⟨10.1007/978-3-642-54804-8_22⟩. ⟨hal-01985468⟩
112 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More