WS-FM was co-located to the 10th International Conference on Business Process Management, BPM 2012 (September 3-6, 2012).
The proceedings are be published by Springer as LNCS, Volume 7843.
The program of WS-FM is available. For each talk, we also linked the presentation slides.
The workshop will be held on Thursday afternoon and Friday morning in room Grande 3. There will be a workshop dinner on Thursday evening at Olde Hansa.
|13:45-14:00||Opening (PC Chairs)|
|14:00-15:00||Invited talk: Formal approaches for automatic synthesis of web service business protocols (Farouk Toumani) [slides]|
|15:30-16:30||Session 1: WS modeling and analysis with Petri nets and CSP, part 1
Chair: Andreas Lehmann
|16:45-17:45||Session 2: WS modeling and analysis with Petri nets and CSP, part 2
Chair: Artem Polyvyanyy
|19:00-23:00||Workshop dinner at Olde Hansa|
|9:00-10:00||Invited talk: "I have read and agree with the terms and conditions"...so what?
Taking contracts for services seriously. (Emilio Tuosto) [slides]
|10:30-11:30||Session 3: FM applied to service discovery and coordination, part 1
|11:45-12:45||Session 4: FM applied to service discovery and coordination, part 2
|12:45-13:45||Closing and lunch|
Formal approaches for automatic synthesis of web service business protocols
One of the ultimate goals of the web service technology is to enable rapid low-cost development and easy composition of distributed applications, a goal that has a long history strewn with only partial successes. The research problems underlying service composition are varied in nature and depend on several parameters such as the model used to describe the services, the communication model or the composition language. A line of demarcation between existing works in this area lies in the nature of the composition process: manual v.s. automatic. The first category of work deals generally with high-level composition design and programming details related to implementation issues while automatic service composition focuses on different issues such as composition verification, planning or synthesis.
In this talk, we consider more particularly the composition synthesis problem, i.e., the automated construction of a new target service by reusing some existing ones. We will review recent research works and challenges related to automatic synthesis of service composition and discuss the associated computational problems both in bounded and unbounded settings.
"I have read and agree with the terms and conditions"...so what?
Taking contracts for services seriously.
The customary practice to regulate the functioning of services is to set terms & conditions. These are legal documents constraining the way services should be used and (sometimes) specifying what providers offer. In such documents it is not rare to find statements like
"We do our best to keep Facebook safe, but we cannot guarantee it" (http://www.facebook.com/legal/terms, revision date June 8, 2012; notably, 'safety' is not defined in the terms & conditions of facebook!)
In this talk, I will argue that -despite being a practical way out- this is far from being ideal. For instance, the lack of precise guarantees is a main deterrent for industries wishing to move their applications and business to the cloud. Quoting from http://cacm.acm.org/magazines/2010/4/81493-a-view-of-cloud-computing/fulltext,
"Absent radical improvements in security technology, we expect that users will use contracts and courts, rather than clever security engineering, to guard against provider malfeasance".
The key point is that terms & conditions should not be left to lawyers and courts only; rather computer scientists and IT practitioners should strive for robust techniques and methodologies capable of specifying formal 'contracts' amenable of verification. To support my claims I will overview some research recently carried out to address those issues.
There will be pre-proceedings handed out at the workshop. Post-proceedings will later appear as LNCS volume.