Shipping An Experimental Domain Analysis & Description Fredsvej 11, DK-2840 Holte, Denmark E–Mail:
[email protected], URL: www.imm.dtu.dk/˜db Dines Bjørner April 22, 2021, 09:42 Abstract This document reports on an experiment: that of modeling a domain of shipping lines1 The purposes of the experiment are (i) to further test the methodology of domain analysis & description as outlined in [1], and (ii) to add yet an, as we think it, interesting domain model to a growing series of such [2]. The report is currently in the process of being written, that is, the domain is still being studied, analysed and tentatively described. Please expect that later versions of this document may have sections that are removed, renumbered and/or rewritten wrt. the present April 22, 2021, 09:42 version. The author regrets not having had contact to real professionals of the shipping line industry. This is most obvious in our treatment of freight forwarder and shipping line behaviours. Here we used simple reasoning to come up with plausible behaviours. The behaviours that we define should convince the reader that whichever similarly reasonable, but now actual, real behaviours can be likewise defined. The author hopes, even at his advanced age, today he is 83 years old, to be able, somehow, to learn from such contacts. Contents 1 Introduction 4 1.1 ... ............................................ 4 1.2 ... ............................................ 4 1.3 Structure of Report ................................. 4 2 Informal Sketches of the Shipping Domain 4 2.1 The Purpose of A Domain Model for Shipping ................. 4 2.2 A First Sketch ..................................... 4 2.3 A Second Sketch ..................................