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

Vahid Rafe | Zendy; Farzaneh Mahdian | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Vahid Rafe,

Farzaneh Mahdian

Publication year - 2011

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2010.12.159

Subject(s) - computer science , control reconfiguration , fault tolerance , distributed computing , architecture , graph , quality of service , software architecture , service oriented architecture , graph rewriting , model checking , embedded system , software , theoretical computer science , web service , programming language , computer network , art , visual arts

ervice-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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research