Better verification through symmetry
Formal Methods in System Design - Special issue on symmetry in automatic verification
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Design patterns in performance prediction
Proceedings of the 2nd international workshop on Software and performance
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
A Metric to Predict Software Scalability
METRICS '02 Proceedings of the 8th International Symposium on Software Metrics
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formal Methods in System Design
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems
Engineering Societies in the Agents World VIII
Measuring Complexity of Multi-agent Simulations --- An Attempt Using Metrics
Languages, Methodologies and Development Tools for Multi-Agent Systems
agentTool process editor: supporting the design of tailored agent-based processes
Proceedings of the 2009 ACM symposium on Applied Computing
agentTool III: from process definition to code generation
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Abstract Requirement Analysis in Multiagent System Design
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
O-MaSE: a customizable approach to developing multiagent development processes
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
International Journal of Agent-Oriented Software Engineering
Integrated simulation environment for unmanned autonomous systems: towards a conceptual framework
Modelling and Simulation in Engineering
| Hi-index | 0.00 |
While multiagent systems have been extolled as dynamically configurable and capable of emergent behavior, these qualities can be a drawback. When the system changes so that it no longer achieves its goals, emergent behavior is undesirable. Giving agents the autonomy to adapt and then expecting them to adapt only in acceptable ways requires rigorous design analyses. In this paper, we propose metrics for determining system flexibility at design time. Our approach is based on organization-based multiagent systems, which allows multiagent systems to adapt within a preset structure. We tailored the Bogor model checker to efficiently analyze the adaptive behaviors of these systems and to determine their properties such as fault-tolerance and cost-efficiency. We develop state-space coverage metrics to allow designers to make informed trade-offs at design-time between computational cost and system flexibility.