Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems.
Wei-Tek TsaiYinong ChenRaymond A. PaulPublished in: WORDS (2005)
Keyphrases
- service oriented
- operating system
- web services
- service oriented architecture
- computer systems
- service oriented computing
- service composition
- workflow management
- web service composition
- service selection
- distributed systems
- model driven
- model checking
- virtual machine
- service providers
- loosely coupled
- loose coupling
- web applications
- scientific workflows
- windows xp
- service discovery
- description language
- semantic web services
- grid services
- cross organizational
- quality of service
- business applications
- data access
- windows nt
- load balancing