<?xml version="1.0" encoding="UTF-8"?>











<rss version="2.0" xmlns:jf="http://www.jivesoftware.com/xmlns/jiveforums/rss">



<channel>
    <title>Support Forums: Message List - Pi Calculus for SOA 1.3.0 released - tool for choreography</title>
    <link>http://www.theserverside.com</link>
    <description>Most recent forum messages</description>
    <language>en</language>
    
        <generator>Jive Forums Silver 5.5.30 (www.jivesoftware.com)</generator>
    
    <pubDate>Thu, 23 May 2013 04:45:03 -0400</pubDate>


    <item>

        <title>Petri-nets vs pi-calculus for expressing global models</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[My apologies for not fully reading the paper. It does indeed look interesting. And without having delved into details (which is unwise but alas I am snowed with work right now) I would point out some work done by the pi-petri working group on...]]></description>
        

        <pubDate>Thu, 01 Dec 2005 17:11:49 -0500</pubDate>

        

        <jf:creationDate>Thu, 01 Dec 2005 17:11:49 -0500</jf:creationDate>
        <jf:modificationDate>Thu, 01 Dec 2005 17:11:49 -0500</jf:modificationDate>
        <jf:date>Dec 1, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>0</jf:replyCount>
    </item>


    <item>

        <title>Formalism and WS-CDL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[This is very interesting, thanks for the link.]]></description>
        

        <pubDate>Thu, 01 Dec 2005 10:32:56 -0500</pubDate>

        

        <jf:creationDate>Thu, 01 Dec 2005 10:32:56 -0500</jf:creationDate>
        <jf:modificationDate>Thu, 01 Dec 2005 10:32:56 -0500</jf:modificationDate>
        <jf:date>Dec 1, 2005</jf:date>
        <jf:author>traceroute</jf:author>
        <jf:replyCount>1</jf:replyCount>
    </item>


    <item>

        <title>Formalism and WS-CDL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[<blockquote>Why is a global description of the service collaboration as in WS-CDL better than a set of local descriptions that each describes the behavior of the participating services (e.g. as a set of abstract BPEL descriptions)? </blockquote><br>there...]]></description>
        

        <pubDate>Thu, 01 Dec 2005 06:03:32 -0500</pubDate>

        

        <jf:creationDate>Thu, 01 Dec 2005 06:03:32 -0500</jf:creationDate>
        <jf:modificationDate>Thu, 01 Dec 2005 06:03:32 -0500</jf:modificationDate>
        <jf:date>Dec 1, 2005</jf:date>
        <jf:author>The Ugly One With The Jewels</jf:author>
        <jf:replyCount>2</jf:replyCount>
    </item>


    <item>

        <title>Global and end point calculi and CDL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[I don't propose to answer the question here. The purpose of placing the paper on the W3C public list is to encourage exactly these sorts of questions on the public list. So I would direct the author to that list.<br><br>Best<br><br>Steve T]]></description>
        

        <pubDate>Thu, 01 Dec 2005 01:24:31 -0500</pubDate>

        

        <jf:creationDate>Thu, 01 Dec 2005 01:24:31 -0500</jf:creationDate>
        <jf:modificationDate>Thu, 01 Dec 2005 01:24:31 -0500</jf:modificationDate>
        <jf:date>Dec 1, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>0</jf:replyCount>
    </item>


    <item>

        <title>Formalism and WS-CDL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[In the paper linked to above two formal calculi are described: a 'global' calculus that models business processes from a global perspective and the pi-calculus that models the same processes as a set of local endpoint behaviors. The global calculus is...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 19:14:23 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 19:14:23 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 19:14:23 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>Tonny Holdorf</jf:author>
        <jf:replyCount>4</jf:replyCount>
    </item>


    <item>

        <title>Formalism and WS-CDL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[The formalism can be found on the public list at <a href="http://lists.w3.org/Archives/Public/public-ws-chor/2005Nov/att-0015/part1_Nov25.pdf"...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 07:55:23 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 07:55:23 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 07:55:23 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>5</jf:replyCount>
    </item>


    <item>

        <title>CDL and abstract BPEL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[<blockquote>Also Abstract BPEL was never designed to be able to express multi-party contracts in any scalable and sensible fashion. Whereas WS-CDL was designed to do this.</blockquote><br>You are correct that Abstract BPEL and WS-CDL are complementary...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 07:37:44 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 07:37:44 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 07:37:44 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>The Ugly One With The Jewels</jf:author>
        <jf:replyCount>6</jf:replyCount>
    </item>


    <item>

        <title>CDL and abstract BPEL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[Abstract BPEL is great as a behavioral contract for a single service. But it is not guaranteed to be part of WS-BPEL. There is still some doubt about it's inclusion as far as I am aware.<br><br>Also Abstract BPEL was never designed to be able to express...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 06:31:26 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 06:31:26 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 06:31:26 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>7</jf:replyCount>
    </item>


    <item>

        <title>WS-CDL *is* a published candidate recommendation</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[Check <a href="http://www.w3.org/TR/" target="_blank">http://www.w3.org/TR/</a> <br><br>As to when a standard is a standard that is another point entirely. I think the diff between CR and R (to use W3C speak) is sufficiently small that it ceases to...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 06:26:54 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 06:26:54 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 06:26:54 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>0</jf:replyCount>
    </item>


    <item>

        <title>WS-CDL *is* a published candidate recommendation</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[<blockquote><blockquote>The W3C Choreography Description Language (WS-CDL) is a <b>standard</b> for describing how services interoperate based on their observable behavior.</blockquote>this is pretty much misleadingWS-CDL is <b>not</b> a standard, it is...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 06:23:46 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 06:23:46 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 06:23:46 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>1</jf:replyCount>
    </item>


    <item>

        <title>Pi Calculus for SOA 1.3.0 released - tool for choreography</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[<blockquote>The W3C Choreography Description Language (WS-CDL) is a <b>standard</b> for describing how services interoperate based on their observable behavior.</blockquote><br>this is pretty much misleading<br><br>WS-CDL is <b>not</b> a standard, it is...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 05:50:33 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 05:50:33 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 05:50:33 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>The Ugly One With The Jewels</jf:author>
        <jf:replyCount>2</jf:replyCount>
    </item>


    <item>

        <title>CDL and BPEL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[<blockquote>BPEL ... is a porogramming language that enables you to construct web services from web services in a recursive manner. And to execute the composed service in an application server. <br><br>...So CDL really is complementary to BPEL. There is...]]></description>
        

        <pubDate>Wed, 30 Nov 2005 05:43:53 -0500</pubDate>

        

        <jf:creationDate>Wed, 30 Nov 2005 05:43:53 -0500</jf:creationDate>
        <jf:modificationDate>Wed, 30 Nov 2005 05:43:53 -0500</jf:modificationDate>
        <jf:date>Nov 30, 2005</jf:date>
        <jf:author>The Ugly One With The Jewels</jf:author>
        <jf:replyCount>8</jf:replyCount>
    </item>


    <item>

        <title>SOA will not succeed without CDL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[Normally I'd moan about yet another WS-* &quot;technology&quot;, yet another vendor jumping on the SOA bandwagon but WS-CDL is the the technology that's going to make SOA work in an enterprise level.<br><br>We're now seeing a serious take-up of CDL in...]]></description>
        

        <pubDate>Tue, 29 Nov 2005 17:46:23 -0500</pubDate>

        

        <jf:creationDate>Tue, 29 Nov 2005 17:46:23 -0500</jf:creationDate>
        <jf:modificationDate>Tue, 29 Nov 2005 17:46:23 -0500</jf:modificationDate>
        <jf:date>Nov 29, 2005</jf:date>
        <jf:author>John Davies</jf:author>
        <jf:replyCount>0</jf:replyCount>
    </item>


    <item>

        <title>CDL and BPEL</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[Javier,<br><br>I appreciate you point. But as you say you are a CDL illiterate. You need to step back and think about how we design systems. And you need to step back and think about what BPEL does for you. <br><br>We design from the top down. So we need...]]></description>
        

        <pubDate>Tue, 29 Nov 2005 05:19:11 -0500</pubDate>

        

        <jf:creationDate>Tue, 29 Nov 2005 05:19:11 -0500</jf:creationDate>
        <jf:modificationDate>Tue, 29 Nov 2005 05:19:11 -0500</jf:modificationDate>
        <jf:date>Nov 29, 2005</jf:date>
        <jf:author>Steve Ross-Talbot</jf:author>
        <jf:replyCount>9</jf:replyCount>
    </item>


    <item>

        <title>Re: Pi Calculus for SOA 1.3.0 released - tool for choreography</title>
        <link>http://www.theserverside.com/discussions/thread.tss?thread_id=37760</link>

        

        
            <description><![CDATA[My point of view as a BPEL user and CDL illiterate is that BPEL shows a real, day-to-day value for SOAs (create composite web services in a simple way), while CDL usefulness (designing complex interactions at high level) seems more ellusive; at least I...]]></description>
        

        <pubDate>Mon, 28 Nov 2005 13:14:05 -0500</pubDate>

        

        <jf:creationDate>Mon, 28 Nov 2005 13:14:05 -0500</jf:creationDate>
        <jf:modificationDate>Mon, 28 Nov 2005 13:14:05 -0500</jf:modificationDate>
        <jf:date>Nov 28, 2005</jf:date>
        <jf:author>Javier C?Ra</jf:author>
        <jf:replyCount>10</jf:replyCount>
    </item>



</channel>
</rss>

