dc.contributor.author | Richta, Tomáš | |
dc.contributor.author | Wang, Hao | |
dc.contributor.author | Osen, Ottar | |
dc.contributor.author | Styve, Arne | |
dc.contributor.author | Janoušek, Vladimír | |
dc.date.accessioned | 2019-01-18T12:29:23Z | |
dc.date.available | 2019-01-18T12:29:23Z | |
dc.date.created | 2018-02-04T19:36:27Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Lecture Notes in Computer Science. 2018, 10672 134-141. | nb_NO |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/11250/2581305 | |
dc.description.abstract | In this paper we describe a decision support system for maritime traffic and operations, based on formal models and driven by data from the environment. To handle the complexity of system description, we work with a decomposition of the system to set of abstraction levels. At each level, there are specific tools for system functionality specification, respecting particular domain point of view. From the business level point of view, the system consists of processes and vehicles and facilities over those the processes are performed. From the engineering point of view, each process consists of a set of devices, that should be controlled and maintained. Software engineering point of view operates on reading and converting bytes of data, storing them into variables, arrays, collections, databases, etc. For complex trading processes management purposes we need to cover all levels of abstraction by specific description, suitable to model and automate the operations on each particular level. As a case study we use salmon farming in Norway. The system implementation is based on Reference Petri nets and interpreted by the Petri Nets Operating System (PNOS) engine. This approach brings formal foundations to the system definition as well as dynamic reconfigurability to its runtime and operation. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | Springer Verlag | nb_NO |
dc.title | Data-Driven Maritime Processes Management Using Executable Models | nb_NO |
dc.type | Journal article | nb_NO |
dc.description.version | submittedVersion | nb_NO |
dc.source.pagenumber | 134-141 | nb_NO |
dc.source.volume | 10672 | nb_NO |
dc.source.journal | Lecture Notes in Computer Science | nb_NO |
dc.identifier.doi | 10.1007/978-3-319-74727-9_16 | |
dc.identifier.cristin | 1561629 | |
dc.description.localcode | This is a pre-print of an article published in [Lecture Notes in Computer Science]. The final authenticated version is available online at: https://doi.org/10.1007/978-3-319-74727-9_16 | nb_NO |
cristin.unitcode | 194,63,55,0 | |
cristin.unitname | Institutt for IKT og realfag | |
cristin.ispublished | true | |
cristin.fulltext | preprint | |
cristin.qualitycode | 1 | |