Data Structure and Software Engineering

E C S  B P I 101

(a) e next activity must be either of type Choose-Shipment or

StandardShipment,but notboth

context SubmitOrder inv: next->select(a | a.oclIsTypeOf(ChooseShipment)or

a.oclIsType Of(Standard-Shipment))-> size ()<=1

(b) If the Submit Order instance is completed, a Choose Shipment or a Stan-

dard Shipment activity must be created before ending the case

contextCaseinv: status=‘completed’implies activity-> select(a |a.status=‘completed’

and a.oclIsTypeOf(SubmitOrder))-> forAll (a |a.next-> exists(b |(b.oclIs-

TypeOf(Choose Shipment) or b.oclIs-TypeOf(StandardShipment)) andb.

start>=a.end))

(c) Only ChooseShipment or StandardShipment activity instances may follow

a SubmitOrderinstance ...