- From: Sheila McIlraith <sam@KSL.Stanford.EDU>
- Date: Thu, 22 Aug 2002 10:24:14 -0700 (PDT)
- 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 UTC