Object-Oriented Software Development with UML - UNU-IIST ...

Contracts for System Operations 856.2.2 Contracts for some operations in POST systemContract forContractNUsCXNDE:VWCXNDYName:Responsibilities:Type:enterItem(upc:UPC, quantity:Integer).Enter (or record) sale of an item and add it to the sale. Display the item description andprice.System.Cross References: System Functions: R1.1, R1.3, R1.9Use Cases: Buy ItemsNote:Exceptions:Use superfast database access.If the UPC is not valid, indicate that it was an error.Output:Pre-conditions:Post-conditions:UPC is known to the system.If a new sale, a was=created (instance creation).If a new sale, the new was associated with the (association formed).=A was K+RZ[N created (instance creation).OLU+N9VWCXNY œ >—šxK K+RZ[N K+RZ[NWA:\ =The was set to (attribute modification).=The was associated with the .K-RZ†N OLU+N9VWCXNY K+RZ[NWA:\ §HJRUsCTOTCTe OLU+N9VWCXNY·„°§HJRU_CTOLCTe K+RZ[NWA:\ =The was associated with a , based on m >›a=match (association >¥E¦?GHJICLK§M•N9IOPQI9R¥CTOT?U K+RZ[NWA;\]O^U-N9VWCXNDY formed).Contract forContractNU_GBK+R§Z†NName:Responsibilities:Type:endsale().Record that it is the end of entry of sale items, and display sale total.System.Cross References: System Functions: R1.2Use Cases: Buy ItemsNote:Exceptions:If a sale is not underway, indicate that it was an error.Output:Report No. 259, July 2002UNU/IIST, P.O. Box 3058, Macau