VPA-based aspects: Better support for AOP over protocols

Proceedings - 4th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006

Volumn , Issue , 2006, Pages 167-176

  Nguyen, Dong Ha ^a   Südholt, Mario ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT DEFINITION; ASPECT-ORIENTED; CONTEXT-FREE; LARGE-SCALE SOFTWARE SYSTEMS; P2P SYSTEM; POINTCUT; PUSH-DOWN AUTOMATA; REGULAR EXPRESSIONS; STATIC INTERACTION; STATIC VERIFICATION;

ASPECT ORIENTED PROGRAMMING; AUTOMATA THEORY; COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL METHODS; PEER TO PEER NETWORKS;

CONTEXT FREE LANGUAGES;

EID: 78650484511     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2006.39     Document Type: Conference Paper

References (28)

1. Mehmet Akşit, Siobhán Clarke, Tzilla Elrad, and Robert E. Filman, editors. Aspect-Oriented Software Development. Addison-Wesley Professional, September 2004.
2. Chris Allan, Pavel Avgustinov, Aske Simon Christensen, et al. Adding trace matching with free variables to AspectJ. In Richard P. Gabriel, editor, ACM Conference on Object-Oriented Programming, Systems and Languages (OOPSLA). ACM Press, 2005.
3. Robert Allen and David Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-49, July 1997. (Pubitemid 127449188)
4. Rajeev Alur and Parthasarathy Madhusudan. Visibly pushdown languages. In Proceedings of the thirty-sixth annual ACM Symposium on Theory of Computing (STOC-04), pages 202-211, New York, June 13-15 2004. ACM Press.
5. AspectJ home page. http://eclipse.org/aspectj.
6. Luis D. Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, and Davy Suvée. Explicitly distributed AOP using AWED. In Proceedings of the ACM Conference on Aspect-Oriented Software Development (AOSD'06). ACM Press, March 2006.
7. Andrea Braccialia, Antonio Brogi, and Carlos Canal. A formal approach to component adaptation. Journal of Systems and Software, 2005.
8. Rémi Douence, Pascal Fradet, and Mario Südholt. A framework for the detection and resolution of aspect interactions. In Proceedings of the ACM Conference on Generative Programming and Component Engineering (GPCE'02), volume 2487 of LLNCS, pages 173-188. Springer Verlag, October 2002.
9. Rémi Douence, Pascal Fradet, and Mario Südholt. Composition, reuse and interaction analysis of stateful aspects. In Proc. of 3rd International Conference on Aspect-Oriented Software Development (AOSD'04), pages 141-150. ACM Press, March 2004. (Pubitemid 40682130)
10. Rémi Douence, Pascal Fradet, and Mario Südholt. Trace-based aspects. In Mehmet Akşit, Siobhán Clarke, Tzilla Elrad, and Robert E. Filman, editors, Aspect-Oriented Software Development. Addison-Wesley Professional, September 2004.
11. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. In Proceedings of Reflection 2001, LNCS 2192, pages 170-186, 2001. (Pubitemid 33348467)
12. Andrés Farías. Un modèle de composants avec des protocoles explicites. PhD thesis, École des Mines de Nantes/Université de Nantes, December 2003.
13. Andrés Farías and Mario Südholt. On components with explicit protocols satisfying a notion of correctness by construction. In International Symposium on Distributed Objects and Applications (DOA), volume 2519 of LNCS, pages 995-1006, 2002.
14. Andrés Farías and Mario Südholt. Integrating protocol aspects with software components to address dependability concerns. Technical Report 04/6/INFO, École des Mines de Nantes, November 2004.
15. Steffen Göbel, Chrstoph Pohl, Simone Röttger, and Steffen Zschaler. The COMQUAD component model - enabling dynamic selection of implementations by weaving non-functional aspects. In Proceedings of AOSD'04. ACM Press, 2004.
16. Gregor Kiczales, John Lamping, et al. Aspect-Oriented Programming. In 11th Europeen Conference on Object-Oriented Programming, LNCS 1241, pages 220-242. Springer Verlag, 1997. (Pubitemid 127083932)
17. Ha Nguyen and Mario Südholt. VPA library. http://www.emn.fr/x-info/ hnguyen/vpa.
18. Ha Nguyen and Mario Südholt. Aspects over VPA-based protocols. Technical report, INRIA, July 2006.
19. Sebastian Pavel, Jacques Noyé, Pascal Poizat, and Jean-Claude Royer. Java implementation of a component model with explicit symbolic protocols. In Proceedings of the 4th International Workshop on Software Composition (SC'05), volume 3628 of LNCS. Springer Verlag, April 2005.
20. Roman Pichler, Klaus Ostermann, and Mira Mezini. On aspectualizing component models. Software - Practice and Experience, 33(10):957-974, August 2003.
21. M. Pinto, L. Fuentes, and J.M. Troya. DAOP-ADL: an architecture description languagge for dynamic component and aspect-based development. In Proc. of the 2nd Conf. on Generative Progr. and Component Engineering (GPCE), LNCS. Springer Verlag, 2003.
22. Frantisek Plasil and Stanislav Visnovsky. Behavior protocols for software components. Transactions on Software Engineering, 28(9), January 2002.
23. M. Ripeanu, I. Foster, and A. Iamnitchi. Mapping the Gnutella network: Properties of large-scale peer-to-peer systems and implications for system design. IEEE Internet Computing Journal, 6(1), Sep. 25 2002.
24. Mario Südholt. A model of components with non-regular protocols. In Proceedings of the 4th International Workshop on Software Composition (SC'05), volume 3628 of LNCS. Springer Verlag, April 2005.
25. Davy Suvée, Wim Vanderperren, and Viviane Jonckers. JasCo; an aspect-oriented approach tailored for component-based software development. In ACM Press, editor, Proc. of 2nd International Conference on Aspect-Oriented Software Development (AOSD'03), pages 21-29, March 2003.
26. Wim Vanderperren, Davy Suvee, Maria Augustina Cibran, and Bruno De Fraine. Stateful aspects in JAsCo. In Proc. of the 4th Int. Workshop on Software Composition (SC'05), volume 3628 of LNCS. Springer Verlag, April 2005.
27. Robert J. Walker and Kevin Viggers. Implementing protocols via declarative event patterns. In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), pages 159 - 169. ACM Press, 2004. (Pubitemid 40787578)
28. Daniel M. Yellin and Robert E. Strom. Protocol specifications and component adaptors. ACM Transactions of Programming Languages and Systems, 19(2):292-333, March 1997. (Pubitemid 127447777)