An Approach for Verification in Service-Oriented Computing.
Soo Ho ChangFang-Fang ChuaSoo Dong KimPublished in: SERVICES I (2008)
Keyphrases
- service oriented computing
- service oriented
- web services
- service composition
- grid computing
- service oriented architecture
- service discovery
- computing paradigm
- grid systems
- loosely coupled
- web service composition
- model checking
- semantic web services
- operating system
- human computer interaction
- data management
- artificial intelligence
- distributed computing
- wireless sensor networks
- case study