Derivation of Fail-Aware Membership Service Specifications.
Christof FetzerFlaviu CristianPublished in: IPPS/SPDP Workshops (1998)
Keyphrases
- web services
- service discovery
- management system
- service providers
- service oriented
- protocol specification
- service quality
- delay insensitive
- high level
- formal specification
- information services
- service composition
- value added services
- control flow
- finite state machines
- service oriented architecture
- data sets
- case study
- neural network