A Formal Model of Service Computing and Its Applications on Service Discovery.
Yingzhou ZhangWei FuLei ChenBihuan XuPublished in: ICWS (2011)
Keyphrases
- service discovery
- formal model
- web services
- semantic web services
- resource discovery
- web service discovery
- computing environments
- pervasive computing
- service oriented computing
- service description
- service composition
- service selection
- service oriented architecture
- pervasive computing environments
- formal models
- service provision
- pervasive environments
- web services composition
- security properties
- predicate calculus
- business process
- service providers
- e government
- semantic matchmaking
- wireless sensor networks