{

  // 購入トランザクション
    // アプリ側の処理
    lane MyApp{
        label = "MyApp";
        アイテム問い合わせ;
        リクエスト発行;
        Observerで通知を受信;
        購入完了[description = "レシートを受け取る"];
        購入完了処理;
    };
    // Apple側の処理
    default_shape = roundedbox;
    lane Apple{
        label = "Apple Server";
        アイテム確認;
        購入トランザクションの開始;
        購入トランザクションの通知;

        正当性の確認;
    }
    default_shape = box;
    // line to line
    アイテム問い合わせ -> アイテム確認;
    アイテム確認-> リクエスト発行[label="exist"];
    リクエスト発行 -> 購入トランザクションの開始 -> 購入トランザクションの通知;
    購入トランザクションの通知 -> Observerで通知を受信;

    Observerで通知を受信 -> 購入トランザクションの通知;
    Observerで通知を受信 -> 購入完了[label="レシート"];
    購入完了 -> 購入完了処理;

    lane MyServer{
        レシートの正当性の問い合わせ;
        購入アイテムの反映;
    }

    購入完了処理 -> レシートの正当性の問い合わせ[label="レシート"];
    レシートの正当性の問い合わせ -> 正当性の確認;
    正当性の確認 -> 購入アイテムの反映;
}