Autosoft Journal

Online Manuscript Access

Formal Modelling of Real-Time Self-Adaptive Multi-Agent Systems



The paradigm of multi-agent systems is very expressive to model distributed real-time systems. These real-time multi-agent systems by their working nature have temporal constraints as they need to operate in pervasive, dynamic and unpredictable environments. To achieve better fault-tolerance, they need to have the ability of self-adaptivity making them adaptable to the failures. Presently there is a lack of vocabulary for the formal modelling of real-time multi-agent systems with self-adaptive ability. In this research we proposed a framework named SMARTS for the formal modelling of self-adaptive real-time multi-agent systems. Our framework integrates MAPE-K interfaces, reflection perspective and unification with distribution perspective into the SIMBA agent architecture. For a precise semantic description of the constructs of our framework, we have used Timed Communicating Object-Z language.



Total Pages: 15
Pages: 49-63


Manuscript ViewPdf Subscription required to access this document

Obtain access this manuscript in one of the following ways

Already subscribed?

Need information on obtaining a subscription? Personal and institutional subscriptions are available.

Already an author? Have access via email address?


Volume: 25
Issue: 1
Year: 2019

Cite this document


Abbas, H. A., Shaheen, S. I., & Amin, M. H. (2015). Organization of multi-agent systems: an overview. arXiv preprint arXiv:1506.09032.

Abbas, Nadeem et al. "Rigorous Architectural Reasoning for Self-Adaptive Software Systems." 2016 Qualitative Reasoning about Software Architectures (QRASA) (2016): n. pag. Crossref. Web.

Alrashed, S., Alhiyafi, J., Shafi, A., & Min-Allah, N. (2016). An efficient schedulability condition for non-preemptive real-time systems at common scheduling points. The Journal of Supercomputing, 72(12), 4651-4661.

Baresi, Luciano. "Self-Adaptive Systems, Services, and Product Lines." Proceedings of the 18th International Software Product Line Conference on - SPLC ”14 (2014): n. pag. Crossref. Web.

Bonnet, Jonathan et al. "Multi-Satellite Mission Planning Using a Self-Adaptive Multi-Agent System." 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems (2015): n. pag. Crossref. Web.

Botti, V., Carrascosa, C., Julián, V., & Soler, J. (1999). Modelling agents in hard real-time environments. Multi-Agent System Engineering, 63-76.

de la Iglesia, D. G., Calderón, J. F., Weyns, D., Milrad, M., & Nussbaum, M. (2015). A Self-adaptive multi-agent system approach for collaborative mobile learning. IEEE Transactions on Learning Technologies, 8(2), 158-172.

De Lemos, R., Giese, H., Müller, H. A., Shaw, M., Andersson, J., Litoiu, M., and Weyns, D. (2013). Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II (pp. 1-32). Springer Berlin Heidelberg.

El Kholy, Warda et al. "Real-Time Conditional Commitment Logic." Lecture Notes in Computer Science (2015): 547-556. Crossref. Web.

Gascue-a, J. M., Navarro, E., & Fernández-Caballero, A. (2012). Model-driven engineering techniques for the development of multi-agent systems. Engineering Applications of Artificial Intelligence, 25(1), 159-173.

Gil de la Iglesia, D. (2014). A formal approach for designing distributed self-adaptive systems (Doctoral dissertation, Linnaeus University Press).

Graja, Z., Migeon, F., Maurel, C., Gleizes, M. P., & Kacem, A. H. (2016). A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants. International Journal of Agent-Oriented Software Engineering, 5(2-3), 134-166.

Guerin, F. (2002). Specifying agent communication languages (Doctoral dissertation, University of London).

Guo, M., & Dimarogonas, D. V. (2015). Multi-agent plan reconfiguration under local LTL specifications. The International Journal of Robotics Research, 34(2), 218-235.

Guo, Y., Goncalves, G., & Hsu, T. (2013). A multi-agent based self-adaptive genetic algorithm for the long-term car pooling problem. Journal of Mathematical Modelling and Algorithms, 1-22.

Herrero, Á., Navarro, M., Corchado, E., & Julián, V. (2013). RT-MOVICAB-IDS: Addressing real-time intrusion detection. Future Generation Computer Systems, 29(1), 250-261.

Iglesia, D. G. D. L., & Weyns, D. (2015). MAPE-K formal templates to rigorously design behaviors for self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 10(3), 15.

Jennings, N. R., Sycara, K., & Wooldridge, M. (1998). A roadmap of agent research and development. Autonomous agents and multi-agent systems, 1(1), 7-38.

Johnson, Kenneth et al. "A Multi-Agent Framework for Dependable Adaptation of Evolving System Architectures." 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (2015): n. pag. Crossref. Web.

Julian, V., & Botti, V. (2004). Developing real-time multi-agent systems. Integrated Computer-Aided Engineering, 11(2), 135-149.

