An Approach To Using Formal Methods In Aspect Orientation.
Xiaolan Xie, Sol M. Shatz · 2000
Aspects are defined as properties that cut across groups of functional components. Programming aspects manually using current component-oriented languages results in aspects being spread through the code. This type of code tangling makes the source code difficult to develop, understand and evolve. Aspect Orientation is a new paradigm proposal that addresses the above issues. One of the aims of aspect orientation is to define methods and tools that can effectively support independent specification of aspects with automated support for subsequent aspect integration. Our recent work has investigated formal modeling of distributed-object software. In this paper, we discuss the application of our work to aspect orientation. Particularly, we suggest that our basic notation for object models can be used to define aspect models. Furthermore, we apply a special subnet structure called a plug-in" to enforce constraints between aspects when they are composed for a specific system use. These ideas are demonstrated and discussed in the context of an example.