REFERENCES

1. Aldawud, O., Bader, A., and Elrad, T. 2002. Weaving with statecharts. In Workshop on Aspect-Oriented Modeling with UML (AOSD), (Enschede, The Netherlands). http://lglwww.epfl.ch/workshops/aosd-uml/Allsubs/aldawud.pdf.

2. Andrews, J. H. 2001. Process-algebraic foundations of aspect-oriented programming. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. LNCS, vol. 2192. Springer-Verlag, Berlin, 187209.

3. Aspect-Oriented Modeling 2002. Workshop on Aspect-Oriented Modeling with UML, (AOSD), (Enschede, The Netherlands). http://lglwww.epfl.ch/workshops/aosd-uml/index.html.

4. AspectC web page. http://www.cs.ubc.ca/labs/spl/projects/aspectc.html.

5. AspectJ project. http://www.eclipse.org/aspectj/.

6. Baker, J. and Hsieh, W. 2002. Runtime aspect weaving through metaprogramming. In 1st Int'l Conf. Aspect-Oriented Software Development (AOSD), (Enschede, The Netherlands), G. Kiczales, Ed. ACM, 8698.

7. Baniassad, E. and Clarke, S. 2004. Theme: An approach for aspect-oriented analysis and design. In 26th Int'l Conf. Software Engineering (ICSE), (Edinburgh, Scotland). IEEE, 158167.

8. Bergmans, L. and Akit, M. 2001. Comm. ACM 44, 10 (Oct.), 5157.

9. Blair, G. S., Coulson, G., Andersen, A., Blair, L., Clarke, M., Costa, F., Duran-Limon, H., Fitzpatrick, T., Johnston, L., Moreira, R., Parlavantzas, N., and Saikoski, K. 2001. The design and implementation of OpenORB v2. IEEE DS Online 2, 6.

10. Blair, L. and Monga, M. 2003. Reasoning on AspectJ programmes. In 3rd German Informatics Society Workshop on Aspect-Oriented Software Development (AOSD-GI), (Essen, Germany). http://www.cs.uni-essen.de/dawis/conferences/GI_AOSD_2003/papers/Blair_Monga.pdf.

11. Böllert, K. 1999. On weaving aspects. In Int'l Workshop on Aspect-Oriented Programming (ECOOP), (Lisbon). http://trese.cs.utwente.nl/aop-ecoop99/papers/boellert.pdf.

12. Bonér, J. 2004. What are the key issues for commercial AOP usehow does AspectWerkz address them? In 3rd Int'l Conf. Aspect-Oriented Software Development (AOSD), (Lancaster, UK), K. Lieberherr, Ed. ACM, 56.

13. Boyer, F., Bouchenak, S., Palma, N. D., and Hagimont, D. 2001. Aspects can be efficient: Experiences with replication and protection. Tech. Rep. 4651, INRIA.

14. Budd, T. A. 1994. Multiparadigm Programming in Leda. Addison-Wesley, Reading, Massachusetts.

15. Calder, M., Kolberg, M., Magill, E. H., and Reiff-Marganiec, S. 2003. Feature interaction: A critical review and considered forecast. Computer Networks: The Int'l Journal of Computer and Telecommunications Networking 41, 1, 115141.

16. Calder, M. and Magill, E. H., Eds. 2000. Feature Interactions in Telecommunications and Software Systems VI. IOS Press, Amsterdam.

17. Castro, J. F., Mylopoulos, J., Alencar, F.M. R., and Cysneiros Filho, G.A. 2001. Integrating organizational requirements and object-oriented modeling. In 5th Int'l Symp. Requirements Engineering (RE), (Toronto). IEEE, 146153.

18. Chiba, S. 2000. Load-time structural reflection in Java. In ECOOP 2000Object-Oriented Programming: 14th European Conference, (Cannes, France), E. Bertino, Ed. LNCS, vol. 1850. Springer-Verlag, Berlin, 313336.

