<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>342</bug_id>
          
          <creation_ts>2003-09-16 19:01:37 +0000</creation_ts>
          <short_desc>Turing complete or not turing complete</short_desc>
          <delta_ts>2004-03-04 11:01:42 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>WS Choreography</product>
          <component>Requirements</component>
          <version>unspecified</version>
          <rep_platform>All</rep_platform>
          <op_sys>other</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P2</priority>
          <bug_severity>major</bug_severity>
          <target_milestone>--</target_milestone>
          <dependson>306</dependson>
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Steve Ross-Talbot">steve</reporter>
          <assigned_to name="Steve Ross-Talbot">steve</assigned_to>
          <cc>gritzinger</cc>
          
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>762</commentid>
    <comment_count>0</comment_count>
    <who name="Steve Ross-Talbot">steve</who>
    <bug_when>2003-09-16 19:01:37 +0000</bug_when>
    <thetext>The issue is that the choreography working group needs to resolve the notion of turing 
completeness. 

The issue revolves around two things.

Firstly is it possible to describe the external observable behaviour for all choreographies without 
the need to use any conditional logic?

Secondly does a choreography need to be executable in a program execution sense (in which case 
turing completness is necessary).</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1190</commentid>
    <comment_count>1</comment_count>
    <who name="Greg Ritzinger">gritzinger</who>
    <bug_when>2004-01-20 17:34:01 +0000</bug_when>
    <thetext>*** Bug 476 has been marked as a duplicate of this bug. ***</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1444</commentid>
    <comment_count>2</comment_count>
    <who name="Martin Chapman">martin.chapman</who>
    <bug_when>2004-03-04 06:01:42 +0000</bug_when>
    <thetext>there is a requirement for conditional logic in C-CR-4510.
there is not a requirement for executablity</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>