procure

EXPRESS specification:

ENTITY procure
SUBTYPE OF ( | structural_frame_process);
vendors | : | person_and_organization;
purchaser | : | person_and_organization;
purchased_products | : | LIST [1:?] OF product_item_select;
sales_contract | : | contract;
delivery_dates | : | LIST [1:?] OF calendar_date;
INVERSE
prices | : | SET [1:?] OF structural_frame_item_priced FOR priced_item;
WHERE
WRP23 | : | SIZEOF (delivery_dates) = SIZEOF (purchased_products);
END_ENTITY;

References (1):

Name | Type | Referred through | Express-G
structural_frame_process | Entity |
Subtype
| No Diagram

Inheritance graph

ENTITY procure;
ENTITY structural_frame_item;
item_number | : | INTEGER;
item_name | : | label;
item_description | : | OPTIONAL text;
DERIVE
item_ref | : | BAG OF identifier := get_item_ref(SELF);
cost_code | : | BAG OF label := get_item_cost_code(SELF);
object_id | : | globally_unique_id := get_instance_id(SELF);
ENTITY structural_frame_process;
place_of_process | : | OPTIONAL organizational_address;
ENTITY procure;
vendors | : | person_and_organization;
purchaser | : | person_and_organization;
purchased_products | : | LIST [1:?] OF product_item_select;
sales_contract | : | contract;
delivery_dates | : | LIST [1:?] OF calendar_date;
INVERSE
prices | : | SET [1:?] OF structural_frame_item_priced FOR priced_item;
END_ENTITY;