Modeling Software Evolution using Algebraic Graph Rewriting

Selim Ciraci; Pim van den Broek

Modeling Software Evolution using Algebraic Graph Rewriting

Selim Ciraci, Pim van den Broek

Research output: Contribution to conference › Paper › peer-review

30 Downloads (Pure)

Abstract

We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules that formalizes the changes that may be caused by an evolution request, using the pushout construction in the category of marked colored graphs.

Original language	English
Number of pages	15
Publication status	Published - Jul 2006
Event	Workshop on Architecture-Centric Evolution (ACE 2006) - Nantes, France Duration: 3 Jul 2006 → 3 Jul 2006 http://www.cs.rug.nl/~paris/ACE2006/

Workshop

Workshop	Workshop on Architecture-Centric Evolution (ACE 2006)
Abbreviated title	ACE
Country/Territory	France
City	Nantes
Period	3/07/06 → 3/07/06
Internet address	http://www.cs.rug.nl/~paris/ACE2006/

Keywords

EWI-9088
IR-66876
Evolution modelling
METIS-237916
Software Evolution
Software evolvability
Graph Rewriting

Access to Document

Ciraci2006modelingFinal published version, 194 KB

http://www.cs.rug.nl/~paris/ACE2006/program.html

Cite this

@conference{c0633d30eae94c0d8bbfa852246f028b,

title = "Modeling Software Evolution using Algebraic Graph Rewriting",

abstract = "We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules that formalizes the changes that may be caused by an evolution request, using the pushout construction in the category of marked colored graphs.",

keywords = "EWI-9088, IR-66876, Evolution modelling, METIS-237916, Software Evolution, Software evolvability, Graph Rewriting",

author = "Selim Ciraci and {van den Broek}, Pim",

note = "This work has been carried out as a part of the DARWIN project under the responsibilities of the Embedded Systems Institute. This project is partially supported by the Netherlands Ministry of Economic Affairs under the Bsik program. Website workshop: http://www.cs.rug.nl/~paris/ACE2006/program.html; Workshop on Architecture-Centric Evolution (ACE 2006), ACE ; Conference date: 03-07-2006 Through 03-07-2006",

year = "2006",

month = jul,

language = "English",

url = "http://www.cs.rug.nl/~paris/ACE2006/",

}

TY - CONF

T1 - Modeling Software Evolution using Algebraic Graph Rewriting

AU - Ciraci, Selim

AU - van den Broek, Pim

N1 - This work has been carried out as a part of the DARWIN project under the responsibilities of the Embedded Systems Institute. This project is partially supported by the Netherlands Ministry of Economic Affairs under the Bsik program. Website workshop: http://www.cs.rug.nl/~paris/ACE2006/program.html

PY - 2006/7

Y1 - 2006/7

N2 - We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules that formalizes the changes that may be caused by an evolution request, using the pushout construction in the category of marked colored graphs.

AB - We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules that formalizes the changes that may be caused by an evolution request, using the pushout construction in the category of marked colored graphs.

KW - EWI-9088

KW - IR-66876

KW - Evolution modelling

KW - METIS-237916

KW - Software Evolution

KW - Software evolvability

KW - Graph Rewriting

M3 - Paper

T2 - Workshop on Architecture-Centric Evolution (ACE 2006)

Y2 - 3 July 2006 through 3 July 2006

ER -

Modeling Software Evolution using Algebraic Graph Rewriting

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this