Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

✍ Scribed by Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2008
• Tongue: English
• Leaves: 177
• Series: Lecture Notes in Computer Science 4937
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Web Services and Formal Methods, WS-FM 2007, held in Brisbane, Australia, in September 2007 in conjunction with the 5th International Conference on Business Process Management, BPM 2007.

The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers address the application of formal methods and reasoning techniques to Web service technology, and formal theories inspired by developments in the field of Web services. The papers feature topics such as service-oriented analysis and design, formal approaches to enterprise modeling and business process modeling, model-driven development, testing, and analysis of Web services, Web services for business process management, security, performance and quality of Web services, Web service coordination and transactions, Web service ontologies and semantic description, goal-driven discovery and composition of Web services, complex event processing in service-oriented architectures, as well as semi-structured data management and XML technology.

✦ Table of Contents

Front Matter....Pages -
Towards a Theory of Web Service Choreographies....Pages 1-16
Controlling Petri Net Process Models....Pages 17-30
Extending Model Checking to Data-Aware Temporal Properties of Web Services....Pages 31-45
Analyzing BPEL4Chor: Verification and Participant Synthesis....Pages 46-60
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers....Pages 61-76
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0....Pages 77-91
From BPEL to SRML: A Formal Transformational Approach....Pages 92-107
Modeling Web Service Interactions Using the Coordination Language Reo....Pages 108-123
Synthesis of Web Services Orchestrators in a Timed Setting....Pages 124-138
From Public Views to Private Views – Correctness-by-Design for Services....Pages 139-153
Event Structure Semantics of Orc....Pages 154-168
Back Matter....Pages -

✦ Subjects

Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; System Performance and Evaluation; Management of Computing and Information Systems