UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Analyzing and refining an architectural style

Ciancarini, P.; Mascolo, C.; (1997) Analyzing and refining an architectural style. In: Bowen, J. and Hinchey, M. and Till, D., (eds.) Proceedings of 10th International Conference on the Z Formal Method (ZUM). (pp. pp. 349-368). Springer Verlag Green open access

[thumbnail of 6.1_zum] PDF

Download (186kB)


Architectural styles have been introduced 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 architectual 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.

Type: Proceedings paper
Title: Analyzing and refining an architectural style
Open access status: An open access version is available from UCL Discovery
Language: English
URI: https://discovery.ucl.ac.uk/id/eprint/799
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item