Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
Radu MateescuPascal PoizatGwen SalaünPublished in: IEEE Trans. Software Eng. (2012)
Keyphrases
- process algebra
- protocol specification
- communication protocols
- formal specification
- model checking
- concurrent systems
- asynchronous circuits
- formal methods
- concurrent programs
- web services composition
- web services
- temporal logic
- web service composition
- message delivery
- communication protocol
- service discovery
- service composition
- service selection
- grid workflow
- distributed systems
- machine learning
- service oriented
- petri net
- wireless networks
- knowledge representation
- artificial intelligence