Style-based modeling and verification of fault tolerance service oriented architectures

Abstract

Service-Oriented Architecture (SOA) is a flexible, loosely coupled and dynamic architecture for developing different distributed systems. Since using this architecture is every day increasing in the design of software systems, creating dependable services in this architecture is one of the main challenges. Considering different QoS levels consisting of non-functional aspects like security, safety; accessibility, etc is necessary for dependable systems. One of these non-functional aspects is fault tolerance. In this paper, in order to have a fault tolerance system, initially SOA core style has been extended using required parameters. Then, different communication and reconfiguration mechanisms of fault tolerance have been developed by graph transformation rules. Finally, the proposed model has been verified using model checking techniques available for graph transformation systems.

Modeling and non-functional analysis of service-oriented architectures using AADL

“…This approach also considers only one aspect of the non-functional properties and other aspects are ignored in this proposal. , Rafe and Mahdian (2011) and Mahdian et al (2009) uses the style presented in (Gönczy et al, 2007) to consider different type of non-functional properties. They extend the formal style by adding new elements to the type graph and new graph transformation rules to consider new configurations.…”

A Reliable Architectural Style for Designing Pervasive Healthcare Systems

“…In other words, the designers only describe the requirements of a specific service without considering the mechanism they should follow [14]. In this regard, we used a precise model-based method to develop a high level of reconfiguration mechanisms necessary for reliable messaging.…”