CUED Publications database

Analyzing and refining an architectural style

Ciancarini, P and Mascolo, C (1997) Analyzing and refining an architectural style. In: UNSPECIFIED pp. 347-368..

Full text not available from this repository.

Abstract

© Springer-Verlag Berlin Heidelberg 1997. 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.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Subjects: UNSPECIFIED
Divisions: UNSPECIFIED
Depositing User: Cron Job
Date Deposited: 17 Jul 2017 19:42
Last Modified: 19 Oct 2017 01:29
DOI: