Page 103 -

90 N. Russell and A. ter Hofstede
AggregateW T M ! RecExpr is a function identifying the aggregate query for a
multiple instance task.
We now proceed to the abstract syntax for the resource perspective in YAWL. This
comprises two distinct components: the Organizational model, which provides a
description of the overall structure of the organization in terms of users, roles, orga-
nizational groups, positions, and reporting lines, and the Work distribution model,
which defines the manner in which work items are distributed to users at runtime
for execution as well as identifying the interactions that individual users are able to
invoke to influence the way in which this distribution occurs. These two models are
specified in more detail below.
Definition 15. (Organizational model) Within the context of a YAWL specifica-
tion ProcessID, there is an organizational model described by the tuple (UserID,
RoleID, CapabilityID, OrgGroupID, PositionID, CapVal, RoleUser, OrgGroup-
Type, GroupType, PositionGroup, OrgStruct, Superior, UserQual, UserPosition)as
follows:

(* basic definitions *)
UserID is the set of all individuals to whom work items can be distributed;
RoleID is the set of designated groupings of those users;
CapabilityID is the set of qualities that a user may possess that are useful when
making work distribution decisions;
OrgGroupID is the set of groups within the organization;
PositionID is the set of all positions within the organization;
CapVal is the set of values that a capability can have;

(* organizational definition *)
RoleUserW RoleID ! P.RoleUser/ indicates the set of users in a given role;
OrgGroupType Dfteam; group; department; branch; division; organizationg iden-
tifies the type of a given organizational group;
GroupTypeW OrgGroupID ! OrgGroupType;
PositionGroupW PositionID ! OrgGroupID indicates which group a position
belongs to;
OrgStructW OrgGroupID OrgGroupID forms an acyclic intransitive graph
with a unique root, which identifies a composition hierarchy for groups;
SuperiorW PositionID PositionID forms an acyclic intransitive graph, which
identifies the reporting lines between positions;

(* user definition *)
UserQualW UserID CapabilityID ! CapVal [fUndefinedg identifies the
capabilities that a user possesses;
UserPositionW UserID ! P.PositionID/ maps a user to the positions that they
hold.