[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: NEW ISSUE: Title: The algorithm for deciding whether a partnerLinkis a service or a reference needs to be deterministic
TARGET: SCA C+I WS-BPEL spec, General DESCRIPTION: Section 2.1 currently states "If a static analysis of the process determines that it is possible that the first message for a partner link will be received in a <receive> activity, the <onMessage> element of a <pick> activity or the <onEvent> element of an event handler then the partner link has a corresponding SCA service in the component type." I have concerns that this will leave cases where one vendor can make such determination, where another vendor, with a less sophisticated static analysis can not. This will leave the algorithm implementation-dependent. The goal of the algorithm is to produce a component type from a BPEL file in a deterministic way, with no external dependencies. PROPOSAL: none
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]