research-article

Enforcing behavioral constraints in evolving aspect-oriented programs

Authors:

Raffi Khatchadourian,

Neelam SoundarajanAuthors Info & Claims

FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages

Pages 19 - 28

https://doi.org/10.1145/1394496.1394499

Published: 01 April 2008 Publication History

Abstract

Reasoning, specification, and verification of Aspect-Oriented (AO) programs presents unique challenges especially as such programs evolve over time. Components, base-code and aspects alike, may be easily added, removed, interchanged, or presently unavailable at unpredictable frequencies. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed. It is well known, however, that modular reasoning about AO programs is difficult. In this paper, we present our ongoing work in constructing a relyguarantee style reasoning system for the Aspect-Oriented Programming (AOP) paradigm, adopting a trace-based approach to deal with the plug-n-play nature inherent to these programs, thus easing AOP evolution.

References

[1]

J. Aldrich. Open modules: Modular reasoning about advice. In Eur. Conf. Object-Oriented Programming, 2005.

Digital Library

[2]

E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.

Digital Library

[3]

C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In Foundations of Aspect-Oriented Languages, 2002.

[4]

C. Clifton and G. Leavens. MiniMAO: Investigating the semantics of proceed. In Foundations of Aspect-Oriented Languages, 2005.

[5]

C. Clifton, G. Leavens, and J. Noble. Mao: Ownership and effects for more effective reasoning about aspects. In Eur. Conf. Object-Oriented Programming, 2007.

Digital Library

[6]

M. E. Conway. Design of a separable transition-diagram compiler. Commun. ACM, 1963.

Digital Library

[7]

D. Dantas and D. Walker. Harmless advice. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006.

Digital Library

[8]

X. Deng, M. Dwyer, J. Hatcliff, and M. Mizuno. SyncGen: An AOP framework for synchronization. In Int. Conf. on Tools and Alg. for Construction and Analysis of Sys., 2004.

[9]

B. Devereux. Compositional reasoning about aspects using alternating-time logic. In Foundations of Aspect-Oriented Languages, 2003.

[10]

R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In Advanced Separation of Concerns, 2000.

[11]

M. Goldman and S. Katz. Modular generic verification of LTL properties for aspects. In Foundations of Aspect-Oriented Languages, 2006.

[12]

W. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari, Y. Cai, and H. Rajan. Modular software design with crosscutting interfaces. IEEE Software, 2006.

Digital Library

[13]

S. Gudmundson and G. Kiczales. Addressing practical software development issues in AspectJ with a pointcut interface. In Advanced Separation of Concerns, 2001.

[14]

T. A. Henzinger, S. Qadeer, and S. K. Rajamani. You assume, we guarantee: Methodology and case studies. In International Conference on Computer Aided Verification, 1998.

Digital Library

[15]

C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

Digital Library

[16]

D. Hoffman and R. Snodgrass. Trace specifications: Methodology and models. IEEE Transactions on Software Engineering, 1988.

Digital Library

[17]

R. Janicki and E. Sekerinski. Foundations of the trace assertion method of module interface specification. IEEE Transactions on Software Engineering, 2001.

Digital Library

[18]

C. B. Jones. Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 1983.

Digital Library

[19]

R. Khatchadourian and N. Soundarajan. Rely-guarantee approach to reasoning about aspect-oriented programs. In Software Engineering Properties of Languages and Aspect Technologies, 2007.

Digital Library

[20]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of aspectj. In Eur. Conf. Object-Oriented Programming, 2001.

Digital Library

[21]

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect oriented programming. In Eur. Conf. Object-Oriented Programming, 1997.

[22]

G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In International Conference on Software Engineering, 2005.

Digital Library

[23]

S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2004.

Digital Library

[24]

R. Laddad. AspectJ in Action. Manning, 2003.

[25]

K. Lieberherr, D. Lorenz, and J. Ovlinger. Aspectual collaborations: Combining modules and aspects. The Computer Journal, 2003.

[26]

M. Lippert and C. Lopes. A study on exception detection and handling using AOP. In International Conference on Software Engineering, 2002.

Digital Library

[27]

R. Lopez-Herrejon, D. Batory, and C. Lengauer. A disciplined approach to aspect composition. In ACM SIGPLAN symposium on partial evaluation and semantics-based program manipulation, 2006.

Digital Library

[28]

J. Misra and K. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 1981.

Digital Library

[29]

K. Ostermann. Aspects and modular reasoning in nonmonotonic logic. In Foundations of Aspect-Oriented Languages, 2007.

Digital Library

[30]

K. Ostermann. Reasoning about aspects with common sense. In Int. Conf. Aspect-Oriented Software Development, 2008.

Digital Library

[31]

K. Ostermann, M. Mezini, and C. Bockisch. Expressive pointcuts for increased modularity. In Eur. Conf. Object-Oriented Programming, 2005.

Digital Library

[32]

S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 1976.

Digital Library

[33]

A. Rashid and R. Chitchyan. Persistence as an aspect. In Int. Conf. Aspect-Oriented Software Development, 2003.

Digital Library

[34]

M. Sihman and S. Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 2003.

[35]

N. Soundarajan, R. Khatchadourian, and J. Dovland. Reasoning about the behavior of aspect-oriented programs. In IASTED Int. Conf. Softw. Eng. and Apps., 2007.

Digital Library

[36]

F. Steimann. The paradoxical success of aspect-oriented programming. In Conference on Object-Oriented Programming Systems, Languages, and Applications, 2006.

Digital Library

[37]

K. Sullivan, W. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari, and H. Rajan. Information hiding interfaces for aspect-oriented design. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005.

Digital Library

[38]

