From: Mario Bravetti <bravetti@cs.unibo.it>
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
Date: Fri, 24 Jun 2005 17:31:21 +0200 (CEST) [thread overview]
Message-ID: <Pine.LNX.4.21.0506241729540.2084-100000@colline.cs.unibo.it> (raw)
In-Reply-To: <Pine.LNX.4.21.0504131227240.24499-100000@colline.cs.unibo.it>
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)
prev parent reply other threads:[~2005-06-24 15:31 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <Pine.LNX.4.21.0401301503560.3366-100000@colline.cs.unibo.it>
2005-03-01 15:45 ` WS-FM 2005 Call For Papers Mario Bravetti
2005-04-13 10:28 ` WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6) Mario Bravetti
2005-06-24 15:31 ` Mario Bravetti [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.21.0506241729540.2084-100000@colline.cs.unibo.it \
--to=bravetti@cs.unibo.it \
--cc=acl2@cs.utexas.edu \
--cc=agents@cs.umbc.edu \
--cc=aiia@di.unito.it \
--cc=apes@cs.strath.ac.uk \
--cc=appsem-discussion@harlequin.co.uk \
--cc=appsem-ed-site@dcs.ed.ac.uk \
--cc=appsem-local@di.uminho.pt \
--cc=appsem@disi.unige.it \
--cc=appsem@pauillac.inria.fr \
--cc=behavior@cs.ucsd.edu \
--cc=cafeobj@sran419.sra.co.jp \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=ccl@dfki.uni-sb.de \
--cc=clean-list@cs.kun.nl \
--cc=clp@iscs.nus.edu.sg \
--cc=cmcs@cs.indiana.edu \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=comlab@comlab.ox.ac.uk \
--cc=coq-club@pauillac.inria.fr \
--cc=cs-logic@cs.indiana.edu \
--cc=csl@dbai.tuwien.ac.at \
--cc=csp@carlit.toulouse.inra.fr \
--cc=dataloger@cs.chalmers.se \
--cc=dbworld@cs.wisc.edu \
--cc=dreamers@dai.ed.ac.uk \
--cc=eapls@jiscmail.ac.uk \
--cc=eatcs-it-l@unifi.it \
--cc=elan-users@loria.fr \
--cc=elf-list@cs.cmu.edu \
--cc=etalle@cs.utwente.nl \
--cc=focs@comlab.ox.ac.uk \
--cc=formal-methods@cs.uidaho.edu \
--cc=forte2003@Informatik.TU-Cottbus.DE \
--cc=generative@rz.tu-ilmenau.de \
--cc=generic-haskell@cs.uu.nl \
--cc=gragra@bach.informatik.rwth-aachen.de \
--cc=gragra@i3.informatik.rwth-aachen.de \
--cc=gulp@di.unipi.it \
--cc=harning@sigchi.dk \
--cc=haskell@haskell.org \
--cc=hise-safety-critical@minster.cs.york.ac.uk \
--cc=idss@socs.uts.EDU.AU \
--cc=ifip@ifip.or.at \
--cc=ifmsig@cs.tcd.ie \
--cc=imps@linus.mitre.org \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isda02@softcomputing.net \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lics-request@dcs.ed.ac.uk \
--cc=lics@research.att.com \
--cc=lics@research.bell-labs.com \
--cc=linear@cs.stanford.edu \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@cs.rice.edu \
--cc=lotos-world@site.uottawa.ca \
--cc=lpnmr@cs.engr.uky.edu \
--cc=lprolog-list@cis.upenn.edu \
--cc=lprolog@cis.upenn.edu \
--cc=m4m@science.uva.nl \
--cc=maude@csl.sri.com \
--cc=mercury-ads@cs.mu.oz.au \
--cc=multi@cs.chalmers.se \
--cc=nuprllist@CS.Cornell.EDU \
--cc=nuprlnotes@www1.cs.cornell.edu \
--cc=om-announce@lars.math.fsu.edu \
--cc=oose@uni-paderborn.de \
--cc=pop-group@cs.cmu.edu \
--cc=post+comp.compilers@andrew.cmu.edu \
--cc=post+comp.lang.functional@andrew.cmu.edu \
--cc=post+comp.lang.ml@andrew.cmu.edu \
--cc=post+comp.lang.scheme@andrew.cmu.edu \
--cc=prog-lang@brics.dk \
--cc=prog-lang@daimi.aau.dk \
--cc=prog-lang@diku.dk \
--cc=proglog@cs.chalmers.se \
--cc=prolog-vendors@sics.se \
--cc=prologia@prologianet.univ-mrs.fr \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=reus@informatik.uni-muenchen.de \
--cc=rewriting@ens-lyon.fr \
--cc=scheme48@zurich.csail.mit.edu \
--cc=scheme@mc.lcs.mit.edu \
--cc=seworld@cs.colorado.edu \
--cc=sicstus-users@sics.se \
--cc=sig-coord@flp.cs.tu-berlin.de \
--cc=smid-medl@imv.au.dk \
--cc=stimdi-rek-subscribe@yahoogroups.com \
--cc=stochver@cs.bham.ac.uk \
--cc=streicher@mathematik.tu-darmstadt.de \
--cc=theorem-provers@ai.mit.edu \
--cc=theory@brics.dk \
--cc=theory@cl.cam.ac.uk \
--cc=theory@cs.bham.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=webmaster@eatcs.org \
--cc=zeves@ora.on.ca \
--cc=zforum@comlab.ox.ac.uk \
--cc=zforum@prg.ox.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).