Semantics of architectural connectors

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

Volumn 1214, Issue , 1997, Pages 505-519

  Fiadeiro, J L ^a   Lopes, A ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT DATA TYPES; SEMANTICS;

ARCHITECTURAL CONNECTORS; CATEGORICAL SEMANTICS; FORMALISATION; PARALLEL PROGRAM;

SOFTWARE DESIGN;

EID: 84956971857     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030622     Document Type: Conference Paper

References (18)

1. R. Allen and D. Garlan, “Formalising Architectural Connection”, in Proc. 16th ICSE, 1994, 71-80. (See also Formal Connectors, CMU-CS-94-115.)
2. G. Berry and G. Beudol, “The Chemical Abstract Machine”, Theoretical Computer Science 96, 1992, 217-248.
3. R. Burstall and J. Goguen, “The Semantics of CLEAR, a Specification Language”, in Proc. Advanced Course on Abstract Software Specification, LNCS 86, Springer-Verlag 1980, 292-332.
4. P. Ciancarini and C. Hankin, Coordination Languages and Models, LNCS 1061, Springer-Verlag 1996.
5. K. Chandy and J. Misra, Parallel Program Design - A Foundation, Addison-Wesley 1988.
6. H. Ehrig and G. Mahr, Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Springer-Verlag 1985.
7. J. Fiadeiro, A. Lopes and T. Maibaum, “Synthesising Interconnections”, in D. Smith and J. P. Finance (eds) Proc. 1FIP TC 2 Working Conference on Algorithmic Languages and Calculi, Chapman Hail, in print.
8. J. Fiadeiro and T. Maibaum, “Interconnecting Formalisms: supporting modularity, reuse and incrementality”, in G.E.Kaiser (ed) Proc. 3rd Syrup. on Foundations of Software Engineering, ACM Press 1995, 72-80.
9. J. Fiadeiro and T. Maibaum, “A Mathematical Toolbox for the Software Architect”, in J. Kramer and A. Wolf (eds)Proe. 8th International Workshop on Software Specification and Design, IEEE Computer Society Press 1996, 46-55.
10. J. Fiadeiro and T. Maibaum, “Categorical Semantics of Parallel Program Design”, Science of Computer Programming, in print.
11. N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996.
12. 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.
13. J. Goguen, “Principles of Parametrised Programming”, in Biggerstaff and Perlis (eds) Software Reusability, Addison-Wesley 1989, 159-225.
14. J. Goguen, “Parametrised Programming and Software Architecture”, in Symposium on Software Reusability, IEEE 1996.
15. J. Goguen and R. Burstall, “Institutions: Abstract Model Theory for Specification and Programming”, Journal of the ACM 39(1), 1992, 95-146.
16. C. Paredes, J. Fiadeiro and F. Costa, “Architectural Specifications: Modeling and Structuring Behavior through Rules”, in H.Kilov and W.Harvey (eds) Object-Oriented Behavioral Specifications, Kluwer Academic Publishers 1996, 221-240.
17. D. Sannella, S. Sokolowski and A. Tarlecki, “Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited”, Acta Informatica 29, 1992, 689-736.
18. M.S haw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996.