Towards the Formal Model and Verification of Web Service Choreography Description Language.
Xiangpeng ZhaoHongli YangZongyan QiuPublished in: WS-FM (2006)
Keyphrases
- formal model
- description language
- web services
- model checker
- service oriented architecture
- colored petri nets
- web service composition
- service oriented
- software architecture
- service discovery
- semantic web services
- description languages
- action language
- business processes
- specification language
- formal models
- model checking
- security properties
- business process
- information retrieval
- domain specific
- relational databases
- search space
- case study