Skip to main content
SpringerLink
Log in

Analyzing and refining an architectural style

  • Conference paper
  • First Online:
ZUM '97: The Z Formal Specification Notation (ZUM 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1212))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. G. Berry and G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, 96:217–248, 1992.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. S. Brien and J. Nicholls. Z Base Standard, November 1992. Programming Research Group.

    Google Scholar 

  7. K. M. Chandy and J. Misra. Parallel Programming Design. Addison-Wesley, 1988.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood, Chichester, 1991.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. D. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes, 17(4):40–52, October 1992.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. J. Spivey. Understanding Z. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, Università di Bologna, Italia

    Paolo Ciancarini & Cecilia Mascolo

Authors
  1. Paolo Ciancarini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cecilia Mascolo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan P. Bowen Michael G. Hinchey David Till

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation