Exploiting assumption-based verification for the adaptation of service-based applications.
Andreas GehlertAntonio BucchiaroneRaman KazhamiakinAndreas MetzgerMarco PistoreKlaus PohlPublished in: SAC (2010)
Keyphrases
- web services
- service providers
- protocol specification
- loosely coupled
- end users
- customer service
- service composition
- information services
- service oriented
- model checking
- service quality
- service discovery
- semantic web services
- web service composition
- management system
- signature verification
- service management
- heavy traffic
- formal verification
- service requirements
- processor sharing
- functional verification
- neural network