Alloy-based lightweight verification for aspect-oriented architecture

Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
Pages171-178
Number of pages8
DOIs
Publication statusPublished - Oct 8 2008
Externally publishedYes
Event6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008 - Prague, Czech Republic
Duration: Aug 20 2008Aug 22 2008

Publication series

NameProceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008

Other

Other6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
CountryCzech Republic
CityPrague
Period8/20/088/22/08

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Software

Cite this

Ubayashi, N., Sato, Y., Sakai, A., & Tamai, T. (2008). Alloy-based lightweight verification for aspect-oriented architecture. In Proceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008 (pp. 171-178). [4609423] (Proceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008). https://doi.org/10.1109/SERA.2008.12