dc.contributor.author | Heldal, Rogardt | |
dc.contributor.author | Kristensen, Lars Michael | |
dc.contributor.author | Lima, Keila | |
dc.contributor.author | Oyetoyan, Tosin Daniel | |
dc.contributor.author | Nguyen, Ngoc Thanh | |
dc.date.accessioned | 2024-03-14T06:23:29Z | |
dc.date.available | 2024-03-14T06:23:29Z | |
dc.date.created | 2024-03-11T09:17:36Z | |
dc.date.issued | 2023 | |
dc.identifier.citation | CEUR Workshop Proceedings. 2023, 3430 110-125. | en_US |
dc.identifier.issn | 1613-0073 | |
dc.identifier.uri | https://hdl.handle.net/11250/3122243 | |
dc.description.abstract | We present the Coloured Petri Nets (CPNs) modelling of the SmartOcean platform currently under development and aimed at providing cloud-based services for data-driven software systems and applications relying on marine data. The CPN model captures the systems-of-system architecture and the platform services, and is intended to evolve as a formal foundation along-side the implementation of the platform and its services. The CPN model encompass data-, messaging-, security-, and edge integration services with a focus on providing an abstract modelling of the service and system interaction. As part of the modelling work, we provide some general CPN patterns for system-of-systems modelling and service provision, consumption, and interaction. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | CEUR-WS.org | en_US |
dc.relation.uri | https://ceur-ws.org/Vol-3430/paper7.pdf | |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | © 2023 Copyright for this paper by its authors | en_US |
dc.source.pagenumber | 110-125 | en_US |
dc.source.volume | 3430 | en_US |
dc.source.journal | CEUR Workshop Proceedings | en_US |
dc.identifier.cristin | 2253362 | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |