Post on 08-Jan-2016
description
transcript
3rd International Workshop onWeb Services and Formal Methods
Report on WS-FM 2006, ViennaAndreas Duscher
Content
Key Data Topics Program Overview of Presented Papers
WS-FM 2006
held at Vienna University of Technology, during September 8-9, 2006
in conjunction with the 4th International Conference on Business Process Management BPM 2006
Featured 15 papers selected among 40 submissions Three invited papers
"... bringing together researchers working on Web Services and Formal Methods"Web Services and Formal Methods, Proceedings, Springer, September 2006.
WS-FM 2006
Co-chairs of Program Committee Gianluigi Zavattaro, Mario Bravetti (University of Bologna)
Chair of Organizing Committee Manuel Nùñez (University of Madrid)
Topics
Protocols and standards for Web Services (WS) Languages and description methodologies for
Choreography, Orchestration and Workflow Coordination techniques for WS Semantic-based dynamic WS discovery Security, performance evaluation, and QoS of WS
September, 8th
8.45 Start of registrations9.15 Opening by the chairs
9.30-10.30 Invited talkDecSerFlow: Towards a Truly Declarative Service Flow Language
11.00-12.30 Session: Service ChoreographyTowards the Formal Model and Verification of Web Service Choreography Description Language
Execution Semantics for Service Choreographies
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
14.30-16.00 Session: Security and performance analysis Verified Reference Implementations of WS-Security Protocols
Application of Model Checking to AXML System's Security : A Case Study
Evaluating the Scalability of a Web Service-based Distributed E-Learning and Course Management System
16.30-18.00 Session: Service compositionA formal account of contracts for Web services
A Formal Approach to Service Component Architecture
Analysis and Verification of Time Requirements applied to the Web Services Composition
September, 9th
9.30-10.30 Invited talkSCC: a Service Centered Calculus
11.00-12.30 Session: Service orchestrationTowards a Unifying Theory for Web Services Composition
Orc Features into Petri nets and the Join Calculus
From BPEL Processes to YAWL Workflows
14.30-15.30 Invited talkService QoS composition at the level of part names
16.00-17.30 Session: Service discovery and invocationSemantic Querying of Mathematical Web Service Descriptions
Computational Logic for Run-Time Verification of Web Services Choreographies: exploiting the SOCS-SI tool
Dynamic Constraint-based Invocation of Web Services
Semantic Querying of Mathematical Web Service Descriptions
Rebhi Baraka, Wolfgang Schreiner
Motivation Mathbroker Framework (Registry
and Querying Facilities for Mathematical WS)
Querying for Mathematical WS only possible on the syntactic structure of MSDL documents
Result Extension for semantic querying
Semantic Querying of Mathematical Web Service Descriptions
A Formal Approach to Service Component Architecture
José Luiz Fiadeiro, Laura Bocchi (University of Leicester)
Antónia Lopes (University of Lisbon)
A Formal Approach to Service Component Architecture
Service Component Architecture (SCA): Set of industry specifications for building applications and systems Builds on open standards (e.g. Web Services) Initiated by major software vendors (IBM, Oracle, BEA, ...)
A Formal Approach to Service Component Architecture
Motivation Describing mathematical semantics of SCA Uniform and general model of service behaviour,
independent of languages and technologies Other approaches (WSMF, OWL-S) see services as blackbox
Result Core set of primitives for interaction Language SRML-P that
captures the essence of SCA modelling paradigm operates on a higher level of abstraction
A Formal Approach to Service Component Architecture
Business Role
Wire
External Interface (provides)
External Interface (requires)
A Formal Approach to Service Component Architecture
Core set of primitives for describing interaction
A Formal Approach to Service Component Architecture
Language SRML-P: Business Role Supplier
A Formal Approach to Service Component Architecture
Language SRML-P: Business Protocol Warehouse
Dynamic Constraint-Based Invocation of Web Services
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
(University of Camerino)
Dynamic Constraint-Based Invocation of Web Services
Motivation Web Service Description Language (WSDL): describes a
collection of methods and their parameter signature, together with information about parameter syntax
no dynamic constraints about invocation parameters can be expressed
ontologies are not suitable for only describing constraints
Result Enriched WSDL documents, that specify static and dynamic
integrity constraints Software framework that consists of several open source
technologies
Dynamic Constraint-Based Invocation of Web Services
Enriched WSDL CLiX (Constraint Language in XML)
based on First-Order-Logic and XPath simple and syntactic approach
<items> <item id="1">
<price currency="EUR">224</price></item><item id="2"> <price currency="YEN">8432</price> </item>
</items>
<clix:forall var="price" in="/items/item/price"> <clix:equal op1="$price/@currency" op2="'EUR'"/></clix:forall>
Dynamic Constraint-Based Invocation of Web Services
Software framework OpenCLiXML (validates CLiX expressions)
WSDL2Java (generates client stubs)
Client Server
Marshalling MarshallingUnmarshalling Unmarshalling
CLiX Validator
Client Stub Service
SOAP Request
Conclusion
In particular A Formal Approach to Service Component Architecture
declarative approach for describing service interactions and component models
Dynamic Constraint-Based Invocation of Web Services a combination of existing software frameworks a new (not ontology-based) approach
Generally a lot of interesting talks and nice people
http://www.cs.unibo.it/projects/ws-fm06/