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
;