Web Services and Formal Methods

Mario Bravetti

ISBN 10: 3540388621 / ISBN 13: 9783540388623

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2006, 2006

Beschreibung

Neuware -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. 304 pp. Englisch.

Bestandsnummer des Verkäufers 9783540388623

Bibliografische Details

• Titel: Web Services and Formal Methods
• Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2006
• Erscheinungsjahr: 2006
• Sprache: Englisch
• ISBN-10: 3540388621
• ISBN-13: 9783540388623
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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.