Simulation, verification and automated composition of web services.
Srini NarayananSheila A. McIlraithPublished in: WWW (2002)
Keyphrases
- composition of web services
- web services composition
- web services
- service composition
- knowledge level
- web service composition
- model checking
- simulation model
- semi automated
- mobile phone
- colored petri nets
- fully automated
- simulation environment
- semi automatic
- formal verification
- verification method
- software development