Describing and Reasoning on Web Services using Process Algebra.
Gwen SalaünLucas BordeauxMarco SchaerfPublished in: ICWS (2004)
Keyphrases
- process algebra
- web services composition
- web services
- web service composition
- concurrent systems
- service composition
- model checking
- asynchronous circuits
- concurrent programs
- formal methods
- formal specification
- knowledge base
- knowledge representation
- highly reliable
- grid workflow
- quality of service
- web applications
- communication protocols
- business process
- service selection
- service oriented
- description language
- production rules
- temporal logic
- fine grained
- petri net
- knowledge based systems
- service discovery
- expert systems
- machine learning