Software Engineering Research, Management and Applications, ACIS International Conference on (2008)
Aug. 20, 2008 to Aug. 22, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SERA.2008.12
ccJava, a new kind of class-based AOP language, provides the weaving-interface mechanism in which the weaving can be realized by the component-and-connector architecture. The interface description constructs in ccJava can be considered a kind of architecture description language that takes into account the weaving. This paper provides a lightweight verification approach using Alloy, a structural modeling language based on relation allogic. Using Alloy, we can verify whether the weaving based on the component-and-connector architecture satisfies some kinds of properties--whether advice-types are specified correctly,whether a pointcut selects join points correctly, and so on. By enforcing the architecture verified by Alloy to the class implementation, we can construct a reliable system.
AOP, Component-and-connector architecture, Alloy, Verification
Akihiro Sakai, Tetsuo Tamai, Yuki Sato, Naoyasu Ubayashi, "Alloy-Based Lightweight Verification for Aspect-Oriented Architecture", Software Engineering Research, Management and Applications, ACIS International Conference on, vol. 00, no. , pp. 171-178, 2008, doi:10.1109/SERA.2008.12