Specification and Verification of Safe Web Service Behavior Adaptation.

Xiong Xie Weishi Zhang Huawei Zhai Licheng Cui Jinyu Shi

Published in: PAAP (2010)

Keyphrases

web services
formal verification
model checking
colored petri nets
high level
business process
asynchronous circuits
formal methods
databases
service providers
conceptual model
formal specification
protocol specification
human behavior
user defined
petri net
web applications
genetic algorithm
neural network