MAFSE: A Model-Based Framework for Software Verification

2013 IEEE 14th International Conference on Information Reuse &Amp; Integration (IRI)

2013

In distributed software systems (DSS) the functionality and/or control are distributed. This may cause the DSS components to show an unexpected behavior known as emergent behavior in the run time, which was not seen in their requirements and design. Emergent behaviors can have irreparable damages for companies. The savings in cost of detecting and fixing emergent behaviors in early phases is more than 20 times compared to fixing them after the deployment. The detecting methodologies usually utilize behavioral modeling which can face to state space explosion problem for large scale systems. Therefore, we approach this problem by detecting components that will not show emergent behavior and remove them from further analysis to help the scalability of these approaches. Previously, we have devised and implemented the algorithm for synchronous communications. In this paper, the extension of our method for detecting these components in the asynchronous communication style is presented which is closer to the real-world systems. The details of the technique and related algorithms are discussed.

show abstract

Section: Introductionmentioning

confidence: 99%

Detecting distributed software components that will not cause emergent behavior in asynchronous communication style

2013 IEEE 14th International Conference on Information Reuse &Amp; Integration (IRI)

2013

show abstract

“…He discusses that many researches do not show correctness, or are not amendable [10]. One of the issues with model checking approaches other than the problem of state space explosion [11,12] , is that they do not show the exact point and cause of emergent behavior to the designer [13]. Therefore, in this paper a new technique is proposed which detects the exact point and cause of emergent behavior and is inspired by social network analysis (SNA) and data mining techniques.…”

Section: Introduction and Related Workmentioning

confidence: 99%

Visualizing the network of software agents for verification of multiagent systems

Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining

2013

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.

show abstract

On the Usage of Network Visualization for Multiagent System Verification

Lecture Notes in Social Networks

2014