• Produktbild: Web Services and Formal Methods
  • Produktbild: Web Services and Formal Methods

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.09.2006

Herausgeber

Mario Bravetti + weitere

Verlag

Springer Berlin

Seitenzahl

289

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

431 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-38862-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.09.2006

Herausgeber

Verlag

Springer Berlin

Seitenzahl

289

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

431 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-38862-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Web Services and Formal Methods
  • Produktbild: Web Services and Formal Methods
  • InvitedPapers.- DecSerFlow: Towards a Truly Declarative Service Flow Language.- Service QoS Composition at the Level of Part Names.- SCC: A Service Centered Calculus.- Contributed Papers.- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.- Semantic Querying of Mathematical Web Service Descriptions.- Verified Reference Implementations of WS-Security Protocols.- From BPEL Processes to YAWL Workflows.- Translating Orc Features into Petri Nets and the Join Calculus.- Dynamic Constraint-Based Invocation of Web Services.- A Formal Account of Contracts for Web Services.- Execution Semantics for Service Choreographies.- Analysis and Verification of Time Requirements Applied to the Web Services Composition.- A Formal Approach to Service Component Architecture.- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.- Application of Model Checking to AXML System’s Security: A Case Study.- Towards a Unifying Theory for Web Services Composition.- Towards the Formal Model and Verification of Web Service Choreography Description Language.