Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
Peer reviewed, Journal article
Published version
Åpne
Permanent lenke
https://hdl.handle.net/11250/3122243Utgivelsesdato
2023Metadata
Vis full innførselSamlinger
Originalversjon
CEUR Workshop Proceedings. 2023, 3430 110-125.Sammendrag
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.