Formal Modeling and Verification for Web Service Composition.

Baojun Tian Yanlin Gu

Published in: J. Softw. (2013)

Keyphrases

web service composition
service composition
web services
petri net
ai planning

description language
formal methods
web services composition
service selection
web service selection

discrete particle swarm optimization
service oriented
semantic matching
orders of magnitude

model checking
software development
real time
automated web service composition