References

AAG95

G. Abowd, R. Allen, and D. Garlan.
Formalizing style to understand descriptions of software architecture.
ACM Transactions on Software Engineering and Methodology, 4(4):319-364, October 1995.

AG94

R. Allan and D. Garlan.
Formalizing architectural connection.
In Proceedings of the 16th International Conference on Software Engineering, pages 71-80, 1994.

BA96

P. Baraona and P. Alexander.
Abstract architecture representation using VSPEC.
Technical report, University of Cincinnati, Cincinnati, OH, 1996.

BBK⁺97

F. Bronsard, D. Bryan, W. Kozaczynski, E. S. Liongosari, J. Q. Ning, A. Ólafsson, and J. W. Wetterstrand.
Towards software plug-and-play.
In Proceedings of the 1997 Symposium on Software Reusability, pages 136-145, 1997.

BO92

D. Batory and S. O'Malley.
The design and implementation of hierarchical software systems with reusable components.
ACM Transactions on Software Engineering and Methodology, 1:355-398, 1992.

Del96

C. Dellarocas.
A coordination perspective on software architectures: towards a design handbook for integrating software components.
Technical Report 193, Massachusetts Institute of Technology, Cambridge, MA, 1996.

GH93

J. Guttag and J. Horning.
Larch: Languages and Tools for Formal Specification.
Springer-Verlag, 1993.

Hoa85

C. A. R. Hoare.
Communicating Sequential Processes.
Prentice-Hall, 1985.

IW95

P. Inverardi and A. L. Wolf.
Formal specification and analysis of software architectures using the Chemical Abstract Machine model.
IEEE Transactions on Software Engineering, 21:373-386, 1995.

JPB97

G. Jiménez-Pérez and D. Batory.
Memory simulators and software generators.
In Proceedings of the 1997 Symposium on Software Reusability, pages 19-29, 1997.

KS95

D. Kaplan and R. Stevens.
Processing graph method 2.0 semantics.
Technical report, Naval Research Laboratory, Washington, DC, 1995.

MDEK95

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer.
Specifying distributed software architectures.
In Proceedings of the 5th European Software Engineering Conference, 1995.

PA97a

J. Penix and P. Alexander.
Efficient specification-based component retrieval.
Automated Software Engineering, 1997.

PA97b

J. Penix and P. Alexander.
Towards automated component adaptation.
In Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering, 1997.

RS94

M. Rice and S. Seidman.
A formal model for module interconnection languages.
IEEE Transactions on Software Engineering, 20(1):88-101, January 1994.

RS96a

M. Rice and S. Seidman.
Describing the PGM architectural style.
Technical Report CS-96-121, Colorado State University, Fort Collins, CO, 1996.

RS96b

M. Rice and S. Seidman.
Using Z as a substrate for an architectural style description language.
Technical Report CS-96-120, Colorado State University, Fort Collins, CO, 1996.

Spi89

J. Spivey.
The Z notation, A Reference Manual.
Prentice-Hall, 1989.

VB97

E. E. Villareal and D. Batory.
Rosetta: A generator of data language compilers.
In Proceedings of the 1997 Symposium on Software Reusability, pages 146-156, 1997.

Wil96

D. Wile.
Semantics for the architecture interchange langage, ACME.
In Proceedings of the Second International Software Architecture Workshop, pages 28-30, 1996.

ZJ93

P. Zave and M. Jackson.
Conjunction as composition.
ACM Transactions on Software Engineering, 2(4):379-411, October 1993.