Modeling and Verifying Web Services Choreography Using Process Algebra.
Jing LiJifeng HeHuibiao ZhuGeguang PuPublished in: SEW (2007)
Keyphrases
- web services
- process algebra
- web services composition
- model checking
- service oriented architecture
- service oriented computing
- colored petri nets
- formal specification
- web applications
- temporal logic
- asynchronous circuits
- service composition
- service oriented
- concurrent systems
- concurrent programs
- service discovery
- formal methods
- modeling language
- programming environment
- description language
- programming language
- general purpose
- query language
- database systems