Open AccessФормалізація причинно-наслідкових зв'язків складових процесу виконання судном рейсу
Author(s) -
Юлія Олексіївна Коскіна
Publication year - 2020
Publication title -
vìsnik odesʹkogo nacìonalʹnogo morsʹkogo unìversitetu
Language(s) - Ukrainian
Resource type - Journals
ISSN - 2226-1893
DOI - 10.33082/2226-1893-2019-3-93-108
Subject(s) - computer science
Рейс судна, яким реалізується перевезення вантажів морем, є його основним виробничим процесом. Організація і реалізація перевезення вантажу морським судном багато у чому визначається чіткою координацією окремих процесів, якими ініціюється та супроводжується виконання судном рейсу. Початок та закінчення кожної складової рейсу забезпечується документооборотом та діями не лише перевізника, а і інших учасників процесу перевезення вантажів. З використанням операторів темпоральної логіки встановлено причинно-наслідкові зв'язки частин рейсу із процесами, які реалізуються фрахтово-брокерськими, агентськими, стивідорними та експедиторськими компаніями, та формалізовано процес виконання судном рейсу.