Alloy-based lightweight verification for aspect-oriented architecture

Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

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.

本文言語英語
ホスト出版物のタイトルProceedings - 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
ページ171-178
ページ数8
DOI
出版ステータス出版済み - 10 8 2008
外部発表はい
イベント6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008 - Prague, チェコ共和国
継続期間: 8 20 20088 22 2008

出版物シリーズ

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

その他

その他6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008
Countryチェコ共和国
CityPrague
Period8/20/088/22/08

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Software

フィンガープリント 「Alloy-based lightweight verification for aspect-oriented architecture」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル