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

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