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

摘要

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.