Bruno zevi, the continental European emissary of geoffrey scott’s theories

Peer ReviewedPostprint (author's final draft

Pattern-based software architecture for service-oriented software systems

Service-oriented architecture is a recent conceptual framework for service-oriented software platforms. Architectures are of great importance for the evolution of software systems. We present a modelling and transformation technique for service-centric distributed software systems. Architectural configurations, expressed through hierarchical architectural patterns, form the core of a specification and transformation technique. Patterns on different levels of abstraction form transformation invariants that structure and constrain the transformation process. We explore the role that patterns can play in architecture transformations in terms of functional properties, but also non-functional quality aspects

Applying formal methods to standard development: the open distributed processing experience

Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for OD

Modelling the GSM handover protocol in CommUnity

CommUnity is a formal approach to software architecture. It has a precise, yet intuitive mathematical semantics based on category theory. It supports, at the methodological level, a clear separation between computation, coordination, and distribution (including mobility). It provides a simple state-based language for describing component behaviour that is inspired by Unity and Interacting Processes. It also addresses composition as a first class concern and accounts for the emergence of global system properties from interconnections. This paper describes the approach and available tool support by modelling essential aspects of the GSM handover protocol. We also sketch a framework that we are implementing for the distributed execution of such specifications using Klava, a Java library for mobile agent systems based on tuple spaces

Likovna vzgoja: med prostorskim trajnostnim razvojem in podobo arhitekture

If we consider the role of education and its implications in the formation of a critical and conscious user of architecture, it is obvious that the development of educational strategies related to the sustainable development of our common space and environment becomes fundamental. Among the objectives of art education, we should consider our commitment with authentic and actual problems in our societies. One of them is the awareness of the characteristics of the built environment. Our cities are, in fact, the results of time-space plasters that function as units of spatial experiences in everyday life. The oldest buildings are iconic points of reference, and their simple presence produces a collection of unique meanings to the collective memory of a culture. Their demolition would in many cases injure the cities’ images and memory. The main question is how to develop programs at all educational levels to promote critical and responsible attitudes towards the common environment covering all the aspects that shape the concepts of sustainable spatial development. However, it is not possible to create strategies without proper information about the views of the students. The collection and analysis of this views is the main theme of the paper. It is supported by an empirical research on the image of architecture and the environment, held among secondary school students. The research is based on the idea that one of the most efficient critical attitudes towards the world would be to develop an unconditional connection of art work with “everyday life conditions” to promote the education of critical and responsible “perceivers” of the environment. (DIPF/Orig.

From internet architecture research to standards

Many Internet architectural research initiatives have been undertaken over last twenty years. None of them actually reached their intended goal: the evolution of the Internet architecture is still driven by its protocols not by genuine architectural evolutions. As this approach becomes the main limiting factor of Internet growth and application deployment, this paper proposes an alternative research path starting from the root causes (the progressive depletion of the design principles of the Internet) and motivates the need for a common architectural foundation. For this purpose, it proposes a practical methodology to incubate architectural research results as part of the standardization process

The Early Byzantine Domed Basilicas of West Asia Minor, An essay in Graphic Reconstruction

This paper investigates the methodology employed in the recent survey and reconstruction of the major Early Byzantine domed churches of west Asia Minor. This involved both the documentation of construction details as well as their interpretation by reference to coeval monuments elsewhere. Focusing on this methodology, the author explores techniques of graphic recording and the theoretical framework within which parallels with other buildings can inform the work of reconstruction. The detailed examination of two case studies illustrates the way in which seemingly random scraps of testimony were interpreted to provide evidence for the missing superstructure of the churches. These case studies also serve to explore the adaptation of the methodology to sites with different characteristics and help to assess the credibility of the resulting graphic reconstructions

An Engineering Approach towards Action Refinement

In the abstract modelling of distributed systems we may need methods to replace abstract behaviours by more concrete behaviours which are closer to implementation mechanisms. Furthermore, we may want these methods to preserve the correctness of such a replacement. This paper introduces an approach towards action refinement in which an abstract action is replaced by a concrete activity. This approach is based on a careful consideration of the `action' and `causality relation' architectural concepts, which enable an abstract action to be replaced by many alternative concrete activities in a general way. This approach is based on the application of abstraction rules to determine whether a concrete activity conforms to an abstract action, considering the context in which the concrete activity and the abstract action are embedde

Towards a Base UML Profile for Architecture Description

This paper discusses a base UML profile for architecture description as supported by existing Architecture Description Languages (ADLs). The profile may be extended so as to enable architecture modeling both as expressed in conventional ADLs and according to existing runtime infrastructures (e.g., system based on middleware architectures).