Incremental analysis of interference among aspects

FOAL'08 - Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2008, Pages 29-38

  Katz, Emilia ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Aspects; Detection; Interference; Model checking; Specification

Indexed keywords

LINGUISTICS; SOFTWARE DESIGN; SPECIFICATION LANGUAGES; SPECIFICATIONS; TECHNICAL PRESENTATIONS; WEAVING;

AND DETECTIONS; ASPECTS; DETECTION; GENERIC MODELS; INCREMENTAL ANALYSIS; INTERFERENCE; PROOF STRATEGIES;

MODEL CHECKING;

EID: 57449103400     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1394496.1394500     Document Type: Conference Paper

References (20)

1. D. Balzarotti, A. D'Ursi, L. Cavallaro, and M. Monga. Slicing AspectJ woven code. In Proc. of Foundations of Aspect Languages Workshop (FOAL05), 2005.
2. L. Bergmans and M. Aksit. Composing crosscutting concerns using composition filters. CACM, 44:51-57, 2001.
3. E. M. Clarke, Jr., O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
4. R. Douence, P. Fradet, and M. Sudholt. Composition, reuse, and interaction analysis of stateful aspects. In Proc. of 3th Intl. Conf. on Aspect-Oriented Software Development (AOSD'04), pages 141-150. ACM Press, 2004.
5. M. Goldman and S. Katz. MAVEN: Modular aspect verification. In Proc. of TACAS 2007, volume 4424 of LNCS, pages 308-322, 2007.
6. J. Hatcliff and M. Dwyer. Using the Bandera Tool Set to model-check properties of concurrent Java software. In K. G. Larsen and M. Nielsen, editors, Proc. 12th Int. Conf. on Concurrency Theory, CONCUR'01, volume 2154 of LNCS, pages 39-58. Springer-Verlag, 2001.
7. W. Havinga, I. Nagy, L. Bergmans, and M. Aksit. A graph-based approach to modeling and detecting composition conflicts related to introductions. In AOSD '07, pages 85-95. ACM Press, 2007.
8. E. Katz and S. Katz. Verifying scenario-based aspect specifications. In Proc. Formal Methods: International Symposium of Formal Methods Europe (FM05), volume 3582 of LNCS, pages 432-447. Springer, 2005.
9. S. Katz. Aspect categories and classes of temporal properties. Transactions on Aspect Oriented Software Development (TAOSD), 1:106-134, 2006. LNCS 3880.
10. S. Katz and M. Sihman. Aspect validation using model checking. In Proc. of International Symposium on Verification, LNCS 2772, pages 389-411, 2003.
11. R. Khatchadourian and N. Soundarajan. Rely-guarantee approach to reasoning about aspect-oriented programs. In Proc. of Software Engineering Properties of Languages and Aspect Technologies SPLAT'07, 2007.
12. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of Aspect J. In Proc. ECOOP 2001, LNCS 2072, pages 327-353, Jun 2001. http://aspect j.org.
13. J. Kienzle and S. Gélineau. AO challenge - implementing the ACID properties for transactional objects. In Proc. 5th International Conference on Aspect-Oriented Software Development (AOSD 2006), pages 202-213. ACM, 2006.
14. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In Proc. SIGSOFT Conference on Foundations of Software Engineering, FSE'04, pages 137-146. ACM, 2004.
15. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1991.
16. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6:319-340, 1976.
17. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Proc. of International Conference on Foundations of Software Engineering (FSE04), 2004.
18. M. Storzer and J. Krinke. Interference analysis for Aspect J. In Proc. of Foundations of Aspect Languages Workshop (FOAL03), 2003.
19. Toll system demonstrator. http://www.aosd-europe.net (under the "Industry" section).
20. J. Zhao. Slicing aspect-oriented software. In IEEE International Workshop on Programming Comprehension, pages 251-260, 2002.