Style-based modeling and verification of fault tolerance service oriented architectures.
Vahid RafeFarzaneh MahdianPublished in: WCIT (2011)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- service oriented architecture
- distributed computing
- model driven
- service oriented
- load balancing
- model driven development
- loosely coupled
- response time
- high availability
- replicated databases
- web services
- database replication
- semantic web services
- group communication
- business processes
- peer to peer
- service oriented computing
- fault management
- failure recovery
- modeling language
- error detection
- data management
- case study