ALF_ — Errors in the Property Management Service Example

Subclause: C.3 Property Management Service

• To be consistent with the implementation of ‘create reply’, the association of Property to Location should be optional.

• In the ‘create property’ example, the mandatory ‘property type’ needs to be set in the propertyData instance creation expression.

• In the establish operation, two occurrences of “request.name” should be replaced with “request.’property name’”.

• In the acquire, update, delete and retrieve operations, the reply and error out parameters need to be set to null values before the if statement and the select expressions should have “[1]” at the end.

• In the acquire, update and dispose operations, the reference to ‘Property Type’ should be ‘Property Status’ and the assignment in the second if clause should be equality.

• The update operation needs to import 'Property Management'::'Data Model'::Locations::Location. Also, “request.’property location’” should be “request.’property location identifier’” (three times), “request.’serial number’ “should be “request.’property serial number’” and “request.size” should be “request.’property size’”.

Agreed, except that:
• The second bullet should reference the ‘create reply’ activity (which has a propertyData instance creation expression) rather than ‘create property) which does not.
• In the fifth bullet, the issue with assignment seems to have already been resolved.
Revised Text: