Computer Science Colorado Technical Report State University Using Z as a Substrate for an Architectural Style Description Language

This paper shows how Z can be used as a substrate for an architectural style description language. The language provides a collection of abstract software types that support the description of execution and interface semantics, logical views, and relationships between logical views. The software types correspond to application-invariant Z schemas, which provide a type-theoretic basis for the language that allows it to be used for describing, analyzing, and comparing various architectural styles and logical views.

[1]  Paola Inverardi,et al.  Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model , 1995, IEEE Trans. Software Eng..

[2]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[3]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[4]  Michael D. Rice,et al.  A Formal Model for Module Interconnection Languages , 1994, IEEE Trans. Software Eng..

[5]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[6]  David Garlan,et al.  Formalizing Architectural Connection , 1994, ICSE.

[7]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[8]  Jeff Magee,et al.  Distributed Software Architectures , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[9]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[10]  A. W. Roscoe,et al.  A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..

[11]  Michael D. Rice,et al.  Describing the PGM Architectural Style , 1996 .

[12]  Gregory D. Abowd,et al.  Using style to understand descriptions of software architecture , 1993, SIGSOFT '93.

[13]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..