protocol BuyerSeller (role Buyer) {
    Buyer introduces Seller;

    Order from Buyer to Seller;

    choice at Seller {
        Invoice from Seller to Buyer;
    } or {
        Rejected from Seller to Buyer;
    }
}