The codification of software architectural decisions made to address recurring software development challenges results in architectural styles. The primary benefit of architectural styles is that properties demonstrated at the level of a style are carried over into the software system architectures constructed using that style. However, in the absence of comprehensive techniques for checking co...

The synthesis of the three-dimensional morphology of a building is one of the most important tasks in architecture. Space planning and morphology are of the most interesting and complex of architectural design problems. Architectural design is guided by the constraints on the spatial composition and the morphology of the final building. During the conceptual phase problems are characterised by ...

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

This paper describes an architectural approach that facilitates the modelling and analysis of dependable systems that are built from untrustworthy components whose designs, we assume, cannot be changed. The approach is based on the definition of an architectural style in which connectors are considered as first class entities, which embody the description of collaborative behaviour between comp...

This paper presents an extension of existing software architecture tools to model physical systems, their interconnections, and the interactions between physical and cyber components. A new CPS architectural style is introduced to support the principled design and evaluation of alternative architectures for cyberphysical systems (CPSs). The implementation of the CPS architectural style in AcmeS...

The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such as architectural styles, structural and behavioural modelling, into a coherent framework. We propose an ontological approach for architectural style modelling based on descriptio...

Districts Samut Songkhram Province is a valuable architectural market. The lifestyle of the community's relationship with the living space and the relationship between the architectural style of the area's residential waterfront communities of Bangnoi Floating Bangkhonthi Districts Samut Songkhram Province, which deserves to be preserved. Therefore, this research it helps to know the value of t...

The term software architectural style has recently been introduced to refer to the conventions that are used to interpret a description of a software architecture. The representation and analysis of useful architectural styles is an important problem. This paper gives an overview of a methodology developed by the authors for describing the syntax and semantics of software architectural styles w...

For the past five years we have studied architectural styles for computation exchange, an architectural idiom in which decentralized systems and systems-of-systems (distributed systems under multiple, interacting spheres of authority) are constructed and maintained via the bilateral and dynamic exchange of code between peers. Here we focus on the methods for implementing architectural styles in...