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 Automated Testing Framework Based on Ontology and Multi-Agent

Implementation of Open Architecture of Information Integration Based on Multi-Agent

Ontology Based Agent Services Compatible Matchmaking Mechanism

Ontology-Based Conceptual Modeling Of Policy-Driven Control Framework: Oriented To Multi-Agent System For Web Services Management

Test Web applications based on Agent

Multi-agent system based autonomic computing environment

Agent-based ontology integration for ontology-based applications

Design of intelligent agents for collaborative testing of service-based systems.

A Tuple-Space-Based Coordination Architecture for Test Agents in the MAST Framework.

Research on architecture of distributed multi-agent simulation environment systems

Design of BDI Agent for Adaptive Performance Testing of Web Services

A Behavior-Based Ontology for Supporting Automated Assessment of Interactive Systems

Agent-Based Software Testing: A Definition and Systematic Mapping Study

A Framework for Agent-Based Service-Oriented Modelling

Ontology-based Function Modeling Framework & Collaborative Function Design Environment

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

Ontology-Based Feedback to Improve Runtime Control for Multi-Agent Manufacturing Systems

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

Multi-Agent Framework For Distributed Systems

Interface-Based Automated Testing for Open Software Architecture.

Agent-OM: Leveraging LLM Agents for Ontology Matching