This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 324 - what does validation mean for a choreography language?
Summary: what does validation mean for a choreography language?
Status: RESOLVED FIXED
Alias: None
Product: WS Choreography
Classification: Unclassified
Component: Uncategorized (show other bugs)
Version: unspecified
Hardware: Other other
: P2 normal
Target Milestone: --
Assignee: Martin Chapman
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-08-27 18:01 UTC by Martin Chapman
Modified: 2004-03-04 13:23 UTC (History)
0 users

See Also:

Attachments

Description Martin Chapman 2003-08-27 18:01:52 UTC 
From 24th June concall:
http://www.w3.org/2002/ws/chor/3/06/24-minutes.html

related to enforcement issue:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=309
Comment 1 Martin Chapman 2004-03-04 08:23:41 UTC 
validation breaks into 2:

syntactic validation - adherence to the langauge
correctness validation - evaluation of livelock, deadlock, leak freedom 
properties.