TY - GEN
T1 - Alloy-based lightweight verification for aspect-oriented architecture
AU - Ubayashi, Naoyasu
AU - Sato, Yuki
AU - Sakai, Akihiro
AU - Tamai, Tetsuo
PY - 2008/10/8
Y1 - 2008/10/8
N2 - 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 relational logic. 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.
AB - 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 relational logic. 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.
UR - http://www.scopus.com/inward/record.url?scp=53149108246&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=53149108246&partnerID=8YFLogxK
U2 - 10.1109/SERA.2008.12
DO - 10.1109/SERA.2008.12
M3 - Conference contribution
AN - SCOPUS:53149108246
SN - 9780769533025
T3 - Proceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
SP - 171
EP - 178
BT - Proceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
T2 - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
Y2 - 20 August 2008 through 22 August 2008
ER -