INFT 821 Schedule - Fall 1999

UNDER CONSTRUCTION

Date	Topics	Reading	Slides
8/30	Introduction	SG1, BCK1,2	postscript, html
9/13	MILs	[DeKr76],[Purt94]	postscript, html
9/20	Architectural Styles	SG 2,BCK 5-6	postscript, html
9/27	Architecture Description Languages	SG 6,7 BCK 12 [LuKe95]	Wright (powerpoint) ADL/Rapide(postscript)
10/4	Architecture Description Languages	SG 6,7 BCK 12 [LuKe95]	ROOM and CHAM (postscript) (HTML)
10/13	No Class
10/18	Case Studies Topic picked
10/25	Case Studies Design Spaces	SG Ch. 5
11/1	Architectural Analysis	BCK 9	postscript
11/8	Reusable Architecture Outline due	BCK 15,17	postscript
11/15	Dynamic Architecture Issues Architectural Testing
11/22	Student Presentations: Barbra, Lance, Paul
11/29	Student Presentations: Vasu, Ric, Aynur, Brad Paper/Project due
12/6	Student Presentations: Vinay, Mark, Bill, Daniel
12/13	Student Presentations?

Texts

SG - Software Architecture: Perspectives on an Emerging Discipline, M. Shaw, D. Garlan
BCK - Software Architecture in Practice, L. Bass, P. Clements, R. Kazman

You can reach ACM and IEEE papers thru GMU library links

Additional and required papers listed below. The required papers have citations [XXX9X] in front.

Introduction

Architectural mismatch or why it's hard to build systems out of existing parts D. Garlan, R. Allen and J. Ockerbloom Proceedings of IEEE ICSE 17, April 1995.

Foundations for the study of software architecture D. Perry and A. Wolf Proceedings of ACM SIGSOFT , vol. 17, no. 4, October 1992, pp. 40-52.

MILs

[DeKr76] F. DeRemer and H. Kron, ``Programming-in-the-large versus programming-in-the-small'' IEEE Transactions on Software Engineering, vol. 2, no. 2, June 1976, pp. 80-86.
[Purt94] J. Purtilo, ``The Polylith software bus'' ACM Transactions on Programming Languages and Systems, vol. 16, no. 1, January 1994, pp. 151-174.
Regis: a constructive development environment for distributed programs
J. Magee, N. Dulay and J. Kramer
Distributed Systems Engineering, vol. 1, no. 5, September 1994, pp. 304-312.
B. Beach, "Connecting Software Components with Declarative Glue", Proceedings of ICSE 14, May 1992, 120-136.

ADLs

[LuKe95] Specification and analysis of system architecture using Rapide
D. Luckham, J. Kenney et al.
IEEE Transactions on Software Engineering. Vol. 21, no. 4, pp. 336-355, April 1995. This and other rapide pubs
Communicating Sequential Processes
C.A.R. Hoare, Prentice Hall 1985.
Beyond definition/use: architectural interconnection
R. Allen and D. Garlan
Proceedings of ACM Workshop on Interface Definition Languages, January 1994, pp. 35-45.
Modeling the protocols of architectural connectors
R. Allen and D. Garlan
CMU, unpublished report, 1994.
P. Inverardi, A. Wolf, "Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model", University of Colorado, Boulder Technical Report CU-CS-709-94.

Formal Models

A. Abd-Allah, Composing Heterogenous Software Architectures, USC Technical Report USC-CSE-95-502, April 1995.
Abd-Allah, A. and B. Boehm, Reasoning About the Composition of Heterogeneous Architectures, USC Technical Report USC-CSE-95-503, November, 1995
Dean, T., J. R. Cordy A Syntactic Theory of Software Architecture IEEE Transactions on Software Engineering April 1995, 302-313.

Additional References

Andrews, G., "Paradigms for Process Interaction in Distributed Programs", ACM Computing Surveys, 23 (1), March 1991, 49-90.
C. Gacek, A. Abd-Allah, B.K. Clark, and B.W. Boehm, On the Definition of Software System Architecture, in Proceedings of the First International Workshop on Architectures for Software Systems - In Cooperation with the 17th International Conference on Software Engineering, D. Garlan (ed.), Seattle, Wa., 24-25 April 1995, pp. 85-95.
C. Gacek, Exploiting Domain Architectures in Software Reuse, in Proceedings of the ACM-SIGSOFT Symposium on Software Reusability (SSR'95), ACM Press, Seattle, Wa., 28-30 April 1995, pp. 229-232.
C. Gacek, A. Abd-Allah, B. Clark, B. Boehm, "Focused Workshop on Software Architectures: Issue Paper" USC-CSE-94-499. Univeristy of Southern California, Center for Software Engineering, 1994.
Garlan, D.,R. Allen and J. Ockerbloom Exploiting style in architectural design environments Proceedings of ACM SIGSOFT 94, December 1994.
Garlan, D., G. Kaiser and D. Notkin Using tool abstraction to compose systems IEEE Computer, June 1992, pp. 30-38.
Garlan, D., D. Notkin Formalizing design spaces: implicit invocation mechanisms Proceedings of VDM 91, October 1991.
D. Gelernter, N. Carriero, "Coordination Languages and their Significance", Communications of the ACM, 55(2), 1992, 97-107.
Kozaczynski, W., E. Liongosari, J. Ning and A. Olafsson, Architecture specification support for component integration, Andersen Consulting CSTAR Technical Report, 1995.
Lamb, D., An introduction to IDL, Queen's University Dept of CIS Technical Report ISSN-0836-0227-88-237, November 1988.
T. Lane, A Design Space and Design Rules for User Interface Software Architecture, Software Engineering Institute Technical Report CMU/SEI-90-TR-22.
T. Lane, Studying Software Architecture through Design Spaces and Rules Software Engineering Institute Technical Report CMU/SEI-90-TR-18.
Notkin, D., D. Garlan, W. Griswold and K. Sullivan Adding implicit invocation to languages: three approaches Proceedings JSSST Int'l Symposium on Object Technologies for Advanced Software, November 1993.
Parnas, D. On the Criteria to be Used in Decomposig Systems into Modules. Communications of the ACM, Vol 15, No. 12, December 1972, 1053-1058
Shaw, M., D. Garlan, R. Allen et al., Candidate model problems in software architecture, Software Architecture Group Technical Report, CMU, December 1993.
Shaw, M., R. DeLine, D. Klein, T. Ross, D. Young, G. Zelesnik Abstractions for Software Architecture and Tools to Support Them IEEE Transactions on Software Engineering, April, 1995, 14-335.