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
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.