Julian, V., & Botti, V. (2004). Developing real-time multi-agent systems. Integrated Computer-Aided Engineering, 11(2), 135-149.

Kephart, J. O., & Chess, D. M. (2003). The vision of autonomic computing. Computer, 36(1), 41-50.

Klos, Verena, Thomas Gothel, and Sabine Glesner. "Adaptive Knowledge Bases in Self-Adaptive System Design." 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (2015): n. pag. Crossref. Web.

Krupitzer, C., Roth, F. M., VanSyckel, S., Schiele, G., & Becker, C. (2015). A survey on engineering approaches for self-adaptive systems. Pervasive and Mobile Computing, 17, 184-206.

Li, Zhuang, and Huaikou Miao. "Formal Specification and Reasoning for Situated Multi-Agent System." 2015 IEEE/ACIS 14th International Conference on Computer and Information Science (ICIS) (2015): n. pag. Crossref. Web.

Macías-Escrivá, F. D., Haber, R., Del Toro, R., & Hernandez, V. (2013). Self-adaptive systems: A survey of current approaches, research challenges and applications. Expert Systems with Applications, 40(18), 7267-7279.

Mao, X., Dong, M., & Zhu, H. (2014). A two-layer approach to developing self-adaptive multi-agent systems in open environment. International Journal of Agent Technologies and Systems (IJATS), 6(1), 65-85.

Nair, R. R., Behera, L., Kumar, V., & Jamshidi, M. (2015). Multisatellite formation control for remote sensing applications using artificial potential field and adaptive fuzzy sliding mode control. IEEE Systems Journal, 9(2), 508-518.

Ntika, M., Kefalas, P., & Stamatopoulou, I. (2014). Formal modelling and simulation of a multi-agent nano-robotic drug delivery system. Scalable Computing: Practice and Experience, 15(3), 217-230.

Puviani, Mariachiara et al. "Building Self-Adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies." Agents and Artificial Intelligence (2015): 58-75. Crossref. Web.

Qasim, A., & Kazmi, S. A. R. (2016). MAPE-K interfaces for formal modeling of real-time self-adaptive multi-agent systems. IEEE Access, 4, 4946-4958.

Qasim, A., Kazmi, S. A. R., & Fakhir, I. (2015). Executable semantics for the formal specification and verification of E-agents. Indian Journal of Science and Technology, 8(16), 1.

Qasim, A., Kazmi, A. R., & Fakhir, I. (2015). Formal specification and verification of real-time multi-agent system using timed arc Petri nets. Advances in Electrical and Computer Engineering, 15(3), 73-8.

Qureshi, M. B., Alrashed, S., Min-Allah, N., Kołodziej, J., & Arabas, P. (2015). Maintaining the Feasibility of Hard Real-Time Systems with a Reduced Number of Priority Levels. International Journal of Applied Mathematics and Computer Science, 25(4), 709-722.

Sanderson, David, Jeremy Pitt, and Didac Busquets. "Interactions of Multiple Self-Adaptive Mechanisms in Multi-Agent Systems." 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) (2013): n. pag. Crossref. Web.

Schaefer, I., & Hahnle, R. (2011). Formal methods in software product line engineering. Computer, 44(2), 82-85.

Shan, Lijun, Chenglie Du, and Hong Zhu. "Modeling and Simulating Adaptive Multi-Agent Systems with CAMLE." 2015 IEEE 39th Annual Computer Software and Applications Conference (2015): n. pag. Crossref. Web.

Tesar, D. (2016). Next Wave of Technology. Intelligent Automation & Soft Computing, 22(2), 211-225.

Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K. L., & Dautenhahn, K. (2014). Formal verification of an autonomous personal robotic assistant. Proc. AAAI FVHMS, 74-79.

Weyns, Danny, and Jesper Andersson. "On the Challenges of Self-Adaptation in Systems of Systems." Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems - SESoS ”13 (2013): n. pag. Crossref. Web.

Weyns, D., Bencomo, N., Calinescu, R., Camara, J., Ghezzi, C., Grassi, V., and Mirandola, R. (2017). Perpetual assurances in self-adaptive systems.

Weyns, Danny, and Radu Calinescu. "Tele Assistance: A Self-Adaptive Service-Based System Exemplar." 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2015): n. pag. Crossref. Web.

Weyns, D., Malek, S., & Andersson, J. (2012). FORMS: Unifying reference model for formal specification of distributed self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 7(1), 8.

Wooldridge, M. (2000). Semantic issues in the verification of agent communication languages. Autonomous agents and multi-agent systems, 3(1), 9-31.


ISSN PRINT: 1079-8587
ISSN ONLINE: 2326-005X
DOI PREFIX: 10.31209
10.1080/10798587 with T&F
IMPACT FACTOR: 0.652 (2017/2018)
Journal: 1995-Present


TSI Press
18015 Bullis Hill
San Antonio, TX 78258 USA
PH: 210 479 1022
FAX: 210 479 1048