[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [wsbpel] Issue 191 - Receive/createProcess/Rendezvous from withinWhile loop (New Proposed Issue Announcement)
Why is it an issue that rendezvous can be used in situations where there is no ambiguity? It doesn't seem to actually hurt anything. This is the sort of thing that most compilers would at most mark as a warning. Yes, using rendezvous in this way could indicate a programmer error but it isn't necessarily an error and trying to prevent it would bring us into some very ugly issues about optimistic versus pessimistic analysis that we know from experience we would rather not deal with. :) Yaron Danny van der Rijn wrote: > Good point. I don't think that the createInstance=yes is necessary for the > example to hold. > > Danny > > Satish Thatte wrote: > >>I actually missed the createInstance="yes" in the example. I think the >>interesting issue is the same example without createInstance="yes" on >>the receive. It will then create a situation where a feature >>(rendezvous) designed to address non-deterministic order is used in a >>situation with very defined order. >> >>-----Original Message----- >>From: Dieter Koenig1 [mailto:dieterkoenig@de.ibm.com] >>Sent: Tuesday, February 08, 2005 2:28 AM >>To: ygoland@bea.com >>Cc: Danny van der Rijn; wsbpel@lists.oasis-open.org >>Subject: Re: [wsbpel] Issue 191 - Receive/createProcess/Rendezvous from >>within While loop (New Proposed Issue Announcement) >> >>+1. A createInstance="yes" is not legal inside of <while> (according to >>section 6.5), and issue 81 should not change that. >>Kind Regards >>DK >> >> >> >> >> >> "Yaron Y. Goland" >> >> <ygoland@bea.com> >> >> >>To >> 07.02.2005 20:40 Danny van der Rijn >> >> <dannyv@tibco.com> >> >> >>cc >> Please respond to wsbpel@lists.oasis-open.org >> >> ygoland >>Subject >> Re: [wsbpel] Issue 191 - >> >> Receive/createProcess/Rendezvous >> >> from within While loop (New >> >> Proposed Issue Announcement) >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >> >>This issue has a dependency on issue 81. Issue 81 proposes adding the >>following language to section 11.4: >> >>"A receive/pick activity annotated in this way MUST be a "start >>activity". A "start activity" is an initial activity that has a >>createInstance="yes" attribute defined on it. An initial activity is a >>receive/pick activity where no other activities but scope, flow, >>sequence and empty activities occur before it in the process's execution >>path." >> >>The result of this language is that the receive would be illegal as the >>presence of the while activity would mean that the receive is not an >>initial activity and therefore cannot be a start activity and therefore >>is illegal. >> >>I actually think the example in 191 is already illegal even without 81 >>because section 6.5 as it currently stands requires that no 'base >>activity'/initial activity occur before a start activity. But I agree >>that the current language is ambiguous which is why 81 proposed >>clarifying matters. >> >> Yaron >> >>Danny van der Rijn wrote: >> >> >>>I must have formatted my mail to Tony incorrectly. The example should >>> >>> >>read: >> >> >>><process> >>> <sequence> >>> <while> >>> <receive createInstance="yes"> >>> <correlations> >>> <correlation initiate="rendezvous"/> >>> </correlations> >>> </receive> >>> </while> >>> ... >>> </sequence> >>></process> >>> >>>Tony Fletcher wrote: >>> >>> >>> >>>>This issue has been added to the wsbpel issue list with a status of >>>>"received". The status will be changed to "open" if the TC accepts it >>>> >>>> >>as >> >> >> >>>>identifying a bug in the spec or decides it should be accepted >>>> >>>> >>specially. >> >> >>>>Otherwise it will be closed without further consideration (but will >>>> >>>> >>be >>marked >> >> >>>>as "Revisitable") >>>> >>>>The issues list is posted as a Technical Committee document to the >>>> >>>> >>OASIS >> >> >> >>>>WSBPEL TC pages <http://www.oasis-open.org/apps/org/workgroup/wsbpel> >>>> >>>> >>on >>a >> >> >>>>regular basis. The current edition, as a TC document, is the most >>>> >>>> >>recent >> >> >> >>>>version of the document entitled in the "Issues" folder of the WSBPEL >>>> >>>> >>TC >> >> >> >>>>document list >>>><http://www.oasis-open.org/apps/org/workgroup/wsbpel/documents.php> - >>>> >>>> >>the next >> >> >>>>posting as a TC document will include this issue. The list editor's >>>> >>>> >>working >> >> >>>>copy, which will normally include an issue when it is announced, is >>>> >>>> >>available >> >> >>>>at this constant URL >>>><http://www.choreology.com/external/WS_BPEL_issues_list.html>. >>>> >>>> >>>> >>>> >>>> >>------------------------------------------------------------------------ >>-------- >> >> >> >>>> Issue 191: Receive/createProcess/Rendezvous from within While >>>> >>>> >>loop >> >> >>>>*Status:* received >>>>*Date added:* 4 Feb 2005 >>>>*Categories:* Correlation >>>><file:///C:/Perlscripts/wsbpel_issues36.html#category_correlation> >>>>*Date submitted:* 4 February 2005 >>>>*Submitter:* Danny van der Rijn <mailto:dannyv@tibco.com> >>>>*Description:* We came across the following edge case: >>>> >>>><process> <sequence> >>>> >>>><while> <receive createInstance="yes"> <correlations> <correlation >>>>initiate="rendezvous"/> </correlations> </receive> <while> ... >>>> >>>> >></sequence> >> >> >>>></process> >>>> >>>>in which an initial receive correlates with itself in a while loop. >>>> >>>> >>It >>appears >> >> >>>>to be valid from a syntactical point of view, and the execution >>>> >>>> >>semantics >> >> >>>>would follow naturally from the specification. >>>> >>>>*Submitter's proposal:* None other than to ask the question: should >>>> >>>> >>it >> >> >>>>explicitly be disallowed? >>>> >>>>*Changes:* 4 Feb 2005 - new issue >>>> >>>> >>>> >>>> >>------------------------------------------------------------------------ >>-------- >> >> >> >>>> Best Regards, >>>> >>>>Tony/ / >>>> >>>>/ <http://www.choreology.com/>/ >>>> >>>> >>>> >>>>Tony Fletcher >>>> >>>>Technical Advisor >>>>Choreology Ltd. >>>>68, Lombard Street, London EC3V 9L J UK >>>> >>>>Phone: >>>> >>>> >>>> >>>>+44 (0) 1473 729537 >>>> >>>>Mobile: >>>> >>>> >>>> >>>>+44 (0) 7801 948219// >>>> >>>>Fax: >>>> >>>> >>>> >>>>+44 (0) 870 7390077 >>>> >>>>Web: >>>> >>>> >>>> >>>>/www.choreology.com <http://www.choreology.com/>/ >>>> >>>>Cohesions(tm) >>>> >>>>Business transaction management software for application coordination >>>> >>>>Work: tony.fletcher@choreology.com >>>> >>>>Home: amfletcher@iee.org <mailto:amfletcher@iee.org> >>>> >>>> >>>> >>>> >> >>To unsubscribe from this mailing list (and be removed from the roster of >>the OASIS TC), go to >>http://www.oasis-open.org/apps/org/workgroup/wsbpel/members/leave_workgr >>oup.php >>. >> >> >> >>
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]