Analyzing and Re ning an Architectural Style
نویسنده
چکیده
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 speciication and analysis of their behavioral properties. In this paper we use a new operational semantics to describe and analyze an architectural style for distributed systems. We give three reenements of a \Message Router" style, useful for describing distributed applications like e-mail or news systems; we also formalize and prove some properties of the style and, henceforth, of derived software architectures.
منابع مشابه
Style-Based Re nement for Software Architecture
A question that frequently arises for architectural design is \When can I implement a design in style S1 using a design in style S2?" In this paper I propose a technique for structuring a solution to this kind of problem using the idea of substyles. This technique leads to a two-step process in which rst, useful subsets of a family of architectures are identied, and second, re nement rules spec...
متن کاملAnalyzing and Refining an Architectural Style
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 speciication and analysis of their behavioral properties. We use a new operational semantics to describe and analyze an architectural style of distributed systems...
متن کاملAnalyzing architectural styles
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constraints on how that vocabulary is used. Given the increasing number and complexity of architectural styles, designing a sound and appropriate style becomes an important and intellectually challenging activity. Unfortunately...
متن کاملExternalizing Component Manners to Achieve Greater Maintainability through a Highly Re-Configurable Architectural Style
The maintenance and evolution of distributed, heterogeneous software components; including both legacy and green-field subsystems is described through a highly re-configurable architectural style. It is shown how this architectural style is realized through identification, separation and externalization of a formal specification of the manners of the application domain and its components. The a...
متن کاملAn architectural style for spatial data infrastructures
This work proposes an architectural style, a pattern, for SDIs. This style provides a tool and a shared vocabulary to help system architects to design these infrastructures, and facilitates the exchange of knowledge about them. This style is defined under the component-andconnector architectural viewtype, extending the client-server and shared-data styles. The style has been created after analy...
متن کامل