E-Book, Englisch, Band 4184, 289 Seiten, eBook
Bravetti / Núñez / Zavattaro Web Services and Formal Methods
2006
ISBN: 978-3-540-38865-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
E-Book, Englisch, Band 4184, 289 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-38865-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
