IT Service Alignment Verification of Quantitative Properties in Service Design.
Gorica TapandjievaAlain WegmannPublished in: EDOC Workshops (2015)
Keyphrases
- web services
- service discovery
- processor sharing
- service providers
- service oriented
- semantic web services
- end users
- service composition
- functional verification
- real time
- service quality
- website
- building blocks
- knowledge based systems
- pairwise
- loosely coupled
- customer service
- signature verification
- formal verification
- case study