Reening by Architectural Styles or Architecting by Reenements
نویسندگان
چکیده
System development by reenements provides a number of advantages, notably correct derivation and documentation of design decisions. In this paper, we illustrate this position by introducing some reenement patterns that correspond to well known architectural styles: The application of a pattern in the development both guarantees the correctness of the step, and makes the architecture explicit.
منابع مشابه
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 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 dist...
متن کاملDevelopment of Communication Protocols by Composing and Reening Temporal Speciications
This paper presents a modular temporal logic for the speciication and veriica-tion of communication protocols. Based on this setting we present a development method that supports stepwise reenement of distributed systems. An inference rule for composing temporal speciications as well as proof rules for the veriication of reenements are given. We illustrate the application of our method by reeni...
متن کاملReference Architectural Styles for Service-Oriented Computing
Architecting service-oriented systems is a complex design activity. It involves making trade-offs among a number of interdependent design decisions, which are drawn from a range of concerns by various software stakeholders. In order to achieve effective and efficient SOC design we believe a careful study of architectural styles that can form the reference architecture is important. Hence, this ...
متن کاملCompositional Reenement of Interactive Systems
We describe systems and their components by functional speciication techniques. We deene notions of interface and interaction reenement for interactive systems and their components. These notions of reenement allow one to change both the syntactic (the number of channels and sorts of messages at the channels) and the semantic interface (causality ow between messages and interaction granularity)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996