J. Xu, H. Rajan, and K. Sullivan. Aspect reasoning by reduction to implicit invocation. In Foundations of Aspect-Oriented Languages, 2004.

[39]

Q. Xu, W. de Roever, and J. He. Rely-guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing, 1997.

Cited By

Bagherzadeh MFireman NShawesh AKhatchadourian R(2020)Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differencesProceedings of the ACM on Programming Languages10.1145/34282824:OOPSLA(1-32)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428282
Khatchadourian RRashid AMasuhara HWatanabe T(2017)Detecting broken pointcuts using structural commonality and degree of interestScience of Computer Programming10.1016/j.scico.2017.06.011150:C(56-74)Online publication date: 15-Dec-2017
https://dl.acm.org/doi/10.1016/j.scico.2017.06.011
Bagherzadeh MDyer RFernando RSánchez JRajan H(2016)Modular Reasoning in the Presence of Event SubtypingTransactions on Modularity and Composition I10.1007/978-3-319-46969-0_5(167-223)Online publication date: 30-Sep-2016
https://doi.org/10.1007/978-3-319-46969-0_5
Show More Cited By

Index Terms

Enforcing behavioral constraints in evolving aspect-oriented programs
1. Software and its engineering

Recommendations

Aspect-oriented programming and modular reasoning
ICSE '05: Proceedings of the 27th international conference on Software engineering

Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined once the complete configuration of modules in the system is known. While ...
A Categorical Modeling Approach of Aspect-Oriented Systems
TASE '11: Proceedings of the 2011 Fifth International Conference on Theoretical Aspects of Software Engineering

Aspect Oriented (AO) Technology is a post-object oriented technology emerged to overcome limitations of Object Oriented (OO) Technology, such as the cross-cutting concern problem. Aspect Oriented Programming (AOP) also offers modularity and traceability ...
Cooperative aspect-oriented programming

Aspect-oriented programming (AOP) seeks to improve software modularity via the separation of cross-cutting concerns. AOP proponents often advocate a development strategy where programmers write the main application (base code), ignoring cross-cutting ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

FOAL '08: Proceedings of the 7th workshop on Foundations of aspect-oriented languages

April 2008

56 pages

ISBN:9781605581101

DOI:10.1145/1394496

Program Chair:
Curt Clifton
Rose-Hulman Institute of Technology, Terre Haute, Indiana

Copyright © 2008 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AOSD08

AOSD08: 7th Annual Aspect-Oriented Software Development Conference

April 1, 2008

Brussels, Belgium

Acceptance Rates

Overall Acceptance Rate 5 of 6 submissions, 83%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
211
Total Downloads

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

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bagherzadeh MFireman NShawesh AKhatchadourian R(2020)Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differencesProceedings of the ACM on Programming Languages10.1145/34282824:OOPSLA(1-32)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428282
Khatchadourian RRashid AMasuhara HWatanabe T(2017)Detecting broken pointcuts using structural commonality and degree of interestScience of Computer Programming10.1016/j.scico.2017.06.011150:C(56-74)Online publication date: 15-Dec-2017
https://dl.acm.org/doi/10.1016/j.scico.2017.06.011
Bagherzadeh MDyer RFernando RSánchez JRajan H(2016)Modular Reasoning in the Presence of Event SubtypingTransactions on Modularity and Composition I10.1007/978-3-319-46969-0_5(167-223)Online publication date: 30-Sep-2016
https://doi.org/10.1007/978-3-319-46969-0_5
Bagherzadeh MDyer RFernando RSánchez JRajan HFrance RGhosh SLeavens G(2015)Modular reasoning in the presence of event subtypingProceedings of the 14th International Conference on Modularity10.1145/2724525.2724569(117-132)Online publication date: 16-Mar-2015
https://dl.acm.org/doi/10.1145/2724525.2724569
Khatchadourian RRashid AMasuhara HWatanabe TCohen MGrunske LWhalen M(2015)Detecting broken pointcuts using structural commonality and degree of interestProceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2015.80(641-646)Online publication date: 9-Nov-2015
https://dl.acm.org/doi/10.1109/ASE.2015.80
Ebnenasir A(2015)Incremental Realization of Safety Requirements: Non-determinism vs. ModularityFundamentals of Software Engineering10.1007/978-3-319-24644-4_11(159-175)Online publication date: 12-Nov-2015
https://doi.org/10.1007/978-3-319-24644-4_11
Wu MLv J(2014)Incremental Composition of Dynamic ProgramsProceedings of International Conference on Computer Science and Information Technology10.1007/978-81-322-1759-6_99(871-878)Online publication date: 2014
https://doi.org/10.1007/978-81-322-1759-6_99
Disenfeld CMasuhara HChiba SUbayashi N(2013)User-friendly event and aspect verificationProceedings of the 12th annual international conference companion on Aspect-oriented software development10.1145/2457392.2457407(33-34)Online publication date: 24-Mar-2013
https://dl.acm.org/doi/10.1145/2457392.2457407
Bagherzadeh MRajan HDarvish AMasuhara HKienzle JBaniassad ELorenz D(2013)On exceptions, events and observer chainsProceedings of the 12th annual international conference on Aspect-oriented software development10.1145/2451436.2451458(185-196)Online publication date: 24-Mar-2013
https://dl.acm.org/doi/10.1145/2451436.2451458
Przybylek A(2013)Quasi-controlled Experimentations on the Impact of AOP on Software ComprehensibilityProceedings of the 2013 17th European Conference on Software Maintenance and Reengineering10.1109/CSMR.2013.34(253-262)Online publication date: 5-Mar-2013
https://dl.acm.org/doi/10.1109/CSMR.2013.34
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.

Media

Figures

Other

Tables

View Table of Contents