The increasing adoption of large, distributed and highly dynamic ITS systems calls for effective approaches to ensure high reliability. We consider a SOA based service engineering framework as a robust engineering approach to the elaboration and analysis of functional and quality requirements, as well the formal testing of architectural solutions, in the context of emerging intelligent e-maritime systems development. A case of a maritime transportation planning service behaviour and interactions testing is presented using an open-source environment providing tools for e-services formal specification, verification and validation.

Links

Further details will be added for related links and this publication.

Tools

Further details will be added for related tools and this publication.