arcadia 7;
project coverage "REST coverage parity" id "f0660906-0000-4000-8000-000000000001" {
    description "";

    oa_entity crew "Crew" id "f0660906-0000-4000-8000-000000000002" {
        description "";
        parent none;
    }

    oa_activity activity_group "Manage service" id "f0660906-0000-4000-8000-000000000010" {
        description "";
        parent none;
    }

    oa_activity a "Prepare" id "f0660906-0000-4000-8000-000000000011" {
        description "";
        parent @activity_group;
    }

    oa_activity b "Deliver" id "f0660906-0000-4000-8000-000000000012" {
        description "";
        parent @activity_group;
    }

    oa_activity c "Verify" id "f0660906-0000-4000-8000-000000000013" {
        description "";
        parent none;
    }

    oa_capability q "Reliable delivery" id "f0660906-0000-4000-8000-000000000020" {
        description "";
        parent none;
    }

    oa_mission m "Deliver reliably" id "f0660906-0000-4000-8000-000000000021" {
        description "";
        parent none;
    }

    oa_process delivery "Delivery path" id "f0660906-0000-4000-8000-000000000030" {
        description "";
        parent none;
        steps [@ab_use];
    }

    oa_occurrence ab_use "Use prepared service" id "f0660906-0000-4000-8000-000000000031" {
        body {
            Exchange {
                exchange @eab;
                message_kind Asynchronous;
                receiver none;
                reply_to none;
                sender none;
                values [];
            };
        };
        description "";
        parent @delivery;
        postcondition "";
        precondition "";
    }

    allocation allocate_a "Prepare responsibility" id "f0660906-0000-4000-8000-000000000041" {
        description "";
        source @crew;
        target @a;
    }

    allocation allocate_b "Deliver responsibility" id "f0660906-0000-4000-8000-000000000042" {
        description "";
        source @crew;
        target @b;
    }

    allocation allocate_c "Verify responsibility" id "f0660906-0000-4000-8000-000000000043" {
        description "";
        source @crew;
        target @c;
    }

    interaction eab "Prepared service" id "f0660906-0000-4000-8000-000000000050" {
        description "";
        items [];
        source @a;
        target @b;
    }

    interaction ep "Grouped service" id "f0660906-0000-4000-8000-000000000051" {
        description "";
        items [];
        source @activity_group;
        target @c;
    }

    interaction eca "Verified service" id "f0660906-0000-4000-8000-000000000052" {
        description "";
        items [];
        source @c;
        target @a;
    }

    capability_involvement support "Crew support" id "f0660906-0000-4000-8000-000000000060" {
        description "";
        source @crew;
        target @q;
    }

}
