Publication Details

Data-Driven Maritime Processes Management Using Executable Models

RICHTA Tomáš and JANOUŠEK Vladimír. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In: Computer Aided Systems Theory - EUROCAST 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berlin Heidelberg: Springer Verlag, 2017, pp. 134-141. ISBN 978-3-319-74726-2. Available from: https://link.springer.com/chapter/10.1007/978-3-319-74727-9_16
Czech title
Daty řízený management námořních procesů využívající dynamicky rekonfigurovatelné spustitelné modely
Type
conference paper
Language
english
Authors
URL
Keywords

Reference Petri Nets, dynamic reconfigurability, executable models, model-driven development, formal specifications

Abstract

Maritime processes as well as the other logistics-based processes are strongly connected with the mechanical devices they operate on, as well as people involved. Typical operational issues like vessel management, berthing process, cargo loading, etc., as well as the whole predictability of the process fulfilment therefore strongly depends on the processes automation means used. Some of the recent approaches utilise the BPMN processes description for more precise and predictable management of processes. Nevertheless these approaches lack a deeper coverage of technical resources used within the process tasks fulfilment. This paper aims to describe the usage of distributed control system architecture based on Reference Petri Nets models for logistics processes management and decision support. The architecture is based on Reference Petri Nets model covering the service layer of process management, which is used by the BPMN models. System model model consists of the set of involved nodes and their detailed logical functionality description and communication channels. According to predefined set of rules the Reference Petri Nets executable model is generated from the system Specification. This model could be used for the logistics process simulation and estimation, as well as translated into the interpretable Petri Nets bytecode that could be dynamically installed on any node of the system for controlling its functionality. When there are some changes within the model later, they are converted to produce new versions of particular bytecode representing the partial functionality of involved nodes. The important features of described approach are formally precise while human readable description of each layer of the system functionality and the dynamic reconfigurability of target system behaviour during its runtime.

Published
2017
Pages
134-141
Proceedings
Computer Aided Systems Theory - EUROCAST 2017
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Conference
Sixteenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-319-74726-2
Publisher
Springer Verlag
Place
Berlin Heidelberg, DE
DOI
UT WoS
000531202800016
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11289,
   author = "Tom\'{a}\v{s} Richta and Vladim\'{i}r Janou\v{s}ek",
   title = "Data-Driven Maritime Processes Management Using Executable Models",
   pages = "134--141",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2017",
   series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
   year = 2017,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-74726-2",
   doi = "10.1007/978-3-319-74727-9\_16",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11289"
}
Back to top