A point in the base program where a hook is placed to combine objects and aspects.
Published in Chapter:
An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems
Arsène Sabas (Université de Montréal, Canada), Subash Shankar (City University of New York (CUNY), USA), Virginie Wiels (ONERA – The French Aerospace Lab, France), John-Jules Ch. Meyer (Universiteit Utrecht, The Netherlands), and Michel Boyer (Université de Montréal, Canada)
Copyright: © 2014
|Pages: 27
DOI: 10.4018/978-1-4666-6026-7.ch008
Abstract
Aspect-Oriented (AO) Technology is a post-object-oriented technology used to overcome limitations of Object-Oriented (OO) Technology, such as the cross-cutting concern problem. Aspect-Oriented Programming (AOP) also offers modularity and traceability benefits. Yet, reasoning, specification, and verification of AO systems present unique challenges, especially as such systems evolve over time. Consequently, formal modular reasoning of such systems is highly attractive as it enables tractable evolution, otherwise necessitating that the entire system be re-examined each time a component is changed or is added. The aspect interactions problem is also an open issue in the AOP area. To deal with this problem, the authors choose to use Category Theory (CT) and Algebraic Specification (AS) techniques. In this chapter, the authors present an aspect-oriented specification and verification approach. The approach is expressive and allows for formal modular reasoning.