Software architecture is considered one of the most important indices of software engineering today. Software Architecture is a technical description of a system indicating its component structures and their relationships, and is the principles and rules governing designing. The success of the software depends on whether the system can satisfy the quality attributes. One of the most critical as...

This paper discusses the use of Attribute-Based Architectural Styles (ABASs)—architectural styles accompanied by explicit analysis reasoning frameworks—in design. The paper has two main objectives: to convince readers that ABASs provide a basis for insightful reasoning about a software architecture’s ability to meet its quality attribute goals; and to demonstrate the utility of ABASs by showing...

After presenting several possible multimedia signal processor (MSP) architecture styles, we propose an architecture style which could provide high performance and high flexibilities, and requires less external memory accesses and I/O operations. It is a hierarchical and scalable architecture style which facilitates the hardwaresoftware co-design of MSP circuits and systems. OVERVIEW OF MSP ARCH...

Network-aware applications centered around the Internet and the WWW require special architectural patterns. An important feature in network applications is mobility; however, it is still unclear which entities can be mobile (e.g.. data, references, code, agents, operating environments) and especially why and when they should move over the network. In this paper we describe and compare a series ...

At the beginning of the World Wide Web (WWW or Web), there was no clear set of principles to guide the decisions being made by developers and architects. In these early days, a cacophony emerged without a clear direction to guide the evolution of the Web. If there was any direction during the inception of the Web, it was a weak focus on how communication might occur between machines on the Web ...

We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective compositional reasoning by facilitating formulation of component properties and their environment assumptions. This approach integrates bottom-up component verification and top-down system verification based on the concept of ap...

Architectural styles, object-oriented design, and design patterns all hold promise as approaches that simplify software design and reuse by capturing and exploiting system design knowledge. This article explores the capabilities and roles of the various approaches, their strengths, and their limitations. oftware system builders increasingly recognize the importance of exploiting design knowledg...

A software architecture determines how system components are identified and allocated, how the components interact to form a system, the amount and granularity of communication needed for interaction, and the interface protocols used for communication. For a network-based application, system performance is dominated by network communication. Therefore, selection of the appropriate architectural...