Willkommen, schön sind Sie da!
Logo Ex Libris

Web Services and Formal Methods

  • Kartonierter Einband
  • 304 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conj... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006

Presents 15 revised full papers together with 3 invited lectures

Covers protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS, and more



Inhalt
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.

Produktinformationen

Titel: Web Services and Formal Methods
Untertitel: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Editor:
EAN: 9783540388623
ISBN: 3540388621
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Allgemein & Lexika
Anzahl Seiten: 304
Gewicht: 464g
Größe: H235mm x B155mm x T16mm
Jahr: 2006
Untertitel: Englisch
Auflage: 2006

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"