Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.
Linas LaibinisElena TroubitsynaSari LeppänenPublished in: Int. J. Embed. Real Time Commun. Syst. (2010)
Keyphrases
- fault tolerant
- service oriented
- safety critical
- distributed systems
- enabling technologies
- fault tolerance
- highly dynamic
- high assurance
- model driven
- service systems
- model driven development
- web services
- service composition
- case study
- load balancing
- service oriented architecture
- distributed computing
- workflow management
- state machine
- software engineering
- management system
- high availability
- physical systems
- service selection
- embedded systems
- intelligent systems