Evolving algebras 1993: Lipari guide
Specification and validation methods
Constraint logic programming framework for integrated decision supports
Decision Support Systems
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Past, present, and future of decision support technology
Decision Support Systems - Special issue: Decision support systems: Directions for the next decade
Decision Support Systems - Special issue: Decision support systems: Directions for the next decade
Why Use Evolving Algebras for Hardware and Software Engineering?
SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Ontology Applications for Achieving Situation Awareness in Military Decision Support Systems
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
A Novel Architecture for Situation Awareness Systems
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The CoreASM modeling framework
Software—Practice & Experience
Engineering Situation Analysis Decision Support Systems
EISIC '11 Proceedings of the 2011 European Intelligence and Security Informatics Conference
Bârun: a scripting language for CoreASM
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Rigorous Methods for Software Construction and Analysis
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
Hi-index | 0.00 |
We apply the Abstract State Machine (ASM) method and the CoreASM tool to design and analysis of Situation Analysis Decision Support (SADS) systems. Realistic situation analysis scenarios routinely deal with situations involving multiple mobile agents reacting to discrete events distributed in space and time. SADS system engineering practices call for systematic formal modeling approaches to manage complexity through modularization, refinement and validation of abstract models. We explore here SADS system design based on ASM modeling techniques paired with CoreASM tool support to facilitate analysis of the problem space and 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 CoreASM for the Marine Safety & Security domain, specifically for capturing rendezvous scenarios. The extension yields the necessary background concepts, such as mobile sensors and shipping lanes, and offers runtime visualization of simulation runs together with an analyzer to measure success of various rendezvous detection strategies used in the model. We illustrate the application of the proposed approach using a sample rendezvous scenario.