19. Chitchyan, R., Sommerville, I., and Rashid, A. 2002. An analysis of design approaches for crosscutting concerns. In Workshop on Identifying, Separating and Verifying Concerns in the Design (AOSD), (Enschede, The Netherlands). http://www.iit.edu/~akkawif/workshops/AOSD2002/03-chitchyan.pdf.

20. Clarke, S., Harrison, W., Ossher, H., and Tarr, P. 1999. Subject-oriented design: Towards improved alignment of requirements, design and code. In 14th Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Denver). ACM, 325339.

21. Clarke, S. and Walker, R. J. 2001. Composition patterns: An approach to designing reusable aspects. In 23rd Int'l Conf. Software Engineering (ICSE), (Toronto). IEEE, 514.

22. Clarke, S. and Walker, R. J. 2002. Towards a standard design language for AOSD. In 1st Int'l Conf. Aspect-Oriented Software Development (AOSD), (Enschede, The Netherlands), G. Kiczales, Ed. ACM, 113119.

23. Coplien, J. O. 1999. Multi-paradigm design for C++. Addison-Wesley, Reading, Massachusetts.

24. Corbett, J. C., Dwyer, M. B., Hatcliff, J., Laubach, S., Pasareanu, C. S., Robby, and Zheng, H. 2000. Bandera: Extracting finite-state models from Java source code. In 22nd Int'l Conf. Software Engineering (ICSE), (Limerick, Ireland). ACM, 439448.

25. Dardenne, A., van Lamsweerde, A., and Fickas, S. 1993. Goal-directed requirements acquisition. In Selected Papers of the 6th Int'l Workshop on Software Specification and Design. Science of Computer Programming 20(1-2), 350.

26. De Meuter, W. 1997. Monads as a theoretical foundation for AOP. In Workshop on Aspect-Oriented Programming (ECOOP), (Jyväskylä, Finland). http://trese.cs.utwente.nl/aop-ecoop97/aop_papers/meuter.ps.

27. De Volder, K., Brichau, J., Mens, K., and D'Hondt, T. Logic meta-programming, a framework for domain-specific aspect languages. http://www.cs.ubc.ca/~kdvolder/binaries/cacm-aop-paper.pdf.

28. Douence, R., Fradet, P., and Südholt, M. 2002. A framework for the detection and resolution of aspect interactions. In 1st ACM Conf. Generative Programming and Component Engineering (GPCE), (Pittsburgh), D. S. Batory, C. Consel, and W. Taha, Eds. LNCS, vol. 2487. Springer-Verlag, Berlin, 173188.

29. Douence, R., Motelet, O., and Südholt, M. 2001. A formal definition of crosscuts. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. LNCS, vol. 2192. Springer-Verlag, Berlin, 170186.

30. Early Aspects 2002. Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design (AOSD) 2002. (Enschede, The Netherlands). http://trese.cs.utwente.nl/AOSD-EarlyAspectsWS/Papers/AllEarlyAspectsPapers.pdf.

31. Feature Interactions 2003. Feature Interactions in Telecommunication and Software Systems, 7th Int'l Workshop, (Ottowa), http://www.site.uottawa.ca/fiw03/.

32. Finkelstein, A. and Sommerville, I. 1996. The viewpoints FAQ. BCS/IEE Software Engineering Journal 11, 1, 24.

33. Fradet, P. and Südholt, M. 1998. AOP: Towards a generic framework using program transformation and analysis. In Workshop on Aspect-Oriented Programming (ECOOP), (Brussels). ftp://ftp.emn.fr/pub/objet/publications/ecoop98/aop.ps.gz.

34. Grundy, J. 1999. Aspect-oriented requirements engineering for component-based software systems. In 4th Int'l Symp. Requirements Engineering (Limerick, Ireland). IEEE, 8491.

