Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings: 4184 - Brossura

Brossura

ISBN 10: 3540388621 ISBN 13: 9783540388623

Casa editrice: Springer, 2009

Riassunto

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.

Su questo libro

Dalla quarta di copertina

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 3540388621
• ISBN 13: 9783540388623
• Rilegatura: Copertina flessibile
• Numero di pagine: 289
• Redattore: Bravetti Mario, Núñez Manuel, Zavattaro Gianluigi
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Germania