Article

Aspect-oriented connectors for coordination

Authors:

Jennifer Pérez,

Carlos E. CuestaAuthors Info & Claims

SYANCO '07: International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting

Pages 13 - 22

https://doi.org/10.1145/1294917.1294919

Published: 03 September 2007 Publication History

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]

R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology, 6(3):213 -- 249, July 1997.

Digital Library

[2]

L. F. Andrade, J. L. Fiadeiro, J. Gouveia, and G. Koutsoukos. Separating computation, coordination and configuration. Journal of Software Maintenance, 14(5):353--369, 2002.

Digital Library

[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.

Digital Library

[4]

C. Canal, E. Pimentel, and J. M. Troya. Specification and Refinement of Dynamic Software Architectures. In Software Architecture, pages 107 -- 126, San Antonio, Texas, February 1999. Kluwer Academic Publishing.

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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]

D. Garlan, R. Allen, and J. Ockerbloom. Exploiting Style in Architectural Design Environments. In SIGSOFTŠ94: Foundations of Software Engineering, pages 175 -- 188, New Orleans, dec 1994.

[11]

D. Garlan, R. T. Monroe, and D. Wile. Acme: Architectural Description of Component-Based Systems. In G. T. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, volume 68, pages 47 -- 68. Cambridge University Press, 2000.

Digital Library

[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]

G. Kiczales, E. Hilsdale, J. Huguin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In Proceedings of the European Conference on Object-Oriented Programming. Springer-Verlag, 2001.

Digital Library

[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]

A. Lopes, M. Wermelinger, and J. L. Fiadeiro. Higher-order architectural connectors. ACM Transactions on Software Engineering and Methodology, 12(1):64--104, 2003.

Digital Library

[18]

D. C. Luckham and J. Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21(9):717 -- 734, sep 1995.

Digital Library

[19]

J. N. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying Distributed Software Architectures. In Fifth European Software Engineering Conference (ESEC), Barcelona, sep 1995.

Digital Library

[20]

N. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor. Using Object-Oriented Typing to Support Architectural Design in the C2 Style. In ACM SIGSOFTŠ96: Fourth Symposium on the Foundations of Software Engineering (FSE4), pages 24 -- 32, San Francisco, oct 1996.

Digital Library

[21]

N. Medvidovic, D. S. Rosenblum, and R. N. Taylor. A Language and Environment for Architecture-Based Software Development and Evolution. In 21st International Conference on Software Engineering (ICSEŠ99), Los Angeles, may 1999.

Digital Library

[22]

N. Medvidovic and R. N. Taylor. A classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions of Software Engineering, 26(1), 2000.

Digital Library

[23]

N. R. Mehta, N. Medvidovic, and S. Phadke. Towards a Taxonomy of Software Connectors. In Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), volume 11, pages 178 -- 187, Limerick, jun 2000.

Digital Library

[24]

R. Milner. The Polyadic π-Calculus: A Tutorial. Technical report, Laboratory for Foundations of Computer Science, University of Edinburgh, oct 1993.

[25]

M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct Architecture Refinement. IEEE Transactions on Software Engineering, 21(4):356 -- 372, apr 1995.

Digital Library

[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.

Digital Library

[27]

F. Oquendo. π-ADL: An Architecture Description Language based on the Higher-Order Typed π-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes, 29(3), may 2004.

Digital Library

[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.

Digital Library

[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.

Digital Library

[33]

M. Pinto, L. Fuentes, and J. M. Troya. DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development. In Generative Programming and Component Engineering (GPCE 2003), Lecture Notes in Computer Science, Erfurt, sep 2003.

[34]

M. Shaw. Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status. In Workshop on Studies of Software Design, jan 1994.

Digital Library

[35]

M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, D. M. Young, and G. Zelesnik. Abstractions for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering, 21(4):314 -- 335, apr 1995.

Digital Library

[36]

C. Stirling. Modal and Temporal Logics. In Handbook of Logic in Computer Science, volume II. Clarendon Press, 1992.

Digital Library

[37]

C. Szyperski. Component software: beyond object-oriented programming. 1998.

Digital Library

Cited By

Morales IClunie-Beaufond CVargas-Lombardo M(2022)Coordination and Flexibility in the Management of Software Development Processes for Start-Up CompaniesApplied Technologies10.1007/978-3-031-03884-6_30(412-425)Online publication date: 6-Apr-2022
https://doi.org/10.1007/978-3-031-03884-6_30
Ali NTuosto E(2011)Architectural Models of Ambient-PRISMA in Channel Ambient CalculusProceedings of the 2011 IEEE 34th Software Engineering Workshop10.1109/SEW.2011.7(1-10)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1109/SEW.2011.7
Ubayashi NSato YSakai ATamai T(2008)Alloy-Based Lightweight Verification for Aspect-Oriented ArchitectureProceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2008.12(171-178)Online publication date: 20-Aug-2008
https://dl.acm.org/doi/10.1109/SERA.2008.12

Index Terms

Aspect-oriented connectors for coordination
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Aspect-Oriented Coordination

The different software modules (e.g., components) that constitute a system are not isolated entities. In fact, they need to interact according to a certain coordination protocol in order to achieve a common goal. This coordination protocol crosscuts the ...
Coordination as an Architectural Aspect

Modularization is a traditional consequence of the Principle of Separate of Concerns, which states that different abstractions should be dealt with in separate entities. Interactions between these entities define compositional structures, which are ...
Modeling and verification of component connectors in Coq

We present a new approach to modeling of Reo connectors via the Coq proof assistant.We propose a simulation-based approach to verify connectors' properties specified in LTL.We investigate an access control system to show the usefulness of the approach. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SYANCO '07: International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting

September 2007

39 pages

ISBN:9781595937209

DOI:10.1145/1294917

Program Chairs:
Farhad Arbab
CWI, Amsterdam, The Netherlands
,
Christel Baier
Universität Dresden, Germany

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
CEPIS: The Council of European Professional Informatics Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE07

Sponsor:

ACM
SIGSOFT
CEPIS

ESEC/FSE07: Joint 11th European Software Engineering Conference 2007

September 3 - 4, 2007

Dubrovnik, Croatia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
235
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 17 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Morales IClunie-Beaufond CVargas-Lombardo M(2022)Coordination and Flexibility in the Management of Software Development Processes for Start-Up CompaniesApplied Technologies10.1007/978-3-031-03884-6_30(412-425)Online publication date: 6-Apr-2022
https://doi.org/10.1007/978-3-031-03884-6_30
Ali NTuosto E(2011)Architectural Models of Ambient-PRISMA in Channel Ambient CalculusProceedings of the 2011 IEEE 34th Software Engineering Workshop10.1109/SEW.2011.7(1-10)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1109/SEW.2011.7
Ubayashi NSato YSakai ATamai T(2008)Alloy-Based Lightweight Verification for Aspect-Oriented ArchitectureProceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2008.12(171-178)Online publication date: 20-Aug-2008
https://dl.acm.org/doi/10.1109/SERA.2008.12

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents