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
Country/TerritoryCzech Republic
CityPrague
Period8/20/088/22/08

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'Alloy-based lightweight verification for aspect-oriented architecture'. Together they form a unique fingerprint.

Cite this