Campus Units

Computer Science

Document Type

Conference Proceeding

Conference

The tenth international conference on Aspect-oriented software development (AOSD '11)

Publication Version

Accepted Manuscript

Link to Published Version

http://dx.doi.org/10.1145/1960275.1960293

Publication Date

2011

Journal or Book Title

Proceedings of the tenth international conference on Aspect-oriented software development

First Page

141

Last Page

152

DOI

10.1145/1960275.1960293

Conference Date

March 21-25, 2011

City

Porto de Galinhas, Brazil

Abstract

As aspect-oriented (AO) programming techniques become more widely used, their use in critical systems such as aircraft and telephone networks, will become more widespread. However, careful reasoning about AO code seems difficult because: (1) advice may apply in too many places, and (2) standard specification techniques do not limit the control effects of advice. Commonly used black box specification techniques cannot easily specify control effects, such as advice that does not proceed to the advised code. In this work we avoid the first problem by using Ptolemy, a language with explicit event announcement. To solve the second problem we give a simple and understandable specification technique, translucid contracts, that not only allows programmers to write modular specifications for advice and advised code, but also allows them to reason about the code's control effects. We show that translucid contracts support sound modular verification of typical interaction patterns used in AO code. We also show that translucid contracts allow interesting control effects to be specified and enforced.

Comments

This is a manuscript of a proceeding published as Bagherzadeh, Mehdi, Hridesh Rajan, Gary T. Leavens, and Sean Mooney. "Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces." In Proceedings of the tenth international conference on Aspect-oriented software development, pp. 141-152. ACM, 2011. 10.1145/1960275.1960293. Posted with permission.

Rights

© ACM, 2011 This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the tenth international conference on Aspect-oriented software development, pp. 141-152. ACM, 2011. https://doi.org/10.1145/1960275.1960293

Copyright Owner

ACM

Language

en

File Format

application/pdf

Published Version

Share

Article Location

 
COinS