This paper proposes a method to construct a set of proof obligations from the architectural specification of a concurrent system. The architectural specifications used express correctness requirements of a concurrent system at a high level without any reference to component functionality. Then the proof obligations derived from such specifications are discharged as model checking tasks in a sui...

creation of urban identity is the important subject in architecture and urban design. so, this article foci’s on the creation of identity in urban context with participation approach in architecture and urban design. corporate architecture is an architectonic discipline which focuses on designing and constructing buildings, spaces or environments with the aim of meeting the needs of a business ...

Architectural styles have enjoyed widespread popularity in the past few years, and for good reason: they represent the distilled wisdom of many experienced architects and guide less experienced architects in designing their architectures. However, architectural styles employ qualitative reasoning to motivate when and under what conditions they should be used. In this paper we present the concep...

Software Product-lines (SPLs) are software architectures that use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method used to capture the configuration rules for an SPL architecture. A key challenge developers face when maintaining an SPL is determining how to select a set of architectural features for...

Application logic refers to the encoding of domain business logic and architectural concerns refer to common non-business requirements on the system, for example, security, transaction, performance, scalability etc. It has been widely recognized that separating application logic from architectural concerns can greatly help reduce the development cost and make the system easier to evolve. Curren...

To provide hierarchical description from different software architectural viewpoints we need more than one abstraction hierarchy and connection mechanisms to support the interactions among components. Also,ion hierarchy and connection mechanisms to support the interactions among components. Also, these mechanisms will support the refinement and traceability of architectural elements through the...

One of the complex issues in developing architectural models of software systems is the capturing of architectures dynamics, i.e., systems for which composition of interacting components, changes at run time. In this paper, we argue that it is possible and valuable to provide a Dynamic Software Architecture Meta-model (DySAM) that accounts for interactions between architectural components and t...

Recognition of primitives from digital contents is an outstanding problem in volumetric modelling. In this work a bottom-up systems methodology is developed. Systems methodology involves not only to components but the role performed by them. Their role is specified following a hierarchical approach going from lowto high-level recognition which allows identify geometric, structural and semantic ...

In the context of the authors’ research on architectural features recovery, abstract data types (ADT) and abstract data objects (ADO, also called objects) have been identified as two of the smallest components which are useful for building a significant architectural overview of the system. The authors have named these the atomic components (AC) of an architecture. This article compares six pub...

Processor performance advances are increasingly inhibit(ed by limitations in thermal power dissipation. Part of the problem is the lack of architectural power estimates before implementation. Although high-performance designs exist that dissipate low power, the method for finding these designs has bc:en through trial-and-error. This paper presents systematic techniques to find low-power, high-p...