Types and modularity for implicit invocation with implicit announcement

ACM Transactions on Software Engineering and Methodology

Volumn 20, Issue 1, 2010, Pages

  Steimann, Friedrich ^a   Pawlitzki, Thomas ^a   Apel, Sven ^b   Kästner, Christian ^c  

^a UNIVERSITY OF HAGEN   (Germany)

^b UNIVERSITY OF PASSAU   (Germany)

^c OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

Aspect oriented programming; Event driven programming; Implicit invocation; Modularity; Publish subscribe; Typing

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; EVENT-DRIVEN PROGRAMMING; GENERAL APPLICATIONS; IMPLICIT INVOCATION; LANGUAGE CONSTRUCTS; MODULARIZATIONS; PROGRAMMING TECHNIQUE; PUBLISH/SUBSCRIBE; SOFTWARE DEVELOPMENT;

MODULAR CONSTRUCTION; SOFTWARE DESIGN;

COMPUTER SYSTEMS PROGRAMMING;

EID: 77954340803     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1767751.1767752     Document Type: Article

References (69)

1. ALDRICH, J. 2005. Open modules: Modular reasoning about advice. In Proceedings of the 19th European Conference on Object-Oriented Programming. 144-168.
2. ALLAN, C., AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L., KUZINS, S., LHOTáK, O., DE MOOR, O., SERENI, D., SITTAMPALAM, G., AND TIBBLE, J. 2005. Adding trace matching with free variables to Aspect J. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. Oct. 16-20.
3. APEL, S., KäSTNER, C., LEICH, T., AND SAAKe, G. 2007. Aspect refinement-unifying AOP and stepwise refinement. J. Obj. Tech. 6, 9, 13-33.
4. APEL, S., LEICH, T., AND SAAKE, G. 2008. Aspectual feature modules. IEEE Trans. Softw. Eng. 34, 2, 162-180.
5. APEL, S. AND BATORY, D. 2008. How Aspect J is used: An analysis of eleven Aspect J programs. J. Obj. Tech. 9, 1, 117-142.
6. AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L., KUZINS, S., LHOTáK, J., LHOTáK, O., DE MOOR, O., SERENI, D., SITTAMPALAM, G., AND TIBBLE, J. 2005. Optimising Aspect J. SIGPLAN Not. 40, 6, 117-128.
7. AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L. J., KUZINS, S., LHOTáK, J., LHOTáK, O., DE MOOR, O., SERENI, D., SITTAMPALAM, G., AND TIBBLE, J. 2006. abc: An extensible AspectJ compiler. Trans. Aspect-Orient. Softw. Develop. 1, 293-334.
8. BOBROW, D. G., DEMICHIEL, L. G., GABRIEL, R. P., KEENE, S. E., KICZALES, G., AND MOON, D. A. 1988. Common Lisp object system specification. SIGPLAN Not. 23, SI, 1-142.
9. BODDEN, E., FORSTER, F., AND STEIMANN, F. 2006. Avoiding infinite recursion with stratified aspects. In Proceedings of NODe/GSEM. GI-Edition Lecture Notes in Informatics, P-88. GI, 49-64.
10. BRACHA, G. AND COOK, W. 1990. Mixin-based inheritance. In Proceedings of the European Conference on Object-Oriented Programming/Proceedings on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA/ECOOP). ACM Press, New York, NY, 303-311.
11. CLIFTON, C. AND LEAVENS, G. 2002. Observers and assistants: A proposal for modular aspectoriented reasoning. In Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL). 33-44.
12. CLIFTON, C. AND LEAVENS, G. 2003. Obliviousness, modular reasoning, and the behavioral subtyping analogy. In Proceedings of the Workshop on Software Engineering Properties of Languages for Aspect Technologies (SPLAT). Workshop at AOSD.
13. Clifton, C., Leavens, G. T., and Noble, J. 2007. MAO: Ownership and effects for more effective reasoning about aspects. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). 451-475.
14. COELHO, R., RASHID, A., VGARCIA, A., FERRARI, F., CACHO, N., KULESZA, U., STAA, A., AND LUCENA, C. 2008. Assessing the impact of aspects on exception flows: An exploratory study. In Proceedings of the 22nd European Conference on Object-Oriented Programming, J. Vitek, Ed. Lecture Notes In Computer Science, vol. 5142. Springer-Verlag, Berlin, 207-234.
15. DANTAS, D. S. AND WALKER, D. 2006. Harmless advice. In Proceedings of the Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). ACM Press, New York, NY, 383-396.
16. DOUENCE, R., MOTELET, O., AND SüDHOLT, M. 2001. A formal definition of crosscuts. In Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, A. Yonezawa and S. Matsuoka, Eds. Lecture Notes In Computer Science, vol. 2192. Springer-Verlag, Berlin, Germany, 170-186.
17. DUCASSE, S., NIERSTRASZ, O., SCHäRLI, N., WUYTS, R., AND BLACK, A. P. 2006. Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst. 28, 2, 331-388.
18. EICHBERG, M., MEZINI, M,. AND OSTERMANN, K. 2004. Pointcuts as functional queries. In Proceedings of the 2nd Asian Symposium on Programming Languages and Systems (APLAS), Wei-Ngan Chin, Ed. Lecture Notes in Computer Science, vol. 3302. Springer, Berlin, Germany, 366-381.
19. ELRAD, T., FILMAN, R. E., AND BADER, A. 2001. Aspect-oriented programming: Introduction. Comm. ACM 44, 10, 29-32.
20. ERNST, E. AND LORENZ, D. H. 2003. Aspects and polymorphism in Aspect J. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD). ACM Press, New York, NY, 150-157.
21. ESWARAN, K. P. 1976. Specifications, implementations and interactions of a trigger subsystem in an integrated database system. IBM res. rep. RJ1820 (Nov.), IBM, Yorktown Heights, NY.
22. EUGSTER, P. T., FELBER, P. A., GUERRAOUI, R., AND KERMARREC, A. 2003. The many faces of publish/subscribe. ACM Comput. Surv. 35, 2, 114-131.
23. EUGSTER, P. 2007. Type-based publish/subscribe: Concepts and experiences. ACM Trans. Program. Lang. Syst. 29, 1, 6.
24. FILMAN, R. E. AND FRIEDMAN, D. P. 2004. Aspect-oriented programming is quantification and obliviousness In Aspect-Oriented Software Development, R. E. Filman, T. Elrad, S. Clarke, and M. Askit, Eds. Addison-Wesley Longman, New York, NY.
25. FORSTER, F. AND STEIMANN, F. 2006. AOP and the antinomy of the liar. In Proceedings of the Workshop on the Foundations of Aspect-Oriented Languages (FOAL). 47-56.
26. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.
27. GARLAN, D. AND SCOTT, C. 1993. Adding implicit invocation to traditional programming languages. In Proceedings of the 15th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 447-455.
28. GARLAN, D. AND SHAW, M. 1994. An Introduction to Software Architecture. Tech. rep. UMI order number CS-94-166. Carnegie Mellon University, Pittsburgh, PA.
29. GERACI, A. 1991. IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries. IEEE, Los Alamitos, CA.
30. GRISWOLD, W. G., SULLIVAN, K., SONG, Y., SHONLE, M., TEWARI, N., CAI, Y., AND RAJAN, H. 2006. Modular software design with crosscutting interfaces. IEEE Softw. 23, 1, 51-60.
31. GUDMUNDSON, S. AND KICZALES, G. 2001. Addressing practical software development issues in AspectJ with a pointcut interface. In Proceedings of the Workshop on Advanced Separation of Concerns.
32. GYBELS, K. AND BRICHAU, J. 2003. Arranging language features for more robust pattern-based crosscuts. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD). ACM Press, New York, NY, 60-69.
33. HILSDALE, E. AND HUGUNIN, J. 2004. Advice weaving in Aspect J. In Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD). ACM Press, New York, NY, 26-35.
34. HOFFMAN, K. AND EUGSTER, P. 2007. Bridging Java and AspectJ through explicit join points. In Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java (PPPJ), Vol. 272. ACM Press, New York, NY, 63-72.
35. KäSTNER, C., APEL, S., AND BATORY, D. 2007. A case study implementing features using Aspect J. In Proceedings of the 11th International Software Product Line Conference. IEEE Computer Society Press, Los Alamitos, CA, 223-232.
36. KELLENS, A., MENS, K., BRICHAU, J., AND GYBELS, K. 2006. Managing the evolution of aspectoriented software with model-based pointcuts. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'06). Lecture Notes in Computer Science, vol. 4067. Springer, Berlin, Germany, 501-525.
37. KICZALES, G., LAMPING, J., MENDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). 220-242.
38. KICZALES, G. AND MEZINI, M. 2005. Aspect-oriented programming and modular reasoning. In Proceedings of the 27th International Conference on Software Engineering (ICSE). ACM Press, New York, NY, 49-58.
39. LEE, K., KANG, K. C., KIM, M., AND PARK, S. 2006. Combining feature-oriented analysis and aspect-oriented programming for product line asset development. In Proceedings of the 10th International on Software Product Line Conference. IEEE Computer Society Press, Los Alamitos, CA, 103-112.
40. LIGATTI, J., WALKER, D., AND ZDANCEWIC, S. 2006. A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63, 3, 240-266.
41. LISKOV, B. H. AND WING, J. M. 1994. A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16, 6, 1811-1841.
42. LOPES, C. V., DOURISH, P., LORENZ, D. H., AND LIEBERHERR, K. 2003. Beyond AOP: Toward naturalistic programming. In Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM Press, New York, NY, 198-207.
43. MADSEN, O. L. AND MØLLER-PEDERSEN, B. 1989. Virtual classes: A powerful mechanism in objectoriented programming. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). ACM Press, New York, NY, 397-406.
44. MASUHARA, H. AND KAWAUCHI, K. 2003. Dataflow pointcut in aspect-oriented programming. In Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS'03). Lecture Notes in Computer Science, vol. 2895. Springer, Berlin, Germany, 105-121.
45. MEYER, B. 1997. Object-Oriented Software Construction, 2nd Ed. Prentice-Hall, Englewood Cliffs, NJ.
46. MIKHAJLOV, L. AND SEKERINSKI, E. 1998. A study of the fragile base class problem. In Proceedings of the 12th European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 1445. Springer-Verlag, Berlin, Germany, 355-382.
47. MURPHY, G. C., LAI, A., WALKER, R. J., AND ROBILLARD, M. P. 2001. Separating features in source code: An exploratory study. In Proceedings of the 23rd International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 275-284.
48. NOTKIN, D., GARLAN, D., GRISWOLD, W. G., AND SULLIVAN, K. J. 1993. Adding implicit invocation to languages: Three approaches. In Proceedings of the 1st JSSST International Symposium on Object Technologies for Advanced Software. S. Nishio and A. Yonezawa, Eds. Lecture Notes in Computer Science, vol. 742. Springer-Verlag, Berlin, Germany, 489-510.
49. ONGKINGCO, N., AVGUSTINOV, P., TIBBLE, J., HENDREN, L., DE MOOR, O., AND SITTAMPALAM, G. 2006. Adding open modules to Aspect J. In Proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD). ACM Press, New York, NY, 39-50.
50. OSSHER, H. AND TARR, P. 2000. Hyper/J: Multi-dimensional separation of concerns for Java. In Proceedings of the 22nd International Conference on Software Engineering (ICSE). ACM Press, New York, NY, 734-737.
51. OSTERMANN, K., MEZINI, M., AND BOCKISCH, C. 2005. Expressive pointcuts for increased modularity. In Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP'05) Lecture Notes in Computer Science, vol. 3586. Springer-Verlag, Berlin, Germany, 214-240.
52. RAJAN, H. AND SULLIVAN, K. 2003. Eos: Instance-level aspects for integrated system design. In Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11). ACM Press, New York, NY, 297-306.
53. RAJAN, H. AND SULLIVAN, K. J. 2005. Classpects: Unifying aspect- and object-oriented language design. In Proceedings of the 27th International Conference on Software Engineering (ICSE). ACM Press, New York, NY, 59-68.
54. RAJAN, H., DYER, R., HANNA, Y., AND NARAYANAPPA, H. 2006. Preserving separation of concerns through compilation. In Proceedings of the Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT). L. Bergmans, J. Brichau, and E. Ernst, Eds. Workshop affiliated with AOSD.
55. RAJAN, H. AND LEAVENS, G. T. 2008. Ptolemy: A language with quantified, typed events. In Proceedings of the 22nd European Conference on Object-Oriented Programming. J. Vitek, Ed. Lecture Notes in Computer Science, vol. 5142. Springer-Verlag, Berlin, Germany, 155-179.
56. REISS, S. P. 1990. Interacting with the FIELD environment. Softw. Pract. Exper. 20, S 1, 89-115.
57. RHO, T., KNIESEL, G. AND APPELTAUER, M. 2006. Fine-grained generic aspects. In Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL). G. Leavens, C. Clifton, R. Lämmel, and M. Mezini, Eds., (Workshop affiliated with AOSD.)
58. RIEHLE, D. 1996. The event notification pattern-integrating implicit invocation with objectorientation. Theor. Pract. Obj. Syst. 2, 1, 43-52.
59. SAKURAI, K. AND MASUHARA, H. 2008. Test-based pointcuts for robust and fine-grained join point specification. In Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD). ACM Press, New York, NY, 96-107.
60. STEIMANN, F. 2006. The paradoxical success of aspect-oriented programming. In Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA). ACM Press, New York, NY, 481-497.
61. STEIMANN, F. AND MAYER, P. 2005. Patterns of interface-based programming. J. Obj. Tech. 4, 5, 75-94.
62. STöRZER, M. AND GRAF, J. 2005. Using pointcut delta analysis to support evolution of aspectoriented software. In Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM). IEEE Computer Society Press, Los Alamitos, CA, 653-656.
63. SULLIVAN, K. AND NOTKIN, D. 1990. Reconciling environment integration and component independence. SIGSOFT Softw. Eng. Notes 15, 6, 22-33.
64. SULLIVAN, K. J. AND NOTKIN, D. 1992. Reconciling environment integration and software evolution. ACM Trans. Softw. Eng. Methodol. 1, 3, 229-268.
65. SULLIVAN, K., GRISWOLD, W. G., SONG, Y., CAI, Y., SHONLE, M., TEWARI, N., AND RAJAN, H. 2005. Information hiding interfaces for aspect-oriented design. In Proceedings of the 10th European Software Engineering Conference Held Jointly with the 1 h ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11). ACM Press, New York, NY, 166-175.
66. TARR, P., OSSHER, H., HARRISON, W., AND SUTTON, S. M. 1999. N degrees of separation: Multidimensional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering (ICSE). ACM Press, New York, NY, 107-119.
67. VAN DEURSEN, A., MARIN, M., AND MOONEN, L. 2005. AJHotDraw: A showcase for refactoring to aspects. In Proceedings of the AOSD Workshop on Linking Aspects and Evolution (LATE).
68. WIRTH, N. 1988. Type extensions. ACM Trans. Program. Lang. Syst. 10, 2, 204-214.
69. XU, J., RAJAN, H., AND SULLIVAN, K. 2004. Understanding aspects via implicit invocation. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering. IEEE Computer Society Press, Los Alamitos, CA, 332-335.