35. Grundy, J. 1999. Supporting aspect-oriented component-based systems engineering. In 11th Int'l Conf. Software Engineering and Knowledge Engineering (SEKE), (Kaiserslautern, Germany). Knowledge Systems Institute, Skokie, Illinois, 388395.

36. Grundy, J. 2000. Multi-perspective specification, design and implementation of software components using aspects. Int'l Journal of Software Engineering and Knowledge Engineering 20, 6, 713734.

37. Hall, J.,Jackson, M., Laney, R., Nuseibeh, B., and Rapanotti, L. 2002. Relating software requirements and architectures using problem frames. In Joint Int'l Conf. Requirements Engineering (RE), (Essen, Germany). IEEE, 137144.

38. Hall, R. 2000. Feature interactions in electronic mail. In Feature Interactions in Telecommunications and Software Systems VI, M. Calder and E. Magill, Eds. IOS Press, Amsterdam, 6782.

39. Herrero, J. L., Sánchez, F., Lucio, F., and Toro, M. 2000. Introducing separation of aspects at design time. In Workshop on Aspects and Dimensions of Concerns (ECOOP), (Cannes, France). http://trese.cs.utwente.nl/Workshops/adc2000/papers/Herrero.pdf.

40. Hirschfeld, R. AspectS home page. http://www.prakinf.tu-ilmenau.de/~hirsch/Projects/Squeak/AspectS/.

41. Ho, W. M., Pennaneach, F., Jézéquel, J.-M., and Plouzeau, N. 2000. Aspect-oriented design with the UML. In Workshop on Multi-Dimensional Separation of Concerns in Software Engineering (ICSE), (Limerick, Ireland). http://www.research.ibm.com/hyperspace/workshops/icse2000/Papers/ho.pdf.

42. IBM Research. Hyperspaces. http://www.research.ibm.com/hyperspace/.

43. Jackson, M. 2000. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley, Reading, Massachusetts.

44. JBoss . Aspect-Oriented Programming. http://www.jboss.org/developers/projects/jboss/aop.

45. Katara, M. and Mikkonen, T. 2001. Aspect-oriented specification architectures for distributed real-time systems. In 7th Int'l Conf. Engineering of Complex Computer Systems (ICECCS), (Skövde, Sweden). IEEE, 180190.

46. Katara, M. and Katz, S. 2003. Architectural views of aspects. In 2nd Int'l Conf. Aspect-Oriented Software Development (AOSD), (Boston), M. Akit, Ed. 47. Katz, S. and Gil, Y. 1999. Aspects and superimpositions. In Int'l Workshop on Aspect-Oriented Programming (ECOOP), (Lisbon). http://trese.cs.utwente.nl/aop-ecoop99/papers/katz.pdf.

48. Katz, S. and Rashid, A. 2004. From aspectual requirements to proof obligations for aspect-oriented systems. In 12th IEEE Int'l Conf. Requirements Engineering (RE), (Kyoto). IEEE (To Appear).

49. Kenens, P., Michiels, S., Matthijs, F., Robben, B., Truyen, E., Vanhaute, B., Joosen, W., and Verbaeten, P. 1998. An AOP case with static and dynamic aspects. In Workshop on Aspect-Oriented Programming (ECOOP), (Brussels). http://trese.cs.utwente.nl/aop-ecoop98/papers/Michiels.pdf.

50. Kiczales, G. 1992. Towards a new model of abstraction in software engineering. In Int'l Workshop on New Models in Software Architecture, Reflection and Meta-Level Architecture, (Tokyo). http://www.parc.xerox.com/spl/groups/eca/pubs/papers/Kiczales-IMSA92/for-web.pdf.

51. Kiczales, G., des Rivieres, J., and Bobrow, D. G. 1991. The Art of the Metaobject Protocol. The MIT Press, Cambridge, Massachusetts.

