Article

Cona: aspects for contracts and contracts for aspects

Authors:

Therapon Skotiniotis,

David H. LorenzAuthors Info & Claims

OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

Pages 196 - 197

https://doi.org/10.1145/1028664.1028747

Published: 23 October 2004 Publication History

Abstract

Design by Contract (DBC) and runtime enforcement of program assertions enables the construction of more robust software. It also enables the assignment of blame in error reporting. As of yet, no AOP implementation for the provision of DBC exists. We present an aspect-oriented DBC tool for Java named <i>Cona</i>. We also extend the use of DBC and assertions to AOP. Aspects are used in the implementation of contracts, and contracts are used for enforcing assertions on aspects.

References

[1]

C. A. Constantinides and T. Skotiniotis. Reasoning about the classification of crosscutting concerns in Object-Oriented systems. InSecond International Workshop on Aspect-Oriented Software Development. German Informatics Society, February 21-22 2002.

[2]

E. Ernst and D. H. Lorenz. Aspects and polymorphism in AspectJ. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 150--157, Boston, Massachusetts, Mar. 17-21 2003. AOSD 2003, ACM Press.

Digital Library

[3]

R. Filman. Achieving ilities. In Workshop on Compositional Software Architectures, Monterey, California, 1998.

[4]

R. B. Findler and M. Felleisen. Contract soundness for object-oriented languages. In OOPSLA'01, pages 1--15, Tampa Bay, Florida, Oct. 14-18 2001.

Digital Library

[5]

M. Kersten and G. C. Murphy. Atlas: A case study in building a web-based learning environment using aspect-oriented programming. In OOPSLA'99, pages 340--352, Vancouver, BC, Canada, Oct. 18-22 1999.

Digital Library

[6]

M. Kölling and J. Rosenberg. Blue: Language Specification, 1997.

[7]

R. Kramer. iContract-The Java design by contract tool. In TOOLS 26 USA Conference, pages 295--307, Santa Barbara, CA, Aug. 3-7 1998. IEEE Computer Society.

Digital Library

[8]

C. Lopes, M. Lippert, and E. Hilsdale. Design by contract with aspect-oriented programming, 2002. U.S. Patent No. 06,442,750. Issued August 27,2002.

[9]

D. H. Lorenz and T. Skotiniotis. Contracts and aspects. Technical Report NU-CCIS-03-13, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Dec. 2003.

[10]

B. Meyer. Eiffel: The language. Object-Oriented Series. Prentice-Hall, 1991.

Digital Library

[11]

S. M. Omohundro. The S ather 1.0 specification. Technical Report TR-94-062, International Computer Science Institute, Berkeley, 1994.

[12]

T. Skotiniotis. Cona Home Page, 2004. http://www.ccs.neu.edu/home/skotthe/cona/.

[13]

T. Skotiniotis and D. H. Lorenz. Conaj: Generating contracts as aspects. Technical Report NU-CCIS-04-03, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2004.

[14]

T. Skotiniotis and D. H. Lorenz. From contracts to aspects and back. Technical Report NU-CCIS-04-05, College of Computer and Information Science, Northeastern University, Boston, MA 02115, Mar. 2004.

[15]

The AspectJ Team. AspectJ Development Tools, 2004. http://www.eclipse.org/aspectj/.

Cited By

Fredlund LMariño JPérez STamarit S(2019)Runtime Verification in Erlang by Using ContractsFunctional and Constraint Logic Programming10.1007/978-3-030-16202-3_4(56-73)Online publication date: 16-Mar-2019
https://doi.org/10.1007/978-3-030-16202-3_4
Molderez TJanssens D(2015)Modular Reasoning in Aspect-Oriented Languages from a Substitution PerspectiveTransactions on Aspect-Oriented Software Development XII10.1007/978-3-662-46734-3_1(3-59)Online publication date: 20-Mar-2015
https://doi.org/10.1007/978-3-662-46734-3_1
Rebêlo HLeavens GBagherzadeh MRajan HLima RZimmerman DCornélio MThüm TPeternier ABinder WBockisch CHaupt MCazzola W(2014)Modularizing crosscutting contracts with AspectJMLProceedings of the companion publication of the 13th international conference on Modularity10.1145/2584469.2584476(21-24)Online publication date: 22-Apr-2014
https://dl.acm.org/doi/10.1145/2584469.2584476
Show More Cited By

Index Terms

