A Formal Basis for Architectural Connection

ACM Transactions on Software Engineering and Methodology

Volumn 6, Issue 3, 1997, Pages 213-249

  Allen, Robert ^a   Garlan, David ^a  

^a Carnegie Mellon University   (United States)

Author keywords

D.2.1 Software Engineering : Requirements Specification languages; D.2.2 Software Engineering : Tools and Techniques modules and interfaces

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LANGUAGES; FORMAL LOGIC; NETWORK PROTOCOLS;

FORMAL MODELS; SOFTWARE ANALYSIS;

SOFTWARE ENGINEERING;

EID: 0031193084     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/258077.258078     Document Type: Article

References (39)

1. ABOWD, G., ALLEN, R., AND GARLAN, D. 1995. Formalizing style to understand descriptions of software architecture. ACM Trans. Softw. Eng. Methodol. 4, 4 (Oct.).
2. ALLEN, R. J. 1997. A formal approach to software architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, Pa., May.
3. BROOKES, S. D. AND ROSCOE, A. W. 1985. An improved failures model for communicating processes. In Proceedings of the NSF-SERC Seminar on Concurrency. Lecture Notes in Computer Science, vol. 197. Springer-Verlag, Berlin.
4. 20 states and beyond. In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science. IEEE, New York.
5. CAMERON, J. 1989. JSP and JSD: The Jackson Approach to Software Development. IEEE Computer Society Press, Los Alamitos, Calif.
6. CLARKE, E., EMERSON, E. A., AND SISTLA, A. P. 1986. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 2 (Apr.), 244-263.
7. DARPA. 1990. Proceedings of the Workshop on Domain-Specific Software Architectures. Software Engineering Institute, Pittsburgh, Pa.
8. ESTRIN, G., FENCHELL, R. S., RAZOUK, R. R., AND VERNON, M. K. 1986. Sara (system architects apprentice): Modelling, analysis, and simulation support for design of concurrent systems. IEEE Trans. Softw. Eng. SE-12, 2 (Feb.), 293-311.
9. FORMAL SYSTEMS. 1992. Failures Divergence Refinement: User Manual and Tutorial. 1.2β ed. Formal Systems (Europe), Oxford, U.K.
10. GARLAN, D., Ed. 1995. Proceedings of the 1st International Workshop on Architectures for Software Systems (Seattle, Wash., Apr.). Available as CMU Tech. Rep. CMU-CS-95-151. Apr.
11. GARLAN, D. AND PERRY, D., Eds. 1995. Special issue on software architecture. IEEE Trans. Softw. Eng. 21, 4 (Apr.).
12. GREEN, P. AND GRIFFIN, T. 1995. Specification for the RTIS HLA/RTI implementation. Tech. Rep. RTIS10951, The Real-Time Intelligent Systems Corp., Westborough, Mass., Oct.
13. HAREL, D. 1987. Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 3, 231-274.
14. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, N.J.
15. HOLZMANN, G. J. 1991. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, N.J.
16. INVERARDI, P. AND WOLF, A. 1995. Formal specification and analysis of software architectures using the chemical, abstract machine model. IEEE Trans. Softw. Eng. 21, 4 (Apr.), 373-386.
17. JACOB, J. 1989. Refinement of shared systems. In The Theory and Practice of Refinement, J. A. McDermid, Ed. Butterworths, London, U.K.
18. JIFENG, H. 1990. Specification and design of the X.25 protocol: A case study in csp. In Developments in Concurrency and Communication, C. A. R. Hoare, Ed. Addison-Wesley, Reading, Mass.
19. LAM, S. S. AND SHANKAR, A. U. 1994. A theory of interfaces and modules i - Composition theorem. IEEE Trans. Softw. Eng. 20, 1 (Jan.).
20. LARSEN, K. G. AND MILNER, R. 1986. A complete protocol verification using relativized bisumulation. Tech. Rep. ECS-LFCS-86-13, Univ. of Edinburgh Laboratory for Foundations of Computer Science, Edinburgh, U.K.
21. LUCKHAM, D. C., AUGUSTIN, L. M., KENNEY, J. J., VERA, J., BRYAN, D., AND MANN, W. 1995. Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. 21, 4 (Apr.), 336-355.
22. LYNCH, N. A. AND TUTTLE, M. R. 1988. An introduction to input/output automata. Tech. Rep. MIT/LCS/TM-373, MIT Laboratory for Computer Science, Cambridge, Mass.
23. MAGEE, J., DULAY, N., EISENBACH, S., AND KRAMER, J. 1995. Specifying distributed software architectures. In Proceedings of the 5th European Software Engineering Conference, ESEC'95. Sept.
24. METTALA, E. AND GRAHAM, M. H. 1992. The domain-specific software architecture program. Tech. Rep. CMU/SEI-92-SR-9, Software Engineering Institute, Pittsburgh, Pa.
25. MILNER, R., PARROW, J., AND WALKER, D. 1992. A calculus of mobile processes. J. Inf. Comput. 100, 1-77.
26. NIERSTRASZ, O. 1993. Regular types for active objects. In Proceedings of OOPSLA '93. ACM SIGPLAN Not. 28, 10 (Oct.), 1-15.
27. NII, H. P. 1986a. Blackboard systems. Part 1. AI Mag. 7, 3, 38-53.
28. NII, H. P. 1986b. Blackboard systems. Part 2. AI Mag. 7, 4, 62-69.
29. PERRY, D. E. 1987. Software interconnection models. In Proceedings of the 9th International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., 61-68.
30. PETERSON, J. L. 1977. Petri nets. ACM Comput. Surv. 9, 3 (Sept.), 223-252.
31. PRIETO-DIAZ, R. AND NEIGHBORS, J. M. 1986. Module interconnection languages. J. Syst. Softw. 6, 4 (Nov.), 307-334.
32. PURTILO, J. M. 1994. The POLYLITH software bus. ACM Trans. Program. Lang. Syst. 16, 1 (Jan.), 151-174.
33. REISS, S. P. 1990. Connecting tools using message passing in the Field Environment. IEEE Softw. 7, 4 (July), 57-66.
34. REPS, T. AND TEITELBAUM, T. 1989. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, Berlin.
35. SHAW, M. 1993. Procedure calls are the assembly language of system interconnection: Connectors deserve first-class status. In Proceedings of the Workshop on Studies of Software Design. May.
36. SHAW, M. AND GARLAN, D. 1995. Formulations and formalisms in software architecture. In Computer Science Today: Recent Trends and Developments, J. van Leeuwen, Ed. Lecture Notes in Computer Science, vol. 1000. Springer-Verlag, Berlin.
37. SHAW, M. AND GARLAN, D. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs, N.J.
38. SHAW, M., DELINE, R., KLEIN, D. V., ROSS, T. L., YOUNG, D. M., AND ZELESNIK, G. 1995. Abstractions for software architecture and tools to support them. IEEE Trans. Softw. Eng. 21, 4 (Apr.), 314-335.
39. YELLIN, D. M. AND STROM, R. E. 1994. Interfaces, protocols, and the semi-automatic construction of software adaptors. In Proceedings of OOPSLA'94. ACM, New York.