A mathematical semantics for architectural connectors

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

Volumn 2793, Issue , 2003, Pages 178-221

  Fiadeiro, J L ^a   Lopes, A ^b   Wermelinger, M ^c  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SEMANTICS;

ALGEBRAIC APPROACHES; ARCHITECTURAL CONNECTORS; GENERAL SYSTEMS THEORY; MATHEMATICAL SEMANTICS; PARALLEL PROGRAM; REAL-WORLD; SOFTWARE CONSTRUCTION; SYSTEM COMPONENTS;

ARCHITECTURAL DESIGN;

EID: 0142219261     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45191-4_5     Document Type: Article

References (33)

1. R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3), 1997, 213-249.
2. L.F. Andrade and J.L. Fiadeiro, "Interconnecting Objects via Contracts", in R.France and B.Rumpe (eds), UML'99 - Beyond the Standard, LNCS 1723, Springer Verlag 1999, 566-583.
3. L. Andrade and J.L. Fiadeiro, "Service-Oriented Business and System Specification: Beyond Object-orientation", in H.Kilov and K. Baclwaski (eds), Practical Foundations of Business and System Specifications, Kluwer Academic Publishers 2003, 1-23.
4. L.F. Andrade, J.L. Fiadeiro, J. Gouveia, A. Lopes and M. Wermelinger, "Patterns for Coordination", in COORDINATION'00, G.Catalin-Roman and A.Porto (eds), LNCS 1906, Springer-Verlag 2000, 317-322.
5. J.P. Banâtre and D.Le Métayer, "Programming by Multiset Transformation", Communications ACM 16(1), 1993, 55-77.
6. L. Bass, P. Clements and R. Kasman, Software Architecture in Practice, Addison Wesley 1998.
7. J. Bosch, "Superimposition: A Component Adaptation Technique", Information and Software Technology 1999.
8. K. Chandy and J. Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.
9. J.L. Fiadeiro and T. Maibaum, "Interconnecting Formalisms: supporting modularity, reuse and incrementality", in G.E. Kaiser (ed), Proc. 3rd Symp. on Foundations of Sotware Engineering, ACM Press 1995, 72-80.
10. J.L. Fiadeiro and T. Maibaum, "A Mathematical Toolbox for the Software Architect", in J. Kramer and A. Wolf (eds), Proc. 8th International Workshop on Software Specification and Design, IEEE Computer Society Press 1996, 46-55.
11. J.L. Fiadeiro and T. Maibaum, "Categorical Semantics of Parallel Program Design", Science of Computer Programming 28, 1997, 111-138.
12. J.L. Fiadeiro and A. Lopes, "Semantics of Architectural Connectors", in TAPSOFT'97, LNCS 1214, Springer-Verlag 1997, 505-519.
13. J.L. Fiadeiro and A. Lopes, "Algebraic Semantics of Coordination, or what is in a signature?", in A. Haeberer (ed), AMAST'98, LNCS 1548, Springer-Verlag 1999.
14. N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996.
15. D. Gelemter and N. Carriero, "Coordination Languages and their Significance", Communications ACM 35(2), 1992, 97-107.
16. J. Goguen, "Categorical Foundations for General Systems Theory", in F. Pichler and R. Trappl (eds), Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121-130.
17. J. Goguen, "Principles of Parametrised Programming", in Biggerstaff and Perlis (eds), Software Reusability, Addison-Wesley 1989, 159-225.
18. J. Goguen, "Parametrised Programming and Software Architecture", in Symposium on Software Reusability, IEEE 1996.
19. J. Goguen and R. Burstall, "Institutions: Abstract Model Theory for Specification and Programming", Journal of the ACM 39(1), 1992, 95-146.
20. S. Katz, "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2), 1993, 337-356.
21. A. Lopes, "Não-determinismo e Composicionalidade na Especificação de Sistemas Reactivos", PhD Thesis (in Portuguese), Universidade de Lisboa, Jan. 1999.
22. A. Lopes and J.L. Fiadeiro, "Using explicit state to describe architectures", in E. Astesiano (ed), FASE'99, LNCS 1577, Springer-Verlag 1999, 144-160.
23. A. Lopes and J.L. Fiadeiro, "Revising the Categorical Approach to Systems", in H. Kirchner and C.Ringeiseen (eds), AMAST'02, LNCS 2422, Springer-Verlag 2002, 426-440.
24. A. Lopes. M. Wermelinger and J.L. Fiadeiro, "Compositional Approach to Connector Construction", in M. Cerioli and G. Reggio (eds), Recent Trends in Algebraic Development Techniques, LNCS 2267, Springer-Verlag 2002, 201-220.
25. J. Magee, J. Kramer and M. Sloman, "Constructing Distributed Systems in Conic", IEEE TOSE 15 (6), 1989.
26. M. Moriconi and X. Qian, "Correctness and Composition of Software Architectures", in Proc. Second Symposium on the Foundations of Software Engineering, ACM Press 1994, 164-174.
27. D. Perry and A. Wolf, "Foundations for the Study of Software Architectures" ACM SIGSOFT Software Engineering Notes 17(4), 1992, 40-52.
28. V. Sassone, M. Nielsen and G. Winskel, "A Classification of Models for Concurrency", in E.Best (ed), CONCUR'93, LNCS 715, Springer-Verlag, 82-96.
29. M. Wermelinger and J.L. Fiadeiro, "Connectors for Mobile Programs", IEEE Transactions on Software Engineering 24(5), 1998, 331-341.
30. M. Wermelinger and J.L. Fiadeiro, "Towards an Algebra of Architectural Connectors: a Case Study on Synchronisation for Mobility", in Proc. 9th International Workshop on Software Specification and Design, IEEE Computer Society Press 1998, 135-142.
31. M. Wermelinger and J.L. Fiadeiro, "Algebraic Software Architecture Reconfiguration", in Sofware Engineering - ESEC/FSE'99, LNCS 1687, Springer-Verlag 1999, 393-409.
32. M. Wermelinger, A. Lopes and J.L. Fiadeiro, "Superposing Connectors", in Proc. 10th International Workshop on Software Specification and Design, IEEE Computer Society Press 2000, 87-94.
33. M. Wermelinger, A. Lopes and J.L. Fiadeiro, "A Graph Based Architectural (Re)configuration Language", in ESEC/FSE'01, V.Gruhn (ed), ACM Press 2001, 21-32.