The semantics and verification of timed service choreography.
Yongxin ZhaoHao XiaoZheng WangGeguang PuTing SuPublished in: Int. J. Comput. Math. (2014)
Keyphrases
- service oriented architecture
- colored petri nets
- protocol specification
- web services
- service providers
- petri net
- service oriented
- service quality
- service composition
- formal semantics
- information services
- verification method
- model checking
- service oriented computing
- timed automata
- service description
- operational semantics
- semantic web services
- service discovery
- management system
- customer service
- logic programming
- loosely coupled
- formal verification
- mobile services
- face verification
- semantic descriptions
- temporal logic
- end users