Specifying distributed software architectures

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

Volumn 989, Issue , 1995, Pages 137-153

  Magee, Jeff ^a   Dulay, Naranker ^a   Eisenbach, Susan ^a   Kramer, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SPECIFICATIONS;

ARCHITECTURAL LEVELS; COMPUTATIONAL ELEMENTS; DISTRIBUTED SOFTWARE ARCHITECTURE; DISTRIBUTED SYSTEMS; DYNAMIC STRUCTURE; MOBILE PROCESS; OPERATIONAL SEMANTICS; STATIC STRUCTURES;

SOFTWARE ENGINEERING;

EID: 84955561300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60406-5_12     Document Type: Conference Paper

References (25)

1. D. Garlan and M Shaw, An Introduction to Software Architecture, in Advances in Software Engineering and Knowledge Engineering, Vol. 1, ed. Ambriola and Tortora, World Scientific Publishing Co., 1993.
2. D.E. Perry and A.L. Wolf, Foundations for the study of Software Architectures, ACM SIGSOFT, Software Engineering Notes, 17 (4), 1992, pp 40-52.
3. D. Garlan and D. Perry, Software Architecture: Practice, Potential and Pitfalls (Panel Introduction), Proc. of 16th Intl. Conf. on Software Engineering, S orrento, May 1994.
4. J. Magee, J. Kramer, and M. Sloman, Constructing Distributed Systems in Conic, IEEE Transactions on Software Engineering, SE-15 (6), 1989.
5. J. Kramer, J. Magee, M. Sloman and N. Dulay, Configuring Object-Based Distributed Programs in Rex, IEE Software Engineering Journal, Vol. 7, 2, March 1992, pp139-149.
6. J. Magee, N. Dulay and J. Kramer, Structuring Parallel and Distributed Programs, IEE Software Engineering Journal, Vol. 8, No. 2, March 1993, pp73-82.
7. J.M. Purtilo, The POLYLITH Software Bus, ACM Transactions on Programming Languages, 16(1), January 1994, pp 151-174.
8. M. Barbacci, C. Weinstock, D. Doubleday, M. Gardner and R. Lichota, Durra: a structure description language for developing distributed applications, IEE Software Engineering Journal, Vol. 8, No. 2, March 1993, pp83-94.
9. H. Graves, Lockheed Environment for Automatic Programming, Proc. of KBSE 91, 6th IEEE Knowledge Based Software Engineering Conference, 1991, pp 68-76.
10. J. Magee, N. Dulay and J. Kramer, Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, to appear.
11. S. Crane, N. Dulay, H. Fosså, J. Kramer, J. Magee, M. Sloman and K. Twidle, Configuration Management for Distributed Systems, to be presented at ISINM 95.
12. ANSAware 4.1: Application Programming in Ansa ware, Document RM.102.02, Architecture Projects Management Agency, Poseidon House, Cambridge Feb. 1993.
13. R. Milner, J. Paxrow, and D. Walker, A calculus of mobile processes, Parts I and II, Journal of Information and Computation, Vol. 100, pp 1-40 and pp 41-77, 1992.
14. K. Ng, J. Kramer, J. Magee and N. Dulay, The Software Architect’s Assistant - A Visual Environment for Distributed Programming, HICSS-28, January 1995.
15. R. Milner, The polyadic π-calculus: a tutorial, in Logic and Algebra of Specification, ed. F.L. Bauer, W. Brauer and H. Schwichttenberg, Springer Verlag, 1993, pp 203-246.
16. S. Eisenbach and R. Paterson, π-Calculus Semantics for the Concurrent Configuration Language Darwin, HICSS-26, January 1993.
17. A. Harter and A. Hopper, A Distributed Location System for the Active Office, IEEE Network, Jan./Feb. 1994, pp. 62-70.
18. R. Allan and D. Garlan, Formalizing Architectural Connection, Proc. of 16th International Conference on Software Engineering, Sorrento, May 1994.
19. M. Radestock and S. Eisenbach, What Do You Get From a π-calculus Semantics?, PARLE 94, Springer-Verlag, LNCS No. 817, pp635-647, 1994.
20. G. Abowd, R. Allen and D. Garlan, Using style to give meaning to software architecture, In Proceedings of the SIGSOFT’93: Foundations of Software Engineering, Software Engineering Notes 118(3), pp. 9-20, ACM Press, Dec. 1993.
21. M.D. Rice and S.B. Seidman, A Formal Model for Module Interconnection Languages, IEEE Transactions on Software Engineering, 20 (1), 1994, 88-101.
22. J.M. Spivey, The Z Notation, a Reference Manual, Prentice Hall, Englewood Cliffs, N.J., 1989.
23. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, N.J., 1989.
24. C.A.R. Hoare, Communicating sequential processes, Prentice-Hall, Englewood Cliffs, N.J., 1985.
25. R. Milner, Elements of Interaction - Turing Award Lecture, CACM, Vol 36, No. 1, January 1993, pp78-79.