Abstract
Multi-Agent Systems (MASs) use collective agents to attain a common goal. However, the implementation of MASs may present a potential for failure caused by the system’s unexpected behaviours, known as Emergent Behaviours (EBs) or Implied Scenarios (ISs). The early assessment of these behaviours in the development life cycle can reduce the cost, effort and maintenance time and contribute to the sustainability of the process. To detect EBs implied by the Asynchronous Concatenation (AC) of scenarios, we verify that the agents’ interactions are compliant with the system specifications. The proposed methodology allows automatic detection of EBs by the direct analysis of scenario-based specifications. Moreover, this methodology allows the anticipated correction of EBs and can potentially support the development of MASs. We studied the validity of this methodology by adopting a formerly published model and a pattern mining technique to prove the existence of the EBs detected by our approach in the runtime. The results show that our methodology outperforms those in previous related works in the detection of AC EBs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Due to the space limit, end-if and end-for statements are removed from the pseudo-code.
References
Sioutis, C., Dominish, D.: Developing intelligent agents with distributed computing middleware. In: Watada, J., Phillips-Wren, G., Jain, L.C., Howlett, R.J. (eds.) Intelligent Decision Technologies, pp. 863–872. Springer, Berlin Heidelberg, Berlin, Heidelberg (2011)
Mousavi, A.: Inference of emergent behaviours of scenario-based specifications. Ph.D. thesis, University of Calgary (2009)
Moshirpour, M.: Model-based analysis of software requirements for distributed software systems. Ph.D. thesis, University of Calgary (2016)
Song, I.G., Jeon, S.U., Han, A.R., Bae, D.H.: An approach to identifying causes of implied scenarios using unenforceable orders. Inf Softw Technol 53(6), 666–681 (2011)
Alur, R., Grosu, R.: Shared variables interaction diagrams. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 281–288. IEEE (2001)
Message sequence charts. In: Recommendation ITU-T Z.120. Telecommunication standardization sector of ITU (2011)
Mukund, M., Kumar, K.N., Thiagarajan, P., Yang, S.: Anchored concatenation of mscs. In: Formal Models, Languages And Applications, pp. 274–288. World Scientific (2006)
Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the 10th International Conference on Concurrency Theory, pp. 114–129. CONCUR ’99, Springer, Berlin, Heidelberg (1999)
Pan, M., Li, X.: Timing analysis of MSC specifications with asynchronous concatenation. Int J Softw Tools Technol Transf 14, 639–651 (2012)
Hendijani Fard, F., Far, B.: On the usage of network visualization for multiagent system verification, vol. 1, pp. 201–228. Springer International Publishing (2014)
Fard, F.H.: Detecting and fixing emergent behaviors in distributed software systems using a message content independent method. Ph.D. thesis, University of Calgary (2016)
de Melo, C.B., Cançado, A.L.F., Rodrigues, G.N.: Characterization of implied scenarios as families of common behavior. J. Syst. Softw. 158, (2019)
Leue, S., Mehrmann, L., Rezai, M.: Synthesizing room models from message sequence chart specifications (1998)
Uchitel, S.: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. Ph.D. thesis, Imperial College (2003)
Singer, P., Helic, D., Hotho, A., Strohmaier, M.: Hyptrails: A bayesian approach for comparing hypotheses about human trails on the web. In: Proceedings of the 24th International Conference on World Wide Web, pp. 1003–1013 (2015)
Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade—a java agent development framework, vol. 15, pp. 125–147 (01 2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Slama, A., Abad, Z.S.H., Far, B. (2021). Detection of Asynchronous Concatenation Emergent Behaviour in Multi-Agent Systems. In: Jezic, G., Chen-Burger, J., Kusek, M., Sperka, R., Howlett, R.J., Jain, L.C. (eds) Agents and Multi-Agent Systems: Technologies and Applications 2021. Smart Innovation, Systems and Technologies, vol 241. Springer, Singapore. https://doi.org/10.1007/978-981-16-2994-5_7
Download citation
DOI: https://doi.org/10.1007/978-981-16-2994-5_7
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-16-2993-8
Online ISBN: 978-981-16-2994-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)