Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
Linas LaibinisElena TroubitsynaSari LeppänenJohan LiliusQaisar A. MalikPublished in: RODIN Book (2006)
Keyphrases
- fault tolerant
- service oriented
- safety critical
- enabling technologies
- distributed systems
- fault tolerance
- formal methods
- service systems
- model driven development
- model driven
- web services
- knowledge based systems
- service oriented architecture
- service composition
- high assurance
- interconnection networks
- load balancing
- development process
- virtual enterprise
- workflow management
- service selection
- state machine
- high availability
- model checking
- data management
- response time
- software engineering
- database systems