Should a correlationViolation be thrown when initiaing a correlation set with missing property aliases

["Chris Keller" <chris.keller@active-endpoints.com>]

It is not clear in the current specification what should happen if a property declared in a correlation set does not have a corresponding property alias during initialization.  For example if I have a property called “purchaseOrderNumber” and create a correlation set in my BPEL called “po” which includes this property.  If then create a receive which initiates the correlation set “po” and uses a variable called “poVar” that is a associated with a message called “poMessage”, but I neglect to create a propertyAlias for “poMessage” to associate it with “purchaseOrderNumber”.  My feeling is that this should throw a correlationViolation (or some new fault like unknownPropertyAlias), but I couldn’t find it spelled out anywhere.

 

Chris