Please use this identifier to cite or link to this item:
Title: Modeling and reasoning over distributed systems using aspect-oriented graph grammars
Authors: Machado, Rodrigo
Heckel, Reiko
Ribeiro, Leila
First Published: 30-Mar-2010
Presented at: 10th International Workshop on Rule-Based Programming, Brazil, 28th June 2009.
Start Date: 28-Jun-2009
End Date: 28-Jun-2009
Publisher: EPTCS
Citation: Proceedings of 10th International Workshop on Rule-Based Programming, EPTCS, 2010, 21, pp. 39-50
Abstract: Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing related changes within the system modules. Aspect-oriented graph grammars (AOGG) extend the classic graph grammar formalism by defining aspects as sets of rule-based modifications over a base graph grammar. Despite the advantages of aspect-oriented concepts regarding modularity, the implicit nature of the aspect weaving operation may also introduce issues when reasoning about the system behavior. Since in AOGGs aspect weaving is characterized by means of rule-based rewriting, we can overcome these problems by using known analysis techniques from the graph transformation literature to study aspect composition. In this paper, we present a case study of a distributed client-server system with global policies, modeled as an aspect-oriented graph grammar, and discuss how to use the AGG tool to identify potential conflicts in aspect weaving.
DOI Link: 10.4204/EPTCS.21.4
ISSN: 2075-2180
Version: Publisher Version
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © the authors, 2009.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1003.4090v1.pdfPublished (publisher PDF)675.68 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.