[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

========================= WS-FM 2008 ===========================+
|                                                                |
| 5th International Workshop on Web Services and Formal Methods  |
|             September 4-5, 2008, Milan, Italy                  |
|                                                                |
| http://www.informatik.uni-rostock.de/ws-fm2008/                |
+================================================================+
      Co-located with the 6th International Conference on
             Business Process Management (BPM'08)



REGISTRATION:
http://www.informatik.uni-rostock.de/ws-fm2008/registration.html

ACCOMODATION:
http://emma.polimi.it/emma/showEvent.do?page=611&idEvent=22

VENUE:
http://emma.polimi.it/emma/showEvent.do?page=485&idEvent=22



Scope of the Workshop
---------------------

Web Service (WS) technology provides standard mechanisms and protocols
for describing, locating and invoking services available all over the
web. Existing infrastructures already enable providers to describe
services in terms of their interface, access policy and behavior, and
to combine simpler services into more structured and complex
ones. However, research is still needed to move WS technology
from skilled handcrafting to well-engineered practice, supporting
the management of interactions with stateful and long-running services,
large farms of services, quality of service delivery, inter alia.

Formal methods can play a fundamental role in the shaping of such
innovations. For instance, they can help us define
unambiguous semantics for the languages and protocols that underpin
existing WS infrastructures, and provide a basis for
checking the conformance and compliance of bundled services. They can
also empower dynamic discovery
and binding with compatibility checks against behavioural properties
and quality of service requirements. Formal analysis of security
properties and performance is also essential in application areas such as
e-commerce. These are just a few prominent aspects;
the scope for using formal methods in the area of Web Services is
much wider, and the challenges raised by this new area can
offer opportunities for extending the state of the art in formal techniques.

The aim of the workshop series is to bring together researchers
working on Web Services and Formal Methods in order to catalyze
fruitful collaboration. The scope of the workshop is not purely
limited to technological aspects. In fact, the WS-FM series has a strong
tradition of attracting submissions on formal approaches to
enterprise systems modeling in general, and business process modeling
in particular. Potentially, this could have a significant impact on
the on-going standardization efforts for Web Service technology.

Invited Speaker
---------------

Mario Bravetti, University of Bologna
http://www.cs.unibo.it/~bravetti

Preliminary Programme
---------------------

THURSDAY, SEPTEMBER 4

13:45-14:00 - WELCOME by Roberto Bruni and Karsten Wolf

14:00-15:30 - ANALYSIS, TEST AND VERIFICATION
* Validation and Discovery of Non-deterministic Semantic e-services
   (Luigi Dragone)
* Proof techniques for adapter generation
   (Arjan Mooij, Marc Voorhoeve)
* On-The-Fly Model-Based Testing of Web Services with Jambition
   (Thomas Wallet, Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere
Kiss)

16:00-17:30 - CHOREOGRAPHIES AND PROCESS CALCULI
* Security Types for Sessions and Pipelines
   (Marija Kolundzija)
* Contract Compliance and Choreography Conformance in the Presence of
   Message Queues
   (Mario Bravetti, Gianluigi Zavattaro)
* Verification of choreographies during execution using the Reactive
   Event Calculus
   (Marco Montali, Paola Mello, Federico Chesani, Paolo Torroni)

FRIDAY, SEPTEMBER 5

9:30-10:30 - INVITED TALK by Mario Bravetti:
* On the Expressive Power of Process Interruption and Compensation
   (Mario Bravetti)

11:00-12:30 - TRANSACTIONS (AND INTEROPERABILITY)
* Refactoring Long Running Transactions
   (Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto)
* Fault, Compensation and Termination in WS-BPEL 2.0 -- A comparative
   analysis
   (Christian Eisentraut and David Spieler)
* Towards a formal framework for workflow interoperability
   (Sarah Induruwa Fernando, Andrew Simpson)

14:00-16:00 - WORKFLOWS AND PETRI NETS
* Why does my service have no partners?
   (Niels Lohmann)
* Efficient Controllability Analysis of Open Nets
   (Daniela Weinberg)
* RESTful Petri Net Execution
   (Gero Decker, Alexander Luders, Kai Schlichting, Hagen Overdick and
   Mathias Weske)
* Modeling and Analyzing Time-Constrained Flexible Workflows with Time
   Recursive Petri Nets
   (Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur)


History
-------

Information about previous editions of the workshop can be found at

WS-FM'07: http://bpm07.fit.qut.edu.au/ws-fm07/
WS-FM'06: http://www.cs.unibo.it/projects/ws-fm06/
WS-FM'05: http://www.cs.unibo.it/~lucchi/ws-fm05/
WS-FM'04: http://www.cs.unibo.it/~lucchi/ws-fm04/

Starting from 2007, the workshop has taken over the activities of the
online community formerly known as the "Petri and Pi" Group, which
allowed to bring closer the community of workflow oriented researchers
with that of process calculi oriented researchers. People interested
in the subject can still join the active mailing list on "Formal
Methods for Service Oriented Computing and Business Process
Management" (FMxSOCandBPM) available at

http://www.cs.unibo.it/cgi-bin/mailman/listinfo/fmxsocandbpm

Steering Committee
------------------

W. van der Aalst (Eindhoven University of Technology, The Netherlands)
M. Bravetti (University of Bologna, Italy)
M. Dumas (University of Tartu, Estonia)
J.L. Fiadeiro (University of Leicester, UK)
G. Zavattaro (University of Bologna, Italy)

Program Committee
-----------------

Co-chairs:

R. Bruni (University of Pisa, Italy)
K. Wolf (University of Rostock, Germany)

Other PC members:

F. Arbab (CWI, The Netherlands)
M. Baldoni (University of Torino, Italy)
A. Barros (SAP Research Brisbane, Australia)
B. Benatallah  (University of New South Wales, Australia)

K. Bhargavan (Microsoft Research Cambridge, UK)
E. Bonelli (Universidad Nacional de Quilmes, Argentina)
M. Butler (University of Southhampton, UK)
P. Ciancarini (University of Bologna, Italy)
F. Curbera (IBM Hawthorne Heights, U.S.)
G. Decker (HPI Potsdam, Germany)
F. Duran (University of Malaga, Spain)
S. Dustdar (University of Vienna, Austria)
A. Friesen (SAP Research Karlsruhe, Germany)
S. Gilmore (University of Edinburgh, Scotland)
R. Heckel (University of Leicester, UK)
D. Hirsch (Intel Argentina, Argentina)
F. Leymann (University of Stuttgart, Germany)
M. Little (RedHat, UK)
N. Kavantzas (Oracle Inc., U.S.)
A. Knapp (LMU Munich, Germany)
F. Martinelli (CNR Pisa, Italy)
H. Melgratti (University of Buenos Aires, Argentina)
S. Nakajima (National Institute of Informatics, Japan)
M. Nunez (Complutense University of Madrid, Spain)
J. Padget (University of Bath, UK)
G. Pozzi (Politecnico Milano, Italy)
R. Pugliese (University of Florence, Italy)
A. Ravara (Technical University of Lisbon, Portugal)
S. Ross-Talbot (pi4tech)
N. Sidorova (Eindhoven University of Technology, The Netherlands)
C. Stahl (Humboldt-University Berlin, Germany)
E. Tuosto (University of Leicester, UK)
H. Voelzer (IBM Zurich, Switzerland)
D. Yankelevich (Pragma Consultores, Argentina)
P. Yendluri (Software AG, U.S.)

================================================================

-- 
=====================================================================
  Dr. Roberto Bruni
  Computer Science Department   Phone: +39 050 2212785
  University of Pisa            Fax:   +39 050 2212726
  Largo B. Pontecorvo, 3                Email: [EMAIL PROTECTED]
  I-56127 Pisa - ITALY          WWW:   http://www.di.unipi.it/~bruni
=====================================================================
        "Different people define different things differently"
=====================================================================

Reply via email to