Engineering Situation Analysis Decision Support Systems

摘要

This paper explores a new approach to model-driven engineering (MDE) of situation analysis decision support systems for Marine Safety & Security Operations. Realistic situation analysis scenarios routinely deal with complex dynamic situations involving multiple mobile agents and events distributed in space and time. The work presented here builds on Abstract State Machine (ASM) modeling paired with Creams tool support to analyze and validate ASM models experimentally. The proposed approach facilitates analysis of the problem space and supports reasoning about design decisions and conformance criteria so as to ensure they are properly established and well understood prior to building the system. We provide an extension to Core ASM for the Marine Safety & Security domain, specifically for capturing rendezvous scenarios and illustrate the application of the proposed modeling approach using sample scenarios.