3 data objects (quote, certificate, revocation list)

1 data object (verification outcome)

Restriction: task must have exactly three input and one output data objects
Error: exactly 2 inputs and 1 output are required

Restriction: “quote” property must exist under stereotype details object - “quote” must have been selected and saved and “quote” information must not have been deleted from model’s file
Error: quote is undefined

Restriction: “certificate” property must exist under stereotype details object - “certificate” must have been selected and saved and “certificate” information must not have been deleted from model’s file
Error: certificate is undefined

Restriction: input data object fixed (by its id) in “quote” property must exist also on model
Error: quote object is missing

Restriction: input certificate object fixed (by its id) in “certificate” property must exist also on model
Error: certificate object is missing

Restriction: “revocationList” property must exist under stereotype details object - “revocationList” must have been selected and saved and “revocationList” information must not have been deleted from model’s file
Error: revocationList is undefined

Restriction: input certificate object fixed (by its id) in “revocationList” property must exist also on model
Error: revocationList object is missing

Restriction: quote, certificate and revocation list objects must be different data objects - they must have different ids
Error: quote, certificate and revocation list must be different objects