Computer Science – Logic in Computer Science
Scientific paper
2010-03-22
EPTCS 21, 2010, pp. 39-50
Computer Science
Logic in Computer Science
Scientific paper
10.4204/EPTCS.21.4
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.
Heckel Reiko
Machado Rodrigo
Ribeiro Leila
No associations
LandOfFree
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-206146