Verifying aspect advice modularly

Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg

Research output: Contribution to conferencePaperpeer-review

82 Scopus citations

Abstract

Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computer-aided verification. We present a technique for verifying aspect-oriented programs (expressed as state machines). Our technique assumes that the set of pointcut designators is known statically, but that the actual advice can vary. This calls for a modular technique that does not require repeated analysis of the entire system every time a developer changes advice. We present such an analysis, addressing several subtleties that arise. We also present an important optimization for handling multiple pointcut designators. We have implemented a prototype verifier and applied it to some simple but interesting cases.

Original languageEnglish
Pages137-146
Number of pages10
DOIs
StatePublished - 2004
EventTwelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2004/FSE-12 - Newport Beach, CA, United States
Duration: 31 Oct 20045 Nov 2004

Conference

ConferenceTwelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2004/FSE-12
Country/TerritoryUnited States
CityNewport Beach, CA
Period31/10/045/11/04

Keywords

  • Aspect-oriented software
  • Model checking
  • Modular verification

Fingerprint

Dive into the research topics of 'Verifying aspect advice modularly'. Together they form a unique fingerprint.

Cite this