Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Web Services

  • Kartonierter Einband
  • 339 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for t... Weiterlesen
20%
66.00 CHF 52.80
Sie sparen CHF 13.20
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.


This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.

SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.



Inhalt
Calculi for Service-Oriented Computing.- Service Interaction: Patterns, Formalization, and Analysis.- Synthesis and Composition of Web Services.- Fundamentals of Session Types.- Asynchronous Session Types: Exceptions and Multiparty Interactions.- Contract-Based Discovery and Adaptation of Web Services.- Contract-Based Discovery and Composition of Web Services.- Quantitative Analysis of Web Services Using SRMC.

Produktinformationen

Titel: Formal Methods for Web Services
Untertitel: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Editor:
EAN: 9783642019173
ISBN: 364201917X
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 339
Gewicht: 537g
Größe: H235mm x B159mm x T23mm
Jahr: 2009
Untertitel: Englisch
Auflage: 2009

Weitere Produkte aus der Reihe "Programming and Software Engineering"