Cona: aspects for contracts and contracts for aspects
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages
      2. Language types
        Object oriented languages
    2. Software libraries and repositories

Recommendations

A quantitative analysis of aspects in the eCos kernel
Proceedings of the 2006 EuroSys conference

Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of Aspect-Oriented Programming (AOP) for the development of operating system kernels is still highly in dispute. While the AOP ...
A quantitative analysis of aspects in the eCos kernel
EuroSys '06: Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006

Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of Aspect-Oriented Programming (AOP) for the development of operating system kernels is still highly in dispute. While the AOP ...
Aspect-aware operating system development
AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development

The domain of operating systems has often been mentioned as an "ideal candidate" for the application of AOP; fundamental policies we find in these systems, such as synchronization or preemption, seem to be inherently cross-cutting in their ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

October 2004

348 pages

ISBN:1581138334

DOI:10.1145/1028664

Conference Chair:
John Vlissides
IBM Research
,
Program Chairs:
Doug Schmidt
Vanderbilt University
,
Geoff Cohen
Coherence Engine

Copyright © 2004 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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2004

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

OOPSLA04

Sponsor:

OOPSLA04: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference

October 24 - 28, 2004

BC, Vancouver, CANADA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
576
Total Downloads

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

Reflects downloads up to 06 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fredlund LMariño JPérez STamarit S(2019)Runtime Verification in Erlang by Using ContractsFunctional and Constraint Logic Programming10.1007/978-3-030-16202-3_4(56-73)Online publication date: 16-Mar-2019
https://doi.org/10.1007/978-3-030-16202-3_4
Molderez TJanssens D(2015)Modular Reasoning in Aspect-Oriented Languages from a Substitution PerspectiveTransactions on Aspect-Oriented Software Development XII10.1007/978-3-662-46734-3_1(3-59)Online publication date: 20-Mar-2015
https://doi.org/10.1007/978-3-662-46734-3_1
Rebêlo HLeavens GBagherzadeh MRajan HLima RZimmerman DCornélio MThüm TPeternier ABinder WBockisch CHaupt MCazzola W(2014)Modularizing crosscutting contracts with AspectJMLProceedings of the companion publication of the 13th international conference on Modularity10.1145/2584469.2584476(21-24)Online publication date: 22-Apr-2014
https://dl.acm.org/doi/10.1145/2584469.2584476
Rebêlo HLeavens GBagherzadeh MRajan HLima RZimmerman DCornélio MThüm TPeternier ABinder WErnst EHirschfeld R(2014)AspectJMLProceedings of the 13th international conference on Modularity10.1145/2577080.2577084(157-168)Online publication date: 22-Apr-2014
https://dl.acm.org/doi/10.1145/2577080.2577084
Lasseter JCipriano J(2013)Design pattern-based extension of class hierarchies to support runtime invariant checksProceedings of the 16th international conference on Fundamental Approaches to Software Engineering10.1007/978-3-642-37057-1_12(163-178)Online publication date: 16-Mar-2013
https://dl.acm.org/doi/10.1007/978-3-642-37057-1_12
Bagherzadeh MLeavens GDyer RRajan H(2011)Applying translucid contracts for modular reasoning about aspect and object oriented eventsProceedings of the 10th international workshop on Foundations of aspect-oriented languages10.1145/1960510.1960517(31-35)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960510.1960517
Bagherzadeh MRajan HLeavens GMooney SBorba PChiba S(2011)Translucid contractsProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960293(141-152)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960293
Camilleri ACoulson GBlair L(2009)CIF: A Framework for Managing Integrity in Aspect-Oriented CompositionObjects, Components, Models and Patterns10.1007/978-3-642-02571-6_3(18-36)Online publication date: 2009
https://doi.org/10.1007/978-3-642-02571-6_3
Ubayashi NPiao JShinotsuka STamai T(2008)Contract-Based Verification for Aspect-Oriented RefactoringProceedings of the 2008 International Conference on Software Testing, Verification, and Validation10.1109/ICST.2008.36(180-189)Online publication date: 9-Apr-2008
https://dl.acm.org/doi/10.1109/ICST.2008.36
Wen JYing SLi HJia X(2008)Design and implementation of DBC based on dynamic AOPWuhan University Journal of Natural Sciences10.1007/s11859-008-0207-013:2(159-164)Online publication date: 8-Jul-2008
https://doi.org/10.1007/s11859-008-0207-0
Show More Cited By

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