Log Cảng Biển
Log Cảng Biển
The BPMN language has been developed with a solid mathematical foundation provided by
the process calculus theory, which is an essential requirement to automate execution and to
easily provide proofs of general consistency properties. To describe a workflow, BPMN offers
the business process diagram, with a rich set of elements and attributes. For the sake of
significance, in this paper we report on the basic elements shown in Figure 1.
The interested reader may refer to [42] for a detailed study of the language. More precisely,
events (represented as circles) model something that can happen during the process. A
workflow is activated by a start event (a circle with a single thin border) and terminated by
an end event (a circle with a single thick border), while intermediate events (circles with
double border) can occur anywhere within the flow. Tasks (roundedcorner rectangles) are
atomic activities of the workflow, whereas gateways (diamonds) are decision points to
control the flow of work. The exclusive gateway routes the incoming flow to one of the
mutually exclusive outcoming flows, on the basis of a logic condition. The sequence flow is
represented by a solid arrow, and it models the order of execution of activities in the
workflow. Finally, pools and lanes are represented by rectangles and they model different
responsible subjects/areas.
Given the above elements, an essential BPMN model of a marine container terminal system
is presented in the following subsection. The model is related to a terminal located in the
Port of Leghorn (Italy) and it takes into account some scenarios.