Model based detection of implied scenarios in multi agent systems

Model based analysis of internet filtering systems

“…In other words this methodology ensures that system's behavior does not contain scenarios from set B. This methodology is divided into two parts of behavioral modeling and ensuring the lack of invalid scenarios in the built models, as presented in [2].…”

“…An important feature of behavioral modeling is detecting equivalent states that represent a state that the component can be in when participating in more than one scenario. We have argued in [2] that these identical states are potential culprits for the unwanted behavior. We analyze each identical state for each component for emergent behavior [2].…”

“…We have argued in [2] that these identical states are potential culprits for the unwanted behavior. We analyze each identical state for each component for emergent behavior [2]. Emergent behavior is a specification that is in the synthesized model of the system but is not explicitly defined in its specifications as a scenario as part of set A.…”

“…In [2] we presented an automated methodology to detect unwanted behavior in multi-agent systems (MAS). In this paper, we represent the requirements of a network filtering system using scenarios.…”

“…Then evasion strategies are represented as illegal scenarios that their occurrences are undesirable. We use the automated methodology in [2] to check system requirements to verify that illegal scenarios (i.e. the evasion strategies) will not emerge.…”