Autosoft Journal

Online Manuscript Access


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



Abstract

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.


Keywords


Pages

Total Pages: 15

DOI
10.31209/2018.100000012


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?


Published

Online Article

Cite this document


References

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. https://doi.org/10.1109/qrasa.2016.9

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. https://doi.org/10.1007/s11227-016-1751-6

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. https://doi.org/10.1145/2648511.2648512

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. https://doi.org/10.1109/saso.2015.9

Botti, V., Carrascosa, C., Julián, V., & Soler, J. (1999). Modelling agents in hard real-time environments. Multi-Agent System Engineering, 63-76. https://doi.org/10.1007/3-540-48437-X_6

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. https://doi.org/10.1109/TLT.2014.2367493

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. https://doi.org/10.1007/978-3-642-35813-5_1

El Kholy, Warda et al. "Real-Time Conditional Commitment Logic." Lecture Notes in Computer Science (2015): 547-556. Crossref. Web. https://doi.org/10.1007/978-3-319-25524-8_37

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. https://doi.org/10.1016/j.engappai.2011.08.008

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. https://doi.org/10.1504/IJAOSE.2016.080891

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. https://doi.org/10.1177/0278364914546174

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. https://doi.org/10.1007/s10852-012-9175-7

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. https://doi.org/10.1016/j.future.2010.12.017

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. https://doi.org/10.1145/2724719

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. https://doi.org/10.1023/A:1010090405266

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. https://doi.org/10.1109/seaa.2015.49

Julian, V., & Botti, V. (2004). Developing real-time multi-agent systems. Integrated Computer-Aided Engineering, 11(2), 135-149. https://doi.org/10.3233/ICA-2004-11204

Julian, V., & Botti, V. (2004). Developing real-time multi-agent systems. Integrated Computer-Aided Engineering, 11(2), 135-149. https://doi.org/10.3233/ICA-2004-11204

Kephart, J. O., & Chess, D. M. (2003). The vision of autonomic computing. Computer, 36(1), 41-50. https://doi.org/10.1109/MC.2003.1160055

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. https://doi.org/10.1109/seaa.2015.48

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. https://doi.org/10.1016/j.pmcj.2014.09.009

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. https://doi.org/10.1109/icis.2015.7166636

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. https://doi.org/10.1016/j.eswa.2013.07.033

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. https://doi.org/10.4018/ijats.2014010104

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. https://doi.org/10.1109/JSYST.2014.2335442

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. https://doi.org/10.12694/scpe.v15i3.1017

Puviani, Mariachiara et al. "Building Self-Adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies." Agents and Artificial Intelligence (2015): 58-75. Crossref. Web. https://doi.org/10.1007/978-3-319-27947-3_4

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. https://doi.org/10.1109/ACCESS.2016.2592381

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. https://doi.org/10.17485/ijst/2015/v8i16/55160

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. https://doi.org/10.4316/AECE.2015.03010

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. https://doi.org/10.1515/amcs-2015-0051

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. https://doi.org/10.1109/wi-iat.2013.124

Schaefer, I., & Hahnle, R. (2011). Formal methods in software product line engineering. Computer, 44(2), 82-85. https://doi.org/10.1109/MC.2011.47

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. https://doi.org/10.1109/compsac.2015.97

Tesar, D. (2016). Next Wave of Technology. Intelligent Automation & Soft Computing, 22(2), 211-225. https://doi.org/10.1080/10798587.2015.1118202

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. https://doi.org/10.1145/2489850.2489860

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. https://doi.org/10.1109/seams.2015.27

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. https://doi.org/10.1145/2168260.2168268

Wooldridge, M. (2000). Semantic issues in the verification of agent communication languages. Autonomous agents and multi-agent systems, 3(1), 9-31. https://doi.org/10.1023/A:1010090027213

JOURNAL INFORMATION


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

SCImago Journal & Country Rank


CONTACT INFORMATION


TSI Press
18015 Bullis Hill
San Antonio, TX 78258 USA
PH: 210 479 1022
FAX: 210 479 1048
EMAIL: tsiepress@gmail.com
WEB: http://www.wacong.org/tsi/