Declarative specification and verification of service choreographiess.
Marco MontaliMaja PesicWil M. P. van der AalstFederico ChesaniPaola MelloSergio StorariPublished in: ACM Trans. Web (2010)
Keyphrases
- protocol specification
- formal verification
- communication protocols
- high level
- formal specification
- formal methods
- web services
- asynchronous circuits
- end users
- model checking
- service providers
- specification language
- service quality
- customer service
- service composition
- service oriented
- domain independent
- knowledge representation
- service discovery
- web service composition
- cloud computing
- object oriented
- attribute grammars
- case study