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
![[thumbnail of 6.1_zum]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
6.1_zum Download (186kB) |
Abstract
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 |
Archive Staff Only
 |
View Item |
