Temporal superimposition of aspects for dynamic software architecture

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4037 LNCS, Issue , 2006, Pages 93-107

  Cuesta, Carlos E ^a   Romay, María Del Pilar ^b   De La Fuente, Pablo ^c   Barrio Solórzano, Manuel ^c  

^a UNIVERSIDAD REY JUAN CARLOS   (Spain)

^b UNIVERSIDAD EUROPEA DE MADRID   (Spain)

^c UNIVERSITY OF VALLADOLID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE;

ARCHITECTURAL DYNAMISM; ASPECT SUPERIMPOSITION; SOFTWARE ARCHITECTURE; TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 33746211451     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_9     Document Type: Conference Paper

References (24)

1. James H. Andrews. Process-Algebraic Foundations of Aspect-Oriented Programming. In Akinori Yonezawa and Satoshi Matsuoka, editors, Reflection 2001: Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, September 2001.
2. Uwe Aßmann. Invasive Software Composition. Springer Verlag, 2003.
3. Luc Bougé and Nissim Francez. A Compositional Approach to Superimposition. In 15th Annual ACM Symposium on Principles of Programming Languages, POPL'88, pages 240-249, San Diego, 1988. ACM Press.
4. Julian C. Bradfield and Colin P. Stirling. Modal Logics and mu-Calculi: An Introduction. In Jan A. Bergstra, Alban Ponse, and Scott A. Smolka, editors, Handbook of Process Algebra, chapter 4, pages 293-330. Elsevier Science B.V., 2001.
5. Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, and Michael Stal. Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, 1996.
6. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
7. Carlos E. Cuesta. Reflection-based Dynamic Software Architecture. ProQuest Information & Learning, Madrid, May 2003.
8. Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, and Encarnación Beato. An "Abstract Process" Approach to Algebraic Dynamic Architecture Description. Journal of Logic and Algebraic Programming, 63(2):177-214, May 2005.
9. Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio Solórzano, and M. Encarnación Beato. Introducing Reflection in Architecture Description Languages. In J. Bosch, M. Gentleman, C. Hofmeister, and J. Kuusela, editors, Software Architecture: System Design, Development and Maintenance, chapter 9, pages 143-156. Kluwer, August 2002.
10. Carlos E. Cuesta, M. Pilar Romay, Pablo de la Fuente, and Manuel Barrio-Solórzano. Reflection-based, Aspect-oriented Software Architecture. In Flavio Oquendo, Brian Warboys, and Ron Morrison, editors, Software Architecture, volume 3047 of Lecture Notes in Computer Science, pages 43-56, May 2004.
11. José Luiz Fiadeiro and Tom S.E. Maibaum. Categorical Semantics of Parallel Program Design. Science of Computer Programming, 28(2-3):111-138, 1997.
12. Robert E. Filman, Tzilla Elrad, Siobhán Clarke, and Mehmet Aksit, editors. Aspect-Oriented Software Development. The Object Technology Series. Addison-Wesley, October 2004.
13. Robert E. Filman and Daniel P. Friedman. Aspect-Oriented Programming is Quantification and Obliviousness. In OOPSLA 2000 Workshop on Advanced Separation of Concerns (ASoC'2000), October 2000.
14. Mika Katara. Superposing UML class diagrams. In AOSD'02 First Workshop on AspectOriented'Modeling with UML (AOM1), Enschede, The Netherlands, April 2002.
15. Mika Katara and Shmuel Katz. Architectural Views of Aspects. In Proceedings of the Second International Conference on Aspect-Oriented Software Development (AOSD'03), pages 1-10. ACM Press, March 2003.
16. Shmuel Katz. A Superimposition Control Construct for Distributed Systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, April 1993.
17. Pertti Kellomäki. A Formal Basis for Aspect-Oriented Specification with Superposition. In Gary T. Leavens and Ron Cytron, editors, FOAL 2002 Proceedings: Foundations of Aspect-Oriented Languages, pages 27-32, April 2002. ISU-TR02-06.
18. Sergei Kojarski, Karl Lieberherr, David H. Lorenz, and Robert Hirschfeld. Aspectual Reflection. In Proceedings of SPLAT'03, March 2003.
19. Karl Lieberherr, David H. Lorenz, and Johan Ovlinger. Aspectual Collaborations: Combining Modules and Aspects. The Computer Journal, 46(5):542-565, September 2003.
20. David Lorge Parnas. On the Criteria to Be Used in Decomposing Systems into Modules. Communications of the ACM, 15(12):1053-1058, December 1972.
21. Marcelo Sihman and Shmuel Katz. A Calculus of Superimpositions for Distributed Systems. In Proceedings of the First International Conference on Aspect-Oriented Software Development (AOSD'02), pages 28-40. ACM Press, April 2002.
22. Marcelo Sihman and Shmuel Katz. Superimpositions and Aspect-Oriented Programming. The Computer Journal, 46(5):529-541, September 2003.
23. Colin Stirling. Modal and Temporal Logics. In Samson Abramsky, Dov Gabbay, and Tom S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 477-563. Oxford University Press, 1991.
24. Eóin Woods. Experiences Using Viewpoints for Information Systems Architecture: an Industrial Experience Report. In Flavio Oquendo, Brian Warboys, and Ron Morrison, editors, Software Architecture, volume 3047 of Lecture Notes in Computer Science, pages 182-193, St. Andrews, UK, May 2004. Springer Verlag.