Describing and reasoning on Web Services using Process Algebra.
Gwen SalaünLucas BordeauxMarco SchaerfPublished in: Int. J. Bus. Process. Integr. Manag. (2006)
Keyphrases
- process algebra
- web services composition
- web services
- web service composition
- concurrent systems
- service composition
- concurrent programs
- formal specification
- model checking
- asynchronous circuits
- service selection
- quality of service
- grid workflow
- service oriented
- web applications
- communication protocols
- knowledge base
- formal methods
- temporal logic
- highly reliable
- business processes
- service discovery
- real time
- description language
- data model
- knowledge representation
- database systems
- distributed databases
- petri net