research-article

Applying translucid contracts for modular reasoning about aspect and object oriented events

Authors:

Mehdi Bagherzadeh,

Gary T. Leavens,

Robert DyerAuthors Info & Claims

FOAL '11: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages

Pages 31 - 35

https://doi.org/10.1145/1960510.1960517

Published: 21 March 2011 Publication History

Abstract

The Implicit Invocation (II) architectural style improves modularity and is promoted by aspect-oriented (AO) languages and design patterns like Observer. However, it makes modular reasoning difficult, especially when reasoning about control effects of the advised code (subject). Our language Ptolemy, which was inspired by II languages, uses translucid contracts for modular reasoning about the control effects; however, this reasoning relies on Ptolemy's event model, which has explicit event announcement and declared event types. In this paper we investigate how to apply translucid contracts to reasoning about events in other AO languages and even non-AO languages like C#

References

[1]

J. Aldrich. Open modules: Modular reasoning about advice. In ECOOP'05.

Digital Library

[2]

M. Bagherzadeh, H. Rajan, and G. T. Leavens. Translucid contracts for aspect-oriented interfaces. In FOAL '10.

[3]

M. Bagherzadeh, H. Rajan, G. T. Leavens, and S. Mooney. Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces. In AOSD '11.

Digital Library

[4]

C. Clifton, G. T. Leavens, and J. Noble. Ownership and effects for more effective reasoning about Aspects. In ECOOP '07.

Digital Library

[5]

D. S. Dantas and D. Walker. Harmless advice. In POPL'06.

Digital Library

[6]

M. Fáhndrich, M. Barnett, and F. Logozzo. Embedded contract languages. SAC '10.

[7]

K. J. Hoffman and P. Eugster. Bridging Java and AspectJ through explicit join points. In PPPJ'07.

Digital Library

[8]

K. J. Sullivan et al. Information hiding interfaces for aspect-oriented design. In ESEC/FSE'05.

Digital Library

[9]

G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In ICSE'05.

Digital Library

[10]

D. H. Lorenz and T. Skotiniotis. Extending design by contract for aspect-oriented programming. CoRR, abs/cs/0501070, 2005.

[11]

B. Oliveira, T. Schrijvers, and W. R. Cook. Effectiveadvice: Disciplined advice with explicit effects. In AOSD'10.

Digital Library

[12]

N. Ongkingco, P. Avgustinov, J. Tibble, L. Hendren, O. de Moor, and G. Sittampalam. Adding Open Modules to AspectJ. In AOSD'6.

Digital Library

[13]

H. Rajan and G. T. Leavens. Ptolemy: A language with quantified, typed events. In ECOOP'08.

Digital Library

[14]

S. M. Shaner, G. T. Leavens, and D. A. Naumann. Modular verification of higher-order methods with mandatory calls specified by model programs. In OOPSLA'07.

Digital Library

[15]

T. Skotiniotis and D. H. Lorenz. Cona: Aspects for contracts and contracts for aspects. In OOPSLA'04.

Digital Library

[16]

F. Steimann, T. Pawlitzki, S. Apel, and C. Kastner. Types and modularity for implicit invocation with implicit announcement. TOSEM, 20(1), 2010.

Digital Library

[17]

K. J. Sullivan, W. G. Griswold, H. Rajan, Y. Song, Y. Cai, M. Shonle, and N. Tewari. Modular aspect-oriented design with XPIs. TOSEM, 20(2), 2009.

Digital Library

[18]

W. G. Griswold et al. Modular software design with crosscutting interfaces. IEEE Software'06.

Digital Library

[19]

J. Zhao and M. Rinard. Pipa: A behavioral interface specification language for AspectJ. In FASE'03.

Digital Library

Cited By

Sánchez JLeavens GFuentes LBatory DCzarnecki K(2016)Reasoning tradeoffs in languages with enhanced modularity featuresProceedings of the 15th International Conference on Modularity10.1145/2889443.2889447(13-24)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889447
Leavens GNaumann DRajan HAotani T(2016)Specifying and Verifying Advanced Control FeaturesLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_7(80-96)Online publication date: 5-Oct-2016
https://doi.org/10.1007/978-3-319-47169-3_7
Costa Neto ABonifácio RRibeiro MPontual CBorba PCastor F(2013)A design rule language for aspect-oriented programmingJournal of Systems and Software10.1016/j.jss.2013.03.10486:9(2333-2356)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.1016/j.jss.2013.03.104

Index Terms

Applying translucid contracts for modular reasoning about aspect and object oriented events

Recommendations

Translucid contracts for modular reasoning about aspect-oriented programs
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Several proposals have advocated notion of aspect-oriented (AO) interfaces to solve modular reasoning problems, but have not shown how to specify these interfaces to facilitate modular reasoning. Our work on translucid contracts shows how to specify AO ...
Modularizing crosscutting concerns with ptolemy
OOPSLA '11: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

In this demonstration we show our language Ptolemy, which allows for separation of crosscutting concerns while maintaining modular reasoning. We demonstrate the benefits of Ptolemy over existing aspect-oriented languages and implicit invocation designs. ...
Modularizing crosscutting concerns with Ptolemy
AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development companion

This tutorial will provide an introduction to Ptolemy. Ptolemy is a programming language whose goals are to improve a software engineer's ability to separate conceptual concerns, while preserving encapsulation of object-oriented code and the ability of ...

Comments

Information & Contributors

Information

Published In

FOAL '11: Proceedings of the 10th international workshop on Foundations of aspect-oriented languages

March 2011

40 pages

ISBN:9781450306447

DOI:10.1145/1960510

Program Chair:
Hridesh Rajan
Iowa State University

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Centro de Informatica - UFPE: Centro de Informatica - UFPE
SIGPLAN: ACM Special Interest Group on Programming Languages
CAPES: Coordençãao de Aperfeiçoamento de Pessoal de Nível Superior
SIGSOFT: ACM Special Interest Group on Software Engineering
CNPq: Conselho Nacional de Desenvolvimento Cientifico e Tecn
FINEP: Financiadora de Estudos e Projetos
PUC-Rio
FACEPE: Fundacao de Amparo a Ciencia e Tecnologia do Estado de Pernambuco

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 March 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AOSD'11

AOSD'11: Tenth International Conference on Aspect-Oriented Software Development

March 21, 2011

Porto de Galinhas, Brazil

Acceptance Rates

Overall Acceptance Rate 5 of 6 submissions, 83%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
97
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sánchez JLeavens GFuentes LBatory DCzarnecki K(2016)Reasoning tradeoffs in languages with enhanced modularity featuresProceedings of the 15th International Conference on Modularity10.1145/2889443.2889447(13-24)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889447
Leavens GNaumann DRajan HAotani T(2016)Specifying and Verifying Advanced Control FeaturesLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications10.1007/978-3-319-47169-3_7(80-96)Online publication date: 5-Oct-2016
https://doi.org/10.1007/978-3-319-47169-3_7
Costa Neto ABonifácio RRibeiro MPontual CBorba PCastor F(2013)A design rule language for aspect-oriented programmingJournal of Systems and Software10.1016/j.jss.2013.03.10486:9(2333-2356)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.1016/j.jss.2013.03.104

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten