Web services have received widespread attention and acceptance in the software engineering community. Automatic composition of services, to meet user’s requirements, is a powerful mechanism to ensure satisfaction of varied needs and thus enable the vision of Web services. Although Web services are equipped with the fundamental concepts and supporting technologies, the architectural style of the...

The formal language LOTOS [1] describes distributed systems by the temporal ordering of interactions between architectural components named “process”. LOTOS supports composition operators for architectural design and process refinement, rendezvous communication, and a black-box d escription style. With its verification and testing framework based on Labelled Transition Systems, LOTOS helps buil...

This paper proposes an architectural style for the definition of software product lines architectures and also a strategy for the instantiation of specific products derived from the architecture. This style is defined as a seamless extension of AspectualACME, characterizing the PLAspectualACME architectural description language, which uses the original abstractions of ACME and Armani’s formal c...

In process of software architecture design, different decisions with system-wide impacts are made. An important decision of design stage is the selection of appropriate software architecture style. Since quantitative impacts of styles on quality attributes have not been studied yet, their application is not systematic. Since Reliability is one of the essential quality requirements of software s...

We present an architectural style for selforganizing software systems, which leverages a catalog of design patterns for self-organization. The catalog, which represent our prior work, defines a number of bio-inspired selforganization mechanism as design patterns, and shows how more abstract and complex forms of self-organization can be composed from simpler, lower-level mechanisms. We now discu...

An increasingly important requirement for software systems is the capability to adapt at run time in order to accommodate varying resources, system errors, and changing requirements. For such self-repairing systems, one of the hard problems is determining when a change is needed, and knowing what kind of adaptation is required. Recently several researchers have explored the possibility of using...

Organizing a software architecture into layers has been one of the earliest architectural styles ever used. Even today layered structure is a very common architectural style used in various industrial systems. However, we have observed that the usage of layered architectural style varies greatly in different contexts. This paper aims to compare the notion of software architecture layers in rese...

SAIA is an architectural style for the development of systems dedicated to process control. Designing an architecture that conforms to a style implies the manipulation of a lot of entities and the respect of numerous constraints. The approaches based on models and models transformations are well adapted to manage the complexity and to enforce the separation of concerns. This paper presents a mo...

The Service-Oriented Architecture (soa) has become one of the most popular approaches to building large-scale network applications. The web service technologies are de facto the default implementation for soa. Simple Object Access Protocol (soap) is the key and fundamental technology of web services. Service composition is a way to deliver complex services based on existing partner services. Se...

An important concern for the successful deployment of a dependable system is its quality of service (QoS), which is significantly influenced by its architectural style. We propose the comparative evaluation of architectural styles by simulation. Our approach integrates architectural styles and concrete architectures to enable early design-space exploration in order to predict the QoS of peer-to...