Notations for the Specification and Verification of Composite Web Services.
Simon J. WoodmanDoug J. PalmerSantosh K. ShrivastavaStuart M. WheaterPublished in: EDOC (2004)
Keyphrases
- formal verification
- composite web services
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- high level
- modeling language
- service composition
- web services composition
- case study
- service selection
- information technology
- concurrent systems
- business rules
- colored petri nets
- specification language
- real time
- temporal logic
- test cases
- software engineering
- web services