Abstract:The paper presents a scenario-driven multi-agent framework for rapid simulation generation and verification. Specifically, this framework has the following features: 1. Formal scenario model: This framework uses a formalized scenario model, and in this model each scenario is specified according to the ACDATE (Actors, Conditions, Data, Actions, Timing, and Events) model. Once a scenario is specified using this model, it can be analyzed by various static analyses including completeness and consistency analysis. 2. Automatic code generation: Once system scenarios are specified, the framework can generate its corresponding code. The code can then be used for simulation or implementation. 3. Hierarchical model: This framework can model complex systems by providing a hierarchical modeling scenario model. 4. Multi-agent simulation: This framework can simulate autonomous agents, and each agent behavior is specified using the hierarchical scenario model. 5. Formal policy specification and verification: This framework also supports formal policy specification, and once policies are specified, they can be enforced during simulation to perform dynamic verification. The policy speciation language is also based on the scenario model. 6. Distributed service-oriented simulation: The simulation is performed by distributed agents implemented as web services running on a network. 7. Verification and Validation: This framework has a variety of verification and validation techniques such as Verification Patterns (VPs) and completeness and consistency checking (C&C). The VPs allow test scripts to be generated rapidly from the scenario specification with automated pattern recognition. An early version of this framework has been developed and used to simulate a large real-time distributed C2 (Command and Control) application and discovered numerous faults in the specification.

Research on composable Agent model framework for SoS

Research on ABMS-based SoS Effectiveness Evaluation Framework

Process-based Model Framework of Agent-based SoS Simulation

Reusability and Composability Analysis for an Agent-Based Hierarchical Modelling and Simulation Framework.

A Method of SoS Architecture Driven Simulation Approach Based on OPM and ABMS

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation

Research on modeling and simulation of space information system based on agent

Self-adaptive QoS Mechanism for Composite Model Solving Based on Multi-agent

Modeling and Simulation Requirements and ABMS Method of Complex Warfare System

Warfare CAWSOM Model

Research on Agent Theory Simulation Method of the Air Combat Based on Network Centric Warfare

Research on multi-agent based C4ISR effectiveness simulation and evaluation

Research on Simulation Model Framework for Networked Anti-missile Defense System

A Goal-Based Approach for Modeling and Simulation of Different Types of System-of-systems

Research On Modeling And Simulation Of An Adaptive Combat Agent Infrastructure For Network Centric Warfare

Research on Model Description Method of Multi-Agent System

Research on SEB Composable Modeling Methodology for System-of-systems Combat Simulation

Research on FMS Modeling and Simulation Method Based on Multi-Agent

Research on Multi-Dimension and Multi-View Integrated Modeling of Operational System of Systems

Building A Smp2-Based Operational Effectiveness Simulation Model Framework for Uav Systems

A Scenario-Based Service-Oriented Rapid Multi-Agent Distributed Modeling and Simulation Framework for SoS/SOA and Its Applications