W3C home > Mailing lists > Public > www-ws@w3.org > August 2002

Semantics for BPEL4WS?

From: Sheila McIlraith <sam@KSL.Stanford.EDU>
Date: Thu, 22 Aug 2002 10:24:14 -0700 (PDT)
Message-Id: <200208221724.KAA07608@hpp-ss10-3.Stanford.EDU>
To: www-ws@w3.org
Cc: sam@KSL.Stanford.EDU


XLANG is based on Pi-calculus and WSFL had a petri net operational
semantics, I believe.  Has anyone at IBM, Microsoft or BEA defined a
semantics for BPEL4WS?  I didn't see it in the specs below.  If not,
are there plans to do this and if so, what can you tell us of this?

Thanks,
Sheila McIlraith

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

Sheila McIlraith, PhD                 Phone: 650-723-7932
Senior Research Scientist             Fax:  650-725-5850
Knowledge Systems Lab
Department of Computer Science
Gates Sciences Building, 2A-248       http://www.ksl.stanford.edu/people/sam
Stanford University                   E-mail sam@ksl.stanford.edu
Stanford, CA 94305-9020
Received on Thursday, 22 August 2002 13:24:18 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:40 GMT