Data-Driven Maritime Processes Management Using Executable Models
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.
This work was supported by The Ministry of Education, Youth and Sports of the Czech Republic from the National Programme of Sustainability (NPU II); project IT4Innovations excellence in science - LQ1602 and partially by the Norwegian Funds under the academic staff mobility programme (NF-CZ07-INP-5-337-2016).
- 3.Keim, D., Andrienko, G., Fekete, J.-D., Görg, C., Kohlhammer, J., Melançon, G.: Visual analytics: definition, process, and challenges. In: Kerren, A., Stasko, J.T., Fekete, J.-D., North, C. (eds.) Information Visualization. LNCS, vol. 4950, pp. 154–175. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-70956-5_7 CrossRefGoogle Scholar
- 4.Nikolopoulos, C.: Expert Systems: Introduction to First and Second Generation and Hybrid Knowledge Based Systems, 1st edn. Marcel Dekker Inc., New York (1997)Google Scholar
- 5.Ostermayer, L., Seipel, D.: A prolog framework for integrating business rules into java applications. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, 17 September 2013, CEUR Workshop Proceedings, vol. 1070. CEUR-WS.org (2013)Google Scholar
- 6.Ray, C., Grancher, A., Thibaud, R., Etienne, L.: Spatio-temporal rule-based analysis of maritime traffic. In: Third Conference on Ocean & Coastal Observation: Sensors and Observing Systems, Numerical Models and Information (OCOSS), pp. 171–178 (2013)Google Scholar
- 7.Richta, T., Janousek, V., Kocí, R.: Dynamic software architecture for distributed embedded control systems. In: Moldt, D., Rölke, H., Störrle, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2015), Including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A Satellite Event of the Conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, 22–23 June 2015, CEUR Workshop Proceedings, vol. 1372, pp. 133–150. CEUR-WS.org (2015)Google Scholar
- 8.Rutle, A., MacCaull, W., Wang, H., Lamo, Y.: A metamodelling approach to behavioural modelling. In: Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, pp. 5:1–5:10. BM-FA 2012. ACM, New York, NY, USA (2012). https://doi.org/10.1145/2325276.2325281
- 9.Wang, H., Zhuge, X., Strazdins, G., Wei, Z., Li, G., Zhang, H.: Data integration and visualisation for demanding marine operations. In: Oceans 2016: MTS/IEEE Oceans Conference (2016)Google Scholar