petshop-00-model.spp

petshop/fulfillment/petshop-00-model.spp

Download original file · Petstore source contents

1domain petshop;23Contract ShipmentAgreement {4    Buyer buyer;5    ShopOrder order;6    String tracking;7    Receipt receipt;8    int shippedQuantity;9}1011Contract DeliveryAgreement {12    Buyer buyer;13    ShopOrder order;14    Receipt receipt;15}