Detail výsledku

Data-Driven Maritime Processes Management Using Executable Models

RICHTA, T.; JANOUŠEK, V. Data-Driven Maritime Processes Management Using 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. p. 134-141. ISBN: 978-3-319-74726-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
a další
Abstrakt

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.

Klíčová slova

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

URL
Rok
2017
Strany
134–141
Sborník
Computer Aided Systems Theory - EUROCAST 2017
Řada
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Konference
Sixteenth International Conference on Computer Aided Systems Theory
ISBN
978-3-319-74726-2
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg
DOI
UT WoS
000531202800016
EID Scopus
BibTeX
@inproceedings{BUT146255,
  author="Tomáš {Richta} and Vladimír {Janoušek}",
  title="Data-Driven Maritime Processes Management Using Executable Models",
  booktitle="Computer Aided Systems Theory - EUROCAST 2017",
  year="2017",
  series="Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
  pages="134--141",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  doi="10.1007/978-3-319-74727-9\{_}16",
  isbn="978-3-319-74726-2",
  url="https://link.springer.com/chapter/10.1007/978-3-319-74727-9_16"
}
Soubory
Projekty
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru