Verifying Consistency of Web Services Behavior Using Type Theory.

Yuyu Yin Jianwei Yin Ying Li ShuiGuang Deng

Published in: APSCC (2008)

Keyphrases

web services
theoretical basis
human behavior
computational model
model checking
service oriented
description language
web service composition
neural network
genetic algorithm
learning algorithm
service oriented architecture
general theory
automatic discovery
formal descriptions