Abstract
Architectural styles have been introduced in [1] in order to classify and analyze software architectures. In that paper, Z was used as a notation to specify and study architectural styles, however some problems remained open concerning specification and analysis of their behavioral properties. We use a new operational semantics to describe and analyze an architectural style of distributed systems. We introduce three refinements of a “Message Router” style, useful to describe distributed applications like e-mail or news systems; we also formalize and prove some properties of the style and, henceforth, of derived software architectures.
Preview
Unable to display preview. Download preview PDF.
References
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.
M. Benjamin. A Message Passing System. An example of combining Z and CSP. In J. Nicholls, editor, Proc. 4th Z Users Workshop (ZUM89), Workshops in Computing, pages 221–228, Oxford, 1989. Springer-Verlag, Berlin.
G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217–248, 1992.
G. Boudol. Some Chemical Abstract Machines. In J. deBakker, W. deRoever, and G. Rozenberg, editors, A Decade of Concurrency, volume 803 of Lecture Notes in Computer Science, pages 92–123. Springer-Verlag, Berlin, 1993.
P. Breuer and J. Bowen. Towards Correct Executable Semantics for Z. In J. Bowen and J. Hall, editors, Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, pages 185–212, Cambridge, 1994. Springer-Verlag, Berlin.
S. Brien and J. Nicholls. Z Base Standard, November 1992. Programming Research Group.
K. M. Chandy and J. Misra. Parallel Programming Design. Addison-Wesley, 1988.
P. Ciancarini, S. Cimato, and C. Mascolo. Engineering Formal Requirements: an Analysis and Testing Method for Z Documents. Annals of Software Engineering, (to appear), 1997.
I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood, Chichester, 1991.
C. Creveuil and G. Roman. Formal Specification and Design of a Message Router. ACM Transactions on Software Engineering and Methodology, 3(4):271–307, October 1994.
H. Cunningham and Y. Cai. Specification and Refinement of a Message Router. In Proc. 7th IEEE Int. Workshop on Sw Specification and Design, pages 20–29. IEEE Computer Society Press, December 1993.
A. Evans. Specifying and Verifying Concurrent Systems Using Z. In M. Bertran, T. Denvir, and M. Naftalin, editors, Proc. FME'94 Industrial Benefits of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 366–380. Springer-Verlag, Berlin, 1994.
A. Evans. Visualizing Concurrent Z Specifications. In J. Bowen and J. Hall, editors, Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, pages 269–281, Cambridge, 1994. Springer-Verlag, Berlin.
D. Garlan and M. Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, pages 1–40. World Scientific Publishing Co., 1992.
X. He. PZ Nets: A Formal Method Integrating Petri Nets with Z. In Proc. 7th Int. Conf. on Software Engineering and Knowledge Engineering, pages 173–180, Rockville, Maryland, 1995. Knowledge Systems Institute.
P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering, 21(4):373–386, April 1995.
D. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40–52, October 1992.
M. Shaw and D. Garlan. Formulations and Formalisms in Software Architecture. In J. vanLeeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 307–323. Springer-Verlag, Berlin, 1995.
J. Spivey. Understanding Z. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciancarini, P., Mascolo, C. (1997). Analyzing and refining an architectural style. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds) ZUM '97: The Z Formal Specification Notation. ZUM 1997. Lecture Notes in Computer Science, vol 1212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027297
Download citation
DOI: https://doi.org/10.1007/BFb0027297
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62717-3
Online ISBN: 978-3-540-68490-9
eBook Packages: Springer Book Archive