From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 33CDEBCAE for ; Fri, 24 Jun 2005 17:31:49 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5OFVNtK017651 for ; Fri, 24 Jun 2005 17:31:23 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA22414 for ; Fri, 24 Jun 2005 17:31:22 +0200 (MET DST) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5OFVMxo017645 for ; Fri, 24 Jun 2005 17:31:22 +0200 Received: from colline.cs.unibo.it (colline.cs.unibo.it [130.136.5.34]) by lea.cs.unibo.it (Postfix) with ESMTP id E638D8B408; Fri, 24 Jun 2005 17:31:21 +0200 (CEST) Received: from localhost (bravetti@localhost) by colline.cs.unibo.it (8.9.3p2/8.9.3/Debian 8.9.3-21) with ESMTP id RAA02111; Fri, 24 Jun 2005 17:31:21 +0200 X-Authentication-Warning: colline.cs.unibo.it: bravetti owned process doing -bs Date: Fri, 24 Jun 2005 17:31:21 +0200 (CEST) From: Mario Bravetti To: acl2@cs.utexas.edu, agents@cs.umbc.edu, aiia@di.unito.it, apes@cs.strath.ac.uk, appsem-discussion@harlequin.co.uk, appsem-ed-site@dcs.ed.ac.uk, appsem-local@di.uminho.pt, appsem@disi.unige.it, appsem@pauillac.inria.fr, behavior@cs.ucsd.edu, cafeobj@sran419.sra.co.jp, caml-list@inria.fr, categories@mta.ca, ccl@dfki.uni-sb.de, clean-list@cs.kun.nl, clp@iscs.nus.edu.sg, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, csp@carlit.toulouse.inra.fr, dataloger@cs.chalmers.se, dbworld@cs.wisc.edu, dreamers@dai.ed.ac.uk, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, elan-users@loria.fr, elf-list@cs.cmu.edu, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, forte2003@Informatik.TU-Cottbus.DE, generative@rz.tu-ilmenau.de, generic-haskell@cs.uu.nl, gragra@bach.informatik.rwth-aachen.de, gragra@i3.informatik.rwth-aachen.de, gulp@di.unipi.it, harning@sigchi.dk, haskell@haskell.org, hise-safety-critical@minster.cs.york.ac.uk, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, imps@linus.mitre.org, isabelle-users@cl.cam.ac.uk, isda02@softcomputing.net, lfcs-interest@dcs.ed.ac.uk, lics-request@dcs.ed.ac.uk, lics@research.att.com, lics@research.bell-labs.com, linear@cs.stanford.edu, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, lotos-world@site.uottawa.ca, lpnmr@cs.engr.uky.edu, lprolog-list@cis.upenn.edu, lprolog@cis.upenn.edu, m4m@science.uva.nl, maude@csl.sri.com, mercury-ads@cs.mu.oz.au, multi@cs.chalmers.se, nuprllist@CS.Cornell.EDU, nuprlnotes@www1.cs.cornell.edu, om-announce@lars.math.fsu.edu, oose@uni-paderborn.de, pop-group@cs.cmu.edu, post+comp.compilers@andrew.cmu.edu, post+comp.lang.functional@andrew.cmu.edu, post+comp.lang.ml@andrew.cmu.edu, post+comp.lang.scheme@andrew.cmu.edu, prog-lang@brics.dk, prog-lang@daimi.aau.dk, prog-lang@diku.dk, proglog@cs.chalmers.se, prolog-vendors@sics.se, prologia@prologianet.univ-mrs.fr, pvs@csl.sri.com, qed@mcs.anl.gov, reus@informatik.uni-muenchen.de, rewriting@ens-lyon.fr, scheme48@zurich.csail.mit.edu, scheme@mc.lcs.mit.edu, seworld@cs.colorado.edu, sicstus-users@sics.se, sig-coord@flp.cs.tu-berlin.de, smid-medl@imv.au.dk, stimdi-rek-subscribe@yahoogroups.com, stochver@cs.bham.ac.uk, streicher@mathematik.tu-darmstadt.de, theorem-provers@ai.mit.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, webmaster@eatcs.org, zeves@ora.on.ca, zforum@comlab.ox.ac.uk, zforum@prg.ox.ac.uk Subject: WS-FM 2005 Call For Tools In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at nez-perce with ID 42BC274B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42BC274A.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; unibo:01 unibo:01 avoiding:01 variants:01 pointless:01 2005,:98 ...:98 instruments:98 analyzers:98 abstract:01 short:01 interactions:01 reasoning:01 reasoning:01 concurrency:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: WS-FM 2005 TOOLS SESSION Tools session in 2nd International Workshop on Web Services and Formal Methods Versailles, 2-3 September 2005, France http://www.cs.unibo.it/WS-FM05 Web services technology is a widespread accepted instantiation of Service Oriented Computing which facilitates integration of newly built and legacy applications both within and across organizational boundaries avoiding difficulties due to different platform, heterogeneous programming languages, security firewall, etc... The idea behind the WS approach is allowing independently developed applications to be exposed as services and interconnected exploiting the already set up Web infrastructure with relative standards (HTTP, XML, SOAP and WSDL). The technologies related to developing basic services and interconnecting them on a point-to point basis can be considered well established but B2B processing requires managing more complex interactions involving a large number of participants and none of the above standards are able to meet this need. For this reason the so-called Web services Composition Languages like XLANG, WSFL, BPML, WS-BPEL and WS-CDL are taking place. These languages are claimed to be based on formal models (pi-calculus variants, Petri Nets) to allow rigorous mathematical reasoning. However, despite all this hype, no interesting relations with formal methods have been so far emphasized and no conceptual instruments for analysis and reasoning or software verification techniques and tools have been so far presented by the respective companies. Any mathematical rigor becomes pointless without the ability to show these kind of results. In this sense contracts conformance verification between different services and static analysis of behavioral properties becomes one of the most promising research directions. The aim of the tools session is presenting working prototypes designed exploiting the experience derived from concurrency theory (and formal methods in general) in order to strengthen the collaboration with industry and resulting in a strong impact on the standardization phase of composition languages and of web services technologies in general. LIST OF TOPICS The topics of interest include, but are not limited to: * Orchestration engines for Web services * Frameworks for recovery mechanisms in Web services composition * Static analyzers and verificators of behavioral properties * Contracts conformance checkers * Frameworks for securing Web services SUBMISSION MODALITIES To submit please send the information below to: ws-fmtools@cs.unibo.it Submissions must include: * Name of the tool * Name(s) of the author(s) * Name(s) of the person(s) presenting the demo at the workshop * A short abstract presenting the tool and the underpinning theory. It should describe the way in which the theory benefits the implementation. * A link to a web site presenting the project. Submissions deadline: 3 August 2005 DEMO MODALITIES The demos presentation will be held as a special session of WS-FM 2005. Each presentation will take about 25 minutes plus 10 for the discussion. CONTACTS * Mario Bravetti (bravetti@cs.unibo.it) * Roberto Lucchi (lucchi@cs.unibo.it) * Manuel Mazzara (mazzara@cs.unibo.it) * Gianluigi Zavattaro (zavattar@cs.unibo.it)