From aspectual requirements to proof obligations for aspect-oriented systems

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 48-57

  Katz, Shmuel ^a,b   Rashid, Awais ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT ORIENTED PROGRAMMING; ASPECT ORIENTED SOFTWARE DEVELOPMENT (AOSD); PROOF OBLIGATION; STANDARD LINEAR TEMPORAL LOGIC;

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; FORMAL LOGIC; FUNCTIONS; JAVA PROGRAMMING LANGUAGE; LIFE CYCLE; LINEAR EQUATIONS; SYSTEMS ANALYSIS;

SOFTWARE ENGINEERING;

EID: 17044391888     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2004.1335663     Document Type: Conference Paper

References (30)

1. AOSD, http://aosd.net, 2004
2. AspectJ, http://www.eclipse.org/aspectj/, 2004
3. L. Bergmans and M. Aksit, "Composing Crosscutting Concerns using Composition Filters", CACM, 44(10), pp. 51-57, 2001.
4. L. Chung, B. Nixon, E. Yu, and J. Mylopoulos, Non-Functional Requirements in Sofiware Engineering: Kluwer, 2000.
5. E. Clarke, O. Grumberg, and D. Peled, Model Checking: MIT Press, 1999.
6. S. Clarke, W. Harrison, H. Ossher, and P. L. Tarr, "Subject-Oriented Design: Towards Improved Alignment of Requirements, Design, and Code", Proc. OOPSLA, 1999, ACM, pp. 325-339.
7. S. Clarke and R. J. Walker, "Composition Patterns: An Approach to Designing Reusable Aspects", Proc. ICSE, 2001.
8. S. Clarke and R. J. Walker, "Towards a Standard Design Language for AOSD", Proc. AOSD, 2002, ACM, pp. 113-119.
9. E. W. Dijkstra, A Discipline of Programming. Englewood Cliffs, NJ: Prentice Hall, 1976.
10. EarlyAspects, "Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design", http://early-aspects.net, 2004.
11. T. Elrad, R. Filman, and A. Bader (Eds.), "Theme Section on Aspect-Oriented Programming", CACM, 44(10), 2001.
12. A. Finkelstein and I. Sommerville, "The Viewpoints FAQ." BCS/IEE Software Engineering Journal, 11(1), 1996.
13. J. Grundy, "Aspect-Oriented Requirements Engineering for Component-based Software Systems", 4th IEEE Int'l Symp. on RE, 1999, IEEE Computer Society Press, pp. 84-91.
14. J. Grundy, "Multi-perspective specification, design and implementation of software components using aspects", International Journal of Software Engineering and Knowledge Engineering, 20(6), 2000.
15. I. Jacobson, Object-Oriented Software Engineering - a Use Case Driven Approach: Addison-Wesley, 1992.
16. JBoss AOP Webpage, from http://www.jboss.org/,2004.
17. M. Katara and S. Katz, "Architectural Views of Aspects", Proc. AOSD, 2003, ACM, pp. 1-10.
18. G. Kiczales, J.'Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin, "Aspect-Oriented Programming", Proc. ECOOP, 1997, Springer-Verlag, LNCS 1241, pp. 220-242.
19. A. Lamsweerde, "Goal-Oriented Requirements Engineering: A Guided Tour", 5th Int'l. Symp. on Requirements Engineering, 2001, IEEE Computer Society Press, pp. 249-261.
20. K. J. Lieberherr, D. Orleans, and J. Ovlinger, "Aspect-Oriented Programming with Adaptive Methods", CACM, 44(10), pp. 39-41, 2001.
21. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification: Springer-Verlag, 1991.
22. R. Nelkin and N. Francez, "Automatic Translation of Natural Language System Specifications into Temporal Logic", Proc. CAV, 1997.
23. R. Pawlak, L. Seinturier, L. Duchien, and G. Florin, "JAC: A Flexible Solution for Aspect-Oriented Programming in Java", Proc. Reflection Conf., 2001, Springer-Verlag, LNCS 2192, pp. 1-25.
24. A. Rashid, "A Hybrid Approach to Separation of Concerns: The Story of SADES", Proc. Reflection Conf., 2001, Springer-Verlag, LNCS 2192, pp. 231-249.
25. A. Rashid, A. Moreira, and J. Araujo, "Modularisation and Composition of Aspectual Requirements", Proc. AOSD, 2003, ACM, pp. 11-20.
26. A. Rashid, P. Sawyer, A. Moreira, and J. Araujo, "Early Aspects: A Model for Aspect-Oriented Requirements Engineering", Proc. RE, 2002, IEEE Computer Society Press, pp. 199-202.
27. I. Sommerville and P. Sawyer, Requirements Engineering - A Good Practice Guide: John Wiley and Sons, 1997.
28. I. Sommerville, P. Sawyer, and S. Viller, "Managing Process Inconsistency using Viewpoints", IEEE Trans. on Software Engineering, 25 (6), 1999.
29. S. M. Sutton and I. Rouvellou, "Modeling of Software Concerns in Cosmos", Proc. AOSD, 2002, ACM, pp. 127-133.
30. P. L. Tarr, H. Ossher, W. H. Harrison, and S. M. Sutton, "N Degrees of Separation: Multi-Dimensional Separation of Concerns", Proc. ICSE, 1999, ACM, pp. 107-119.