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.

An Agent Based Simulation System for Open Source Software Development

Agent-Based Modeling and Simulation for Systematic Operations of Shared Automated Electric Vehicles

A Distributed Multi-Agent Simulation Platform

Analysis of the Social Community Based on the Network Growing Model in Open Source Software Community

An agent-based approach for software self-adaptation

Dynamic Scheduling and Workforce Assignment in Open Source Software Development

Very Large-Scale Multi-Agent Simulation in AgentScope

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

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

A Multi-agent Simulation Framework for Organization Behavior of Large Scale Engineering Project

Modeling and Simulation Method of Equipment Support System Based on Multiple Agents

Rate-Based Queueing Simulation Model of Open Source Software Debugging Activities

A Hybrid Simulation Model for Open Software Development Processes

Data Driven Simulation Modeling for Mobile Agent-Based Systems.

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

Research on architecture of distributed multi-agent simulation environment systems

SIMULATION SYSTEM FOR AGENT ORIFNTED AUTONOMOUS ROBOTS UNDER LINUX ENVIRONMENT

Simulation System Based on CAPE- OPEN

Evolution Model of Open-Source Software Projects in GitHub

Research of Modeling Method for Agent-based Complex Systems Distributed Simulation