Using Process Algebra for Web Services: Early Results and Perspectives.
Lucas BordeauxGwen SalaünPublished in: TES (2004)
Keyphrases
- process algebra
- web services composition
- web services
- web service composition
- service composition
- concurrent systems
- asynchronous circuits
- formal specification
- concurrent programs
- model checking
- formal methods
- highly reliable
- communication protocols
- grid workflow
- service discovery
- quality of service
- service oriented
- web applications
- petri net
- business process
- description language
- business processes
- service selection
- service oriented architecture
- knowledge based systems
- computing environments
- query language
- expert systems
- software components
- artificial intelligence