Формалізований опис процесу залучення судна для перевезення вантажу
Abstract
Процес залучення судна для виконання перевезення вантажу розглянуто з позицій вантажовласника, який в угодах з фрахтування судна виступає фрахтувальником. Визначено основні етапи процесу фрахтування судна із моментами їх початку та закінчення; з використанням апарату темпоральної логіки формалізовано причинно-наслідкові зв'язки між окремими етапами.
Keywords
