Software architecture and design suffer from a lack of documented knowledge on how different architectural styles influence software quality. Existing software quality models do not allow engineers to evaluate whether a given software system adequately implements the basic principles of the chosen architectural style, and which architectural properties and best practices beyond these principles...

Religious place attachment is an affective bond that develops between people and their religious settings. The published literature shows that although religion has a significant impact on the public ‘place attachment’, the architectural features and attributes of the places could still play an influencing role in strengthening this attachment. However, the role of architectural characteristics...

Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve consistently with its operational environment. The Tropos requirements oriented development methodology, has defined a number of organizational architectural styles which are suitable to cooperative, dynamic and distribute...

Distributed object oriented software is gaining interest. Nevertheless, developing distributed systems is inherently more difficult than creating single-machine applications. Middleware solutions and distributed object frameworks are intended to help developers in building distributed software. Deciding on which distributed technology to deploy, however, is not straightforward. In this paper, w...

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...

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...

We show how the formal description language LOTOS can be used to deene software architectures and how patterns over LOTOS can serve to characterize architectural styles. We characterize styles by giving characteristics of the involved processes, a top-level communication pattern, and constraints that are suucient conditions for a concrete architectural description to be an instance of a given s...

The understanding and reuse of software architectures and designs can be greatly aided by the use of formal models of the architectural styles within which the architectures and designs were developed. The architecture style description language ASDL can be used to build such models. Workshop Goals: Learning, networking, discussing issues related to the relevance of software architectures and a...

Distributed object oriented software is gaining interest. Nevertheless, developing distributed systems is inherently more difficult than creating single-machine applications. Middleware solutions and distributed object frameworks are intended to help developers in building distributed software. Deciding on which distributed technology to deploy, however, is not straightforward. In this paper, w...

We provide a rigorous and concise formalism for specifying design architectures exterior to the design language. This allows several evolving architectural styles to be supported independently. Such architectural styles are specified in a tailored parse tree logic, which permits automatic support for conformance and consistency. We exemplify these ideas with a small design architecture inspired...