52. Kimbler, K. and Velthuijsen, H. 1995. Feature interaction benchmark (discussion paper for the panel on benchmarking). In 3rd Int'l Workshop on Feature Interactions in Telecommunications Software Systems, (Kyoto). http://www.docs.uu.se/docs/fi/benchmark.ps.gz.

53. Klaeren, H., Pulvermueller, E., Rashid, A., and Speck, A. 2000. Aspect composition applying the design by contract principle. In 2nd Int'l Symp. Generative and Component-Based Software Engineering (GCSE). ftp://ftp.emn.fr/pub/objet/publications/ecoop98/aop.ps.gz, vol. 2177. Springer-Verlag, Berlin, 5769.

54. Kniesel, G., Costanza, P., and Austermann, M. 2001. JManglerA framework for load-time transformation of Java class files. In 1st Int'l Workshop on Source Code Analysis and Manipulation (SCAM), (Florence, Italy). IEEE, 98108.

55. Kon, F., Costa, F., Blair, G. S., and Campbell, R. 2002. The case for reflective middleware: Building middleware that is flexible, reconfigurable, and yet simple to use. Comm. ACM 45, 6, 3338.

56. Lämmel, R. 1999. Declarative aspect-oriented programming. In Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). ACM, 131146.

57. Lamsweerde, A. 2001. Goal-oriented requirements engineering: A guided tour. In 5th Int'l Symp. Requirements Engineering (RE), (Toronto). IEEE, 249261.

58. Lieberherr, K., Orleans, D., and Ovlinger, J. 2001. Aspect-oriented programming with adaptive methods. Comm. ACM 44, 10 (Oct.), 3941.

59. Mousavi, M., Russello, G., Chaudron, M., Reniers, M. A., Basten, T., Corsaro, A., Shukla, S., Gupta, R., and Schmid, D. 2002. Aspects + GAMMA = AspectGAMMA: A formal framework for aspect-oriented specification. In Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design (AOSD), (Enschede, The Netherlands). http://trese.cs.utwente.nl/AOSD-EarlyAspectsWS/Papers/AllEarlyAspectsPapers.pdf.

60. Orleans, D. and Lieberherr, K. 2001. DJ: Dynamic adaptive programming in Java. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. ftp://ftp.emn.fr/pub/objet/publications/ecoop98/aop.ps.gz, vol. 2192. Springer-Verlag, Berlin, 7380.

61. Ossher, H. and Tarr, P. 2001. Hyper/J: Multi-dimensional separation of concerns for Java. In 23rd Int'l Conf. Software Engineering (ICSE), (Toronto). IEEE, 729730.

62. Ossher, H. and Tarr, P. 2001. Multi-dimensional separation of concerns and the hyperspace approach. In Software Architectures and Component Technology, M. Akit, Ed. Kluwer Academic Publishers, Boston, 293323.

63. Pang, J. and Blair, L. 2002. An adaptive run time manager for the dynamic integration and interaction resolution of features. In 2nd Int'l Workshop on Aspect Oriented Programming for Distributed Computing Systems (ICDCS), Vol. 2 (Vienna), M. Akit and Z. Choukair, Eds. 64. Pawlak, R., Seinturier, L., Duchien, L., and Florin, G. 2001. JAC: A flexible solution for aspect-oriented programming in Java. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. ftp://ftp.emn.fr/pub/objet/publications/ecoop98/aop.ps.gz, vol. 2192. Springer-Verlag, Berlin, 124.

65. Popovici, A., Gross, T., and Alonso, G. 2002. Dynamic weaving for aspect-oriented programming. In 1st Int'l Conf. Aspect-Oriented Software Development (AOSD), (Enschede, The Netherlands), G. Kiczales, Ed. ACM, 141147.

66. Rashid, A. 2001. A hybrid approach to separation of concerns: The story of SADES. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. LNCS, vol. 2192. Springer-Verlag, Berlin, 231249.

67. Rashid, A. 2002. Weaving aspects in a persistent environment. ACM SIGPLAN Notices 37, 2 (Feb.), 3644.

68. Rashid, A., Moreira, A., and Araújo, J. 2003. Modularisation and composition of aspectual requirements. In 2nd Int'l Conf. Aspect-Oriented Software Development (AOSD), (Boston), M. Akit, Ed. 69. Rashid, A. and Sawyer, P. 2001. Aspect-orientation and database systems: An effective customisation approach. IEE ProceedingsSoftware 148, 5 (Oct.), 156164.

70. Rashid, A., Sawyer, P., Moreira, A., and Araujo, J. 2002. Early aspects: A model for aspect-oriented requirements engineering. In Joint Int'l Conf. Requirements Engineering (RE), (Essen, Germany). IEEE, 199202.

71. Santander, V. and Castro, J. 2002. Deriving use cases from organizational modeling. In Joint Int'l Conf. Requirements Engineering (RE), (Essen, Germany). IEEE, 3239.

72. Schmerl, B. and Garlan, D . 2002. Exploiting architectural design knowledge to support self-repairing systems. In 14th Int'l Conf. Software Engineering and Knowledge Engineering (SEKE), (Ischia, Italy). ACM, 241248.

73. Schult, W. and Polze, A. 2002. Aspect-oriented programming with C# and .NET. In Int'l Symp. Object-Oriented Real-time Distributed Computing (ISORC), (Washington, D.C.). IEEE, 241248.

74. Sihman, M. and Katz, S. 2003. Superimpositions and aspect-oriented programming. Computer Journal 46, 5 (Sept.), 529541.

75. Smith, B. C. 1982. Procedural reflection in programming languages. Ph.D. thesis, MIT, Cambridge, MA.

76. Sommerville, I. and Sawyer, P. 1997. Requirements EngineeringA Good Practice Guide. Wiley, New York.

77. Suzuki, J. and Yamamoto, Y. 1999. Extending UML with aspects: Aspect support in the design phase. In Int'l Workshop on Aspect-Oriented Programming (ECOOP), (Lisbon). http://trese.cs.utwente.nl/aop-ecoop99/papers/suzuki.pdf.

78. Suzuki, J. and Yamamoto, Y. 1999. Toward the interoperable software design models: Quartet of UML, XML, DOM and CORBA. In 4th Int'l Software Engineering Standards Symposium, (Curitiba, Brazil). IEEE, 163172.

79. Tarr, P., Ossher, H., Harrison, W., and Sutton Jr.,S. M. 1999. N degrees of separation: Multi-dimensional separation of concerns. In 21st Int'l Conf. Software Engineering (ICSE), (Los Angeles). IEEE, 107119.

80. Truyen, E., Jørgensen, B. N., and Joosen, W. 2000. Customization of object request brokers through dynamic reconfiguration. In Tools Europe 2000, (Mont-St-Michel, France). IEEE, 181194.

81. Truyen, E., Vanhaute, B., Joosen, W., Verbaeten, P., and Jørgensen, B. N. 2001. Dynamic and selective combination of extensions in component-based applications. In 23rd Int'l Conf. Software Engineering (ICSE), (Toronto). IEEE, 233242.

82. Ubayashi, N. and Tamai, T. 2002. Aspect-oriented programming with model checking. In 1st Int'l Conf. Aspect-Oriented Software Development (AOSD). (Enschede, The Netherlands), G. Kiczales, Ed. ACM, 148154.

83. Van Doren, E. 1997. Maintenance of operational systemsan overview. Tech. rep., Software Technology Review, Carnegie Mellon Software Engineering Institute.

84. Watanabe, T. and Yonezawa, A. 1988. Reflection in an object-oriented concurrent language. In 3rd ACM Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (San Diego, California). ACM, 306315.

85. Yokote, Y. 1992. The Apertos reflective operating system: The concept and its implementation. In 7th Conf. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), (Vancouver). ACM, 414434.

86. Yu, E. 1995. Modeling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto.