Visualizing the network of software agents for verification of multiagent systems

Authors:
Fatemeh Hendijani Fard;Behrouz H. Far
Affiliations:
University of Calgary, Calgary, AB, Canada;University of Calgary, Calgary, AB, Canada
Venue:
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Year:
2013

Citing 7
Cited 0

Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
The Essence of Message Sequence Charts

MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education
Inference of Message Sequence Charts

IEEE Transactions on Software Engineering
MAFSE: A Model-Based Framework for Software Verification

SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
A Technique and a Tool to Detect Emergent Behavior of Distributed Systems Using Scenario-Based Specifications

ICTAI '10 Proceedings of the 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Analysing message sequence graph specifications

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
An approach to identifying causes of implied scenarios using unenforceable orders

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The verification of Multiagent Systems (MAS) and Distributed Software Systems (DSS) has taken a special attention due to the growing demand of having DSS in recent years. The distributed functionality and lack of having a central control in MAS and DSS may cause to emerge new behaviors in the execution time. This unexpected behavior which was not seen in the requirements is known as emergent behavior and may cause irreparable damages. Detection of these emergent behaviors is more valuable and cost effective in the early phases compared to detecting them after the deployment. In this paper we propose a new technique for the detection of a specific type of emergent behavior in the design phase. We take the advantage of social network visualization in this method. The novelty and direct advantage of this technique is presenting the exact point and cause of emergent behavior.