Aspect-oriented connectors for coordination

ABSTRACT

Coordination has become a key concept in the industrial systems as it leads to a better understanding of the interactions that take place in complex and distributed systems. In the last few years, coordination has been introduced in two important fields of Software Engineering: Software Architectures, through the notion of connector, and Aspect-Oriented Software Development, through the notion of weaving and by considering coordination as an aspect. In this paper, we present how the Prisma model orchestrates its aspect-oriented architectural models by using aspect-oriented connectors. Due to the complexity of a coordination process, they must be well founded and defined. This paper presents the formalization of this combination of connectors and aspects to obtain more consistent, reusable and maintainable coordination models.

REFERENCES

• 1: Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
• 2: L. Andrade , J. L. Fiadeiro , J. Gouveia , G. Koutsoukos, Separating computation, coordination and configuration, Journal of Software Maintenance: Research and Practice, v.14 n.5, p.353-369, September-October 2002 [doi>10.1002/smr.260]
• 3: L. F. Andrade, J. L. Fiadeiro, J. Gouveia, G. Koutsoukos, and M. Wermelinger. 5th International Conference on Coordination Models and Languages. volume 2315 of Lecture Notes in Computer Science, pages 5 -- 13, York, UK, April 2002. Springer Verlag.
• 4: Carlos Canal , Ernesto Pimentel , José M. Troya, Specification and Refinement of Dynamic Software Architectures, Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), p.107-126, February 22-24, 1999
• 5: C. E. Cuesta, M. P. Romay, P. de la Fuente, and M. Barrio-Solórzano. Reflection-based, Aspect-oriented Software Architecture. In Software Architecture (EWSA 2004), volume 3047 of Lecture Notes in Computer Science, pages 43--56. Springer, Mayo 2004.
• 6: C. E. Cuesta, M. P. Romay, P. de la Fuente, and M. Barrio-Solórzano. Coordination as an Architectural Aspect. Electronic Notes in Theoretical Computer Science, 154(1):25--41, Mayo 2006.
• 7: C. E. Cuesta, M. P. Romay, P. Fuente, and M. Barrio-Solorzano. Architectural Aspects of Architectural Aspects. In R. Morrison and F. Oquendo, editors, Software Architecture: Principles, Languages, Tools and Applications, volume 3527 of Lecture Notes in Computer Science, pages 247 -- 262. Springer, 2005.
• 8: S. Eisenbach and M. Radestock. Component Coordination in Middleware Systems. In IFIP International Conference on Distributed Systems Platforms and OpenDistributed Processing (Middleware'98), sep 1998.
• 9: J. L. Fiadeiro and A. Lopes. CommUnity on the Move: Architectures for Distribution and Mobility. In F. S. de Boer, editor, Fmco 2003, volume 3188 of Lecture Notes in Computer Science, pages 177 -- 196. Springer-Verlag, 2004.
• 10: David Garlan , Robert Allen , John Ockerbloom, Exploiting style in architectural design environments, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.175-188, December 06-09, 1994, New Orleans, Louisiana, United States
• 11: David Garlan , Robert T. Monroe , David Wile, Acme: architectural description of component-based systems, Foundations of component-based systems, Cambridge University Press, New York, NY, 2000
• 12: J. C. Grundy, W. B. Mugridge, and J. G. Hosking. Static and dynamic visualisation of component-based software architectures. In 10th International Conference on Software Engineering and Knowledge Engineering, pages 18 -- 20, San Francisco, jun 1998. KSI Press.
• 13: W. H. Harrison, H. L. Ossher, and P. L. Tarr. Asymmetrically Vs. Symmetrically Organized Paradigms for Software Composition. Technical Report RC22685 (W0212-147), Thomas J. Watson Research Center, IBM, 2002.
• 14: M. M. Kande. A concern-oriented approach to software architecture. PhD thesis, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, 2003.
• 15: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 16: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, and C. V. Lopes. Aspect-Oriented Programming. In 11th European Conference on Object-Oriented Programming (ECOOP'97), volume 1241 of Lecture Notes in Computer Science, pages 220 -- 242. Springer, 1997.
• 17: Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro, Higher-order architectural connectors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.64-104, January 2003 [doi>10.1145/839268.839272]
• 18: David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995 [doi>10.1109/32.464548]
• 19: Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer, Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference, p.137-153, September 25-28, 1995
• 20: Nenad Medvidovic , Peyman Oreizy , Jason E. Robbins , Richard N. Taylor, Using object-oriented typing to support architectural design in the C2 style, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.24-32, October 16-18, 1996, San Francisco, California, United States
• 21: Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302410]
• 22: Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000 [doi>10.1109/32.825767]
• 23: Nikunj R. Mehta , Nenad Medvidovic , Sandeep Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering, p.178-187, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337201]
• 24: R. Milner. The Polyadic π-Calculus: A Tutorial. Technical report, Laboratory for Foundations of Computer Science, University of Edinburgh, oct 1993.
• 25: Mark Moriconi , Xiaolei Qian , R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, v.21 n.4, p.356-3, April 1995 [doi>10.1109/32.385972]
• 26: A. Navasa, M. A. Pérez, and J. M. Murillo. Aspect Modelling at Architecture Design. In Software Architecture, volume 3527 of Lecture Notes on Computer Science, pages 41 -- 58. Springer Verlag, jun 2005.
• 27: Flavio Oquendo, π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures, ACM SIGSOFT Software Engineering Notes, v.29 n.3, May 2004 [doi>10.1145/986710.986728]
• 28: F. Oquendo, B. Warboys, R. Morrison, R. Dindeleux, F. Gallo, H. Garavel, and C. Occhipinti. ArchWARE: Architecting Evolvable Software. In Software Achitecture (EWSA 2004), volume 3047 of Lecture Notes in Computer Science, pages 257 -- 271, St Andrews, 2004. Springer.
• 29: G. A. Papadopoulos and F. Arbab. Configuration and dynamic reconfiguration of components using the coordination paradigm. Future Generation Computer Systems, 17(8):1023--1038, June 2001.
• 30: J. Pérez. PRISMA: Aspect-Oriented Software Architectures. PhD thesis, Department of Information Systems and Computation, Polytechnic University of Valencia, 2006.
• 31: J. Pérez, N. Ali, J. A. Carsí, and I. Ramos. Dynamic Evolution in Aspect-Oriented Architectural Models. 3527:59 -- 76, 2005.
• 32: J. Pérez, N. Ali, J. A. Carsi, and I. Ramos. Designing Software Architectures with an Aspect-Oriented Architecture Description Language. In I. Gorton, G. T. Heineman, I. Crnkovic, H. W. Schmidt, J. A. Stafford, C. A. Szyperski, and K. C. Wallnau, editors, Component-Based Software Engineering, volume 4063 of Lecture Notes in Computer Science, pages 123--138, Västeras, Sweden, 2006. Springer Verlag.
• 33: Mónica Pinto , Lidia Fuentes , Jose María Troya, DAOP-ADL: an architecture description language for dynamic component and aspect-based development, Proceedings of the 2nd international conference on Generative programming and component engineering, p.118-137, September 22-25, 2003, Erfurt, Germany
• 34: Mary Shaw, Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status, Selected papers from the Workshop on Studies of Software Design, p.17-32, May 17-18, 1993
• 35: Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
• 36: Colin Stirling, Modal and temporal logics, Handbook of logic in computer science (vol. 2): background: computational structures, Oxford University Press, Inc., New York, NY, 1993
• 37: Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Keywords:
Prisma, aspect-orientation, connector, coordination, software architecture, symmetric aspect