Sign in
Efficient Constraint Verification in Service Composition Design and Execution (Short Paper).
Touraj Laleh
Joey Paquet
Serguei A. Mokhov
Yuhong Yan
Published in:
OTM Conferences (2016)
Keyphrases
</>
service composition
web service composition
web service compositions
web services
service oriented
petri net
design process
goal driven
ai planning
qos aware
functional verification
model checking
business process
lightweight
service selection
web services composition
case study