Formalizing Style to Understand Descriptions of Software Architecture

ACM Transactions on Software Engineering and Methodology (TOSEM)

Volumn 4, Issue 4, 1995, Pages 319-364

  Abowd, Gregory D ^a   Allen, Robert ^b   Garlan, David ^b  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; INTERFACES (COMPUTER);

SOFTWARE ARCHITECTURE;

SOFTWARE ENGINEERING;

EID: 0029390712     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/226241.226244     Document Type: Article

References (34)

1. Alexander, C., Ishikawa, S., Silverstein, M., Jacobson, M., fiksolahl-king, L, and angel, S. 1977. A Pattern Language: Towns, Buildings, Construction. Oxford University Press, New York.
2. Allen R. and garlan, D. 1992. A formal approach to software architectures In Proceedings of IFIP 92, J. van Leeuwen, Ed. Elsevier Science Publishers, B.V., Amsterdam.
3. Allen, R. and Garlan, D. 1992. Towards formalized software architectures. Tech Rep CMU-CS-92-163, School of Computer Science, Carnegie MeTon Univ., Pittsburgh, Pa. July.
4. Allen, R. and Garlan, D. 1994. Beyond defmition/use: Architectural interconnection. In Proceedings of the ACM Interface Definition Language Workshop. SIGPLAN Not. 29, 8
5. Allen, R. and Garlan, D. 1994 Formalizing architectural connection. In Proceedings of the 16th International Conference on Software Engineering (Sorrento, Italy). IEEE Computer Society Press, Los Alamitos, Calif., 71–80.
6. Berry, G. and Boudol, G. 1992. The chemical abstract machine. Theor. Comput. Sci. 96, 216–248.
7. DARPA. 1990. Proceedings of the Workshop on Domain-Specific Software Architecture. Software Engineering Inst., Hidden Valley, Pa.
8. Earl, A. 1990. A reference model for computer assisted software engineering environment frameworks. Tech. Rep. HPL-SEG-TN-9011, Hewlett Packard Laboratories, Bristol, England Aug.
9. Freeman, P. and Washerman, A I. 1976. Tutorial on Software Design Techniques. IEEE Computer Society Press, Los Alamitos, Calif.
10. Gamma, E, Helm, R., Johnson, R., And Vlissides, J. 1994 Design Patterns: Elements of Reusable Object-Oriented Design. Addison-Wesley, Reading, Mass.
11. Garlan, D. And Delisle, N. 1990. Formal specifications as reusable frameworks. In VDM ' x2018;90: VDM and Z—Formal Methods in Software Development (Kiel, Germany). Lecture Notes in Computer Science, vol. 428. Springer-Verlag, Berlin, 150–163.
12. Garlan, D. And Notkin, D. 1991. Formalizing design spaces: Implicit invocation mechanisms. In VDM 91: Formal Software Development Methods. Lecture Notes in Computer Science, vol. 551. Springer-Verlag, Berlin, 31–44.
13. Garlan, D. and Scott, C. 1993. Adding implicit invocation to traditional programming languages. In Proceedings of the 15th International Conference on Software Engineering (Bal-timore, Md.). IEEE Computer Society Press, Los Alamitos, Calif.
14. Garlan, D. and Shaw, M. 1993. An introduction to software architecture. In Advances in Software Engineering and Knowledge Engineering, V. Ambriola and G. Tortora, Eds. World Scientific, Singapore, 1–39. Also appears as SCS and SEI Tech. Reps. CMU-CS-94-166, CMU/SEI-94-TR-21, ESC-TR- 94-021.
15. Garlan, D., Allen, R., and Ockerbloom, J. 1994. Exploiting style in architectural design environments. In Proceedings of SIGSOFT 94: The 2nd ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Press, New York, 179–185.
16. Garlan, D,, Kaiser, G. E., And Notkin, D, 1992. Using tool abstraction to compose systems. IEEE Comput. 25, 6 (June).
17. hayes-roth, b, pfleger, k., lalanda, p., morignot, p., and balabanovic, m. 1995 A domain-specific software architecture for adaptive intelligent systems. IEEE Trans. Softw. Eng. 21, 4 (Apr,), 288–301.
18. Hoare, C. A. R. 1985. Communicating Sequential Processes. Prentice-Hall International, London 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.
19. Lockham, D. C., augustin, L. m, keenney, 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.
20. Magee, J. and Kramer, J. 1995. Modelling distributed software architectures. Tech. Rep CMU-CS-95-151, Carnegie Mellon Univ., Pittsburgh, Pa.
21. Mettala, E. and graham, M H 1992. The domain-specific software architecture program Tech. Rep. CMU/SEI-92-SR-9, Carnegie Mellon Software Engineering Institute, Pittsburgh. Pa. June.
22. moriconi, m, zian, X, and riemenschneider, r 1995 Correct architecture refinement. IEEE Trans. Softw. Eng. 21, 4 (Apr.), 356–372
23. Morris, C. R. and ferguson, C. H. 1993. How architecture wins technology wars Harvard Bus. Rev 71, 2 (Mar -Apr.)
24. Nn, H. P. 1986. Blackboard systems: Part 1 Al Mag 7, 3, 38–53.
25. Nil, H. P. 1986. Blackboard systems: Part 2. AI Mag 7, 4, 62–69
26. Perry, D E. and Wolf, A. L. 1992. Foundations for the study of software architecture. Softw Eng. Not 77, 4 (Oct.), 40–52
27. Pree, W 1995 Design Patterns for Object-Oriented Software Development Addison-Wesley, Reading, Mass.
28. Reiss, S 1990. Connecting tools using message passing m the Field Environment. IEEE Softw. 7, 4 (July), 57–66.
29. Shaw, M. 1989. Larger scale systems require higher level abstractions In Proceedings of the 5th International Workshop on Software Specification and Design. Softw. Eng. Not. 14, 3 (May), 143–146.
30. Shaw, M and Garlan, D. 1995. Formulations and Formalisms in Software Architecture Lecture Notes m Computer Science. Vol. 1000. Springer-Verlag, Berlin.
31. 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
32. Spivey, J. 1992. The Z Notation: A Reference Manual, 2nd ed. Prentice-Hall, Englewood Cliffs, N J
33. Sullivan, K J. and Notkin, D 1992. Reconciling environment integcation and software evolution. ACM Trans Softw. Eng. Method 1, 3 (July), 229–268
34. Vestal, S. 1994. Mode changes in real-time architecture description language. In Proceedings of the 2nd International Workshop on Configurable Distributed Systems. IEEE Computer Society Press, Los Alamitos, Calif.