A Formal Specification for Web Services Composition and Verification.
Yuliang ShiLiang ZhangBing LiuFangfang LiuLili LinBaile ShiPublished in: CIT (2005)
Keyphrases
- process algebra
- web services composition
- formal specification
- model checking
- concurrent systems
- grid workflow
- formal methods
- model checker
- service composition
- web service composition
- web services
- protocol specification
- asynchronous circuits
- composition of web services
- temporal logic
- formal verification
- highly reliable
- object oriented design
- service selection
- specification languages
- specification language
- data abstraction
- quality of service
- composite web services
- artificial intelligence
- software components
- bounded model checking
- business processes
- lightweight
- database