Web服务与形式方法/Web services and formal methods

出版时间：2006-10-5  出版社：Springer  作者：Bravetti, Mario; Nunez, Manuel; Zavattaro, Gianluigi  页数：286  
Tag标签：无  

内容概要

This book constitutes the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in Vienna, Austria in September 2006 in conjunction with the Fourth International Conference on Business Process Management, BPM 2006.　　The 15 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 40 submissions. The main topics of include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies。

书籍目录

I  Invited Papers  DeeSerFlow: Towards a Truly Declarative Service Flow Language　Service QoS Composition at the Level of Part Names　SCC: A Service Centered CalculusII  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 LanguageAuthor Index