Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Web Services and Formal Methods

4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
BuchKartoniert, Paperback
172 Seiten
Englisch
Springererschienen am11.04.2008
However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextHowever, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc.
ZusammenfassungThis proceedings volume of the 4th International Workshop on Web Services and Formal Methods covers the application of formal methods and reasoning techniques to Web service technology and formal theories inspired by developments in Web services.
Details
ISBN/GTIN978-3-540-79229-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2008
Erscheinungsdatum11.04.2008
ReiheLecture Notes in Computer Science
Seiten172 Seiten
SpracheEnglisch
Gewicht293 g
IllustrationenIX, 172 p.
Artikel-Nr.16409997

Inhalt/Kritik

Inhaltsverzeichnis
Towards a Theory of Web Service Choreographies.- Controlling Petri Net Process Models.- Extending Model Checking to Data-Aware Temporal Properties of Web Services.- Analyzing BPEL4Chor: Verification and Participant Synthesis.- Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers.- A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.- From BPEL to SRML: A Formal Transformational Approach.- Modeling Web Service Interactions Using the Coordination Language Reo.- Synthesis of Web Services Orchestrators in a Timed Setting.- From Public Views to Private Views - Correctness-by-Design for Services.- Event Structure Semantics of Orc.mehr

Schlagworte