Web Services and Formal Methods (e-bog) af -
Zavattaro, Gianluigi (redaktør)

Web Services and Formal Methods e-bog

436,85 DKK (inkl. moms 546,06 DKK)
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/...
E-bog 436,85 DKK
Forfattere Zavattaro, Gianluigi (redaktør)
Forlag Springer
Udgivet 12 september 2006
Genrer UKN
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540388654
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.