Analyzing The Influences of Aspect Weaving on Software System Behavior
نویسنده
چکیده
The aspect-oriented paradigm can help promoting system modularity and maintainability by separating crosscutting concerns as aspects. However, weaving an aspect may introduce undesired impacts on the original system behavior. We present an approach to analyzing the influences of an aspect weaving on the base model. The analysis is based on the behavioral equivalence between the base model and its projection in the woven model. An example shows the effectiveness.
منابع مشابه
Detecting and Evaluating Semantic Influences of Aspect Weaving in Aspect Oriented Models
Weaving an aspect may introduce undesired impacts on behavior of the base model or other afore-woven aspects. An approach to detect and evaluate the semantic influences of an aspect weaving on a pattern is presented. The pattern specifies a desired behavior that should stay unaltered or occur in the woven model. The detection and evaluation are based on the semantic relationship between a patte...
متن کاملExtending AOP to Support Broad Runtime Monitoring Needs
Runtime monitoring, where some part of a program’s behavior and/or data is observed during execution, is a very useful technique that software developers to use for understanding, analyzing, debugging, and improving their software. Aspect oriented programming is a natural fit for supporting the wide ranging instrumentation needs of runtime monitoring, but so far the limitations of AOP framework...
متن کاملFormal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists no strict model for aspects and their weaving, which makes it difficult for analyzing and reasoning about the semantic problems introduced in the composition of the aspects and the base system. We present a formal mo...
متن کاملModeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
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...
متن کاملAspect-enhanced goal-driven sequence diagram
Recently, aspect-oriented approaches have resulted in a tremendous impact on the processing of broadly scoped properties during the development of software systems. However, the weaving mechanism of these crosscutting concerns cannot be easily represented with the extant uniÞed modeling language (UML) notation at the early stage of software development life cycle. As an attempt toward the inves...
متن کامل