research-article

Towards modeling and runtime verification of self-organizing systems

Authors:

Bahareh Abolhasanzadeh,

Saeed JaliliAuthors Info & Claims

Expert Systems with Applications: An International Journal, Volume 44, Issue C

Pages 230 - 244

https://doi.org/10.1016/j.eswa.2015.09.008

Published: 01 February 2016 Publication History

Abstract

A method for design and verification of self-organizing systems is proposed.The proposed method is: modular, robust and scalable.The proposed method does structural and safe adaptation.A novel runtime verification method to verify self-organizing systems is employed.A specific instance of self-organizing traffic management system is presented. According to the fact that the intrinsic dynamism of self-organizing systems challenges the existing methods of engineering for modeling reliable complex systems, in this paper, we propose a new formal-based method to model self-organizing systems. The capabilities of the proposed method which are used to address several challenges in design, development and analysis of self-organizing systems are: modularity and robustness, decentralized control and scalability, required adaptation types, flexible and adaptive control mechanism, separation of adaptation and business logic, and safe adaptation. To evaluate the proposed method, we use self-organizing traffic management system as a case study and exploit the proposed method for modeling this dynamic system. Moreover, we propose and employ a novel policy-based runtime verification mechanism to ensure that the safety properties are satisfied by the implementation at runtime. We provide our case study prototype using Java and the Ponder2 toolkit and apply our runtime verification method to show its proper reaction capabilities to the property violations. This benefit is the result of using dynamic policies in our method to control the behavior of systems.

References

[1]

Abolhasanzadeh, B., & Jalili, S. (2014). Policies of self-organizing traffic managment system in PonderTalk. https://github.com/Abolhasanzadeh/Self-organizing-Traffic-Management-System-s-policies.git.

[2]

R. Adler, I. Schaefer, T. Schuele, E. Vecchié, From model-based design to formal verification of adaptive embedded systems, Springer, 2007.

[3]

H. Aldewereld, F. Dignum, V. Dignum, L. Penserini, A formal specification for organizational adaptation, Springer, 2011.

[4]

S. Balasubramaniam, D. Botvich, W. Donnelly, M.Ó. Foghlú, J. Strassner, Biologically inspired self-governance and self-organisation for autonomic networks, in: Proceedings of the 1st international conference on bio inspired models of network, information and computing systems, ACM, 2006, pp. 30.

Digital Library

[5]

A. Bauer, M. Leucker, C. Schallhart, Monitoring of real-time properties, Springer, 2006.

[6]

B. Becker, H. Giese, Modeling of correct self-adaptive systems: A graph transformation system based approach, in: Proceedings of the 5th international conference on soft computing as transdisciplinary science and technology, ACM, 2008, pp. 508-516.

Digital Library

[7]

C. Bernon, V. Chevrier, V. Hilaire, P. Marrow, Applications of self-organising multi-agent systems: An initial framework for comparison, Informatica, 30 (2006) 73-82.

[8]

N. Bonjean, W. Mefteh, M.P. Gleizes, C. Maurel, F. Migeon, ADELFE 2.0, in: Handbook on agent-oriented design processes, Springer, Berlin Heidelberg, 2014, pp. 19-63.

[9]

J.S. Bradbury, J.R. Cordy, J. Dingel, M. Wermelinger, A survey of self-management in dynamic software architecture specifications, in: Proceedings of the 1st ACM SIGSOFT workshop on self-managed systems, ACM, 2004, pp. 28-33.

Digital Library

[10]

R. Bruni, A. Corradini, F. Gadducci, A. Lluch Lafuente, A. Vandin, Modelling and analyzing adaptive self-assembly strategies with Maude, Science of Computer Programming, 99 (2015) 75-94.

Digital Library

[11]

G. Callow, G. Watson, R. Kalawsky, System modelling for run-time verification and validation of autonomous systems, in: 2010 5th international conference on system of systems engineering (SoSE), IEEE, 2010, pp. 1-7.

[12]

S. Camazine, Self-organization in biological systems, Princeton University Press, 2003.

Digital Library

[13]

C. Canal, J. Cámara, G. Salaün, Structural reconfiguration of systems under behavioral adaptation, Science of Computer Programming, 78 (2012) 46-64.

Digital Library

[14]

E.M. Clarke, O. Grumberg, D. Peled, Model Checking, MIT Press, 1999.

[15]

S.A. Cook, The complexity of theorem-proving procedures, in: Proceedings of the third annual ACM symposium on theory of computing, ACM, 1971, pp. 151-158.

[16]

C. Costa-Soria, Dynamic evolution and reconfiguration of software architectures through aspects (Doctoral thesis), University of Politecnica De Valencia, 2011.

[17]

M.T. de Abreu Netto, B.F. dos Santos Neto, C.J.P. de Lucena, Chapter 2-A pattern-based framework for building self-organizing multi-agent systems, in: Advances in artificial transportation systems and simulation, Academic Press, Boston, 2015, pp. 21-35.

[18]

N. Dunlop, J. Indulska, K. Raymond, Methods for conflict resolution in policy-based management systems, in: Proceedings of the seventh IEEE international enterprise distributed object computing conference, 2003, 2003, pp. 98-109.

[19]

J.A. Fernandez-Leon, G.G. Acosta, A. Rozenfeld, How simple autonomous decisions evolve into robust behaviours?: A review from neurorobotics, cognitive, self-organized and artificial immune systems fields, in:, 124, 2014, pp. 7-20.

[20]

L. Gardelli, M. Viroli, M. Casadei, A. Omicini, Designing self-organising environments with agents and artefacts: A simulation-driven approach, International Journal of Agent-Oriented Software Engineering, 2 (2008) 171-195.

Digital Library

[21]

C. Gershenson, Design and control of self-organizing systems, Vrije Universiteit Brussel, 2007.

[22]

C. Gershenson, Self-organizing urban transportation systems, Springer, 2012.

[23]

H.J. Goldsby, B.H. Cheng, J. Zhang, Amoeba-rt: Run-time verification of adaptive software, Springer, 2008.

[24]

N. Hadj-Kacem, A.H. Kacem, K. Drira, A formal model of a multi-step coordination protocol for self-adaptive software using coloured petri nets, IJCIS, 7 (2009).

[25]

X. Hongzhen, Z. Guosun, RETRACTED: Specification and verification of dynamic evolution of software architectures, Journal of Systems Architecture, 56 (2010) 523-533.

Digital Library

[26]

W. Hua, Y. Jing, An Approach for Harmonizing Conflicting Policies in Multiple Self-Adaptive Modules, in: Proceedings of the Sixth IEEE international conference on machine learning and cybernetics, 2007, 4, 2007, pp. 2379-2384.

[27]

N. Khakpour, S. Jalili, M. Sirjani, U. Goltz, B. Abolhasanzadeh, HPobSAM for modeling and analyzing IT Ecosystems-Through a case study, Journal of Systems and Software, 85 (2012) 2770-2784.

Digital Library

[28]

N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, M. Mousavi, Formal modeling of evolving self-adaptive systems, Science of Computer Programming, 78 (2012) 3-26.

Digital Library

[29]

N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, M.R. Mousavi, PobSAM: Policy-based managing of actors in self-adaptive systems, Electronic Notes in Theoretical Computer Science, 263 (2010) 129-143.

Digital Library

[30]

M. Khaxar, S. Jalili, N. Khakpour, M.S. Jokhio, Monitoring safety properties of composite web services at runtime using csp, in: 13th enterprise distributed object computing conference workshops, 2009 (EDOCW'09), IEEE, 2009, pp. 107-113.

[31]

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

Digital Library

[32]

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

[33]

M. Mamei, F. Zambonelli, Self-organization in multi agent systems: A middleware approach, in: Engineering self-organising systems, 2004, pp. 233-248.

[34]

M. Merdan, T. Moser, W. Sunindyo, S. Biffl, P. Vrba, Workflow scheduling using multi-agent systems in a dynamically changing environment, Journal of Simulation, 7 (2013) 144-158.

[35]

E. Merelli, N. Paoletti, L. Tesei, Adaptability checking in complex systems, Science of Computer Programming. (2015).

[36]

M. Montali, Run-time verification, in: Specification and verification of declarative open interaction models, Springer, 2010, pp. 289-304.

[37]

C. Muller-Schloer, Organic computing-on the feasibility of controlled emergence, in: International conference on hardware/software codesign and system synthesis, 2004 (CODES+ ISSS'04), IEEE, 2004, pp. 2-5.

[38]

M. Onori, N. Lohse, J. Barata, C. Hanisch, The IDEAS project: Plug & produce at shop¿floor level, Assembly Automation, 32 (2012) 124-134.

[39]

P. Oreizy, N. Medvidovic, R.N. Taylor, Architecture-based runtime software evolution, in: Proceedings of the 20th international conference on software engineering, IEEE Computer Society, 1998, pp. 177-186.

Digital Library

[40]

Poukahr, A., & Braubach, L. (2007). Jadex User Guide. Germany.

[41]

L. Ribeiro, A. Rocha, A. Veiga, J. Barata, Collaborative routing of products using a self-organizing mechatronic agent framework-A simulation study, Computers in Industry, 68 (2015) 27-39.

Digital Library

[42]

H. Schmeck, C. Müller-Schloer, E. Çakar, M. Mnif, U. Richter, Adaptivity and self-organization in organic computing systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), 5 (2010) 1-32.

[43]

T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Two different approaches to a macroscopic model of a bio-inspired robotic swarm, Robotics and Autonomous Systems, 57 (2009) 913-921.

Digital Library

[44]

T.D. Seeley, When is self-organization used in biological systems?, The Biological Bulletin, 202 (2002) 314-318.

[45]

W.-M. Shen, P. Will, A. Galstyan, C.-M. Chuong, Hormone-inspired self-organization and distributed control of robotic swarms, Autonomous Robots, 17 (2004) 93-105.

[46]

M. Sloman, E. Lupu, Engineering policy-based ubiquitous systems, The Computer Journal, 53 (2010) 1113-1127.

Digital Library

[47]

K. Sultan, J. Bentahar, W. Wan, F. Al-Saqqar, Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments, Expert Systems with Applications, 41 (2014) 6291-6304.

[48]

C.L. Talcott, Policy-based Coordination in PAGODA: A Case Study, Electronic Notes in Theoretical Computer Science, 181 (2007) 97-112.

Digital Library

[49]

G. Tamura, N.M. Villegas, H.A. Müller, J.P. Sousa, B. Becker, G. Karsai, L. Tahvildari, Towards practical runtime verification and validation of self-adaptive software systems, in: Software engineering for self-adaptive systems II, Springer, 2013, pp. 108-132.

[50]

K. Twidle, N. Dulay, E. Lupu, M. Sloman, Ponder2: A policy system for autonomous pervasive environments, in: Autonomic and Fifth international conference on autonomous systems, 2009 (ICAS'09), IEEE, 2009, pp. 330-335.

Digital Library

[51]

N. Verstaevel, C. Régis, M.-P. Gleizes, F. Robert, Principles and experimentations of self-organizing embedded agents allowing learning from demonstration in ambient robotic, Procedia Computer Science, 52 (2015) 194-201.

[52]

C. Villalba, F. Zambonelli, Towards nature-inspired pervasive service ecosystems: Concepts and simulation experiences, Journal of Network and Computer Applications, 34 (2011) 589-602.

Digital Library

[53]

M. Viroli, M. Casadei, S. Montagna, F. Zambonelli, Spatial coordination of pervasive services through chemical-inspired tuple spaces, ACM Transactions on Autonomous and Adaptive Systems, 6 (2011) 1-24.

Digital Library

[54]

M. Wermelinger, J.L. Fiadeiro, A graph transformation approach to software architecture reconfiguration, Science of Computer Programming, 44 (2002) 133-155.

Digital Library

[55]

K. Yeom, Bio-inspired self-organization for supporting dynamic reconfiguration of modular agents, Mathematical and Computer Modelling, 52 (2010) 2097-2117.

Digital Library

[56]

J. Zadeh, What is soft computing?, Soft Computing, 1 (1997) 1.

[57]

F. Zambonelli, Engineering self-organizing urban superorganisms, Engineering Applications of Artificial Intelligence, 41 (2015) 325-332.

Digital Library

[58]

F. Zambonelli, A. Omicini, B. Anzengruber, G. Castelli, F.L. De Angelis, G.D.M. Serugendo, J. Ye, Developing pervasive multi-agent systems with nature-inspired coordination, Pervasive and Mobile Computing, 17 (2015) 236-252.

Digital Library

[59]

J. Zhang, B.H. Cheng, Model-based development of dynamically adaptive software, in: Proceedings of the 28th international conference on software engineering, ACM, 2006, pp. 371-380.

Digital Library

Cited By

Hachicha MBen Halima RKacem A(2022)Modeling Autonomic SystemsInternational Journal of Software Innovation10.4018/IJSI.30358510:1(1-22)Online publication date: 13-Jul-2022
https://dl.acm.org/doi/10.4018/IJSI.303585
Loreti MRehman A(2022)A Logical Framework for Reasoning About Local and Global Properties of Collective SystemsQuantitative Evaluation of Systems10.1007/978-3-031-16336-4_7(133-149)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1007/978-3-031-16336-4_7
Borda APasquale LKoutavas VNuseibeh BAndersson JWeyns D(2018)Compositional verification of self-adaptive cyber-physical systemsProceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems10.1145/3194133.3194146(1-11)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194133.3194146
Show More Cited By

Recommendations

Model-based Runtime Verification Framework

Model-based runtime verification is an extension to the state-of-the-art runtime verification, aimed at checking at runtime the system implementation against the system model (consistency checking) and the system model against the system specification (...
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Static verification techniques are used to analyse and prove properties about programs before they are executed. Many of these techniques work directly on the source code and are used to verify data-oriented properties over all possible executions. The ...
Introduction to the special section on runtime verification

Runtime verification is a relatively recent area of research that concentrates on checking system execution against formally specified behavioral properties. Primary research directions in runtime verification include logics for monitoring, online ...

Comments

Information & Contributors

Information

Published In

cover image Expert Systems with Applications: An International Journal

Expert Systems with Applications: An International Journal Volume 44, Issue C

February 2016

432 pages

ISSN:0957-4174

Issue’s Table of Contents

Copyright © Elsevier Ltd.

Publisher

Pergamon Press, Inc.

United States

Publication History

Published: 01 February 2016

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hachicha MBen Halima RKacem A(2022)Modeling Autonomic SystemsInternational Journal of Software Innovation10.4018/IJSI.30358510:1(1-22)Online publication date: 13-Jul-2022
https://dl.acm.org/doi/10.4018/IJSI.303585
Loreti MRehman A(2022)A Logical Framework for Reasoning About Local and Global Properties of Collective SystemsQuantitative Evaluation of Systems10.1007/978-3-031-16336-4_7(133-149)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1007/978-3-031-16336-4_7
Borda APasquale LKoutavas VNuseibeh BAndersson JWeyns D(2018)Compositional verification of self-adaptive cyber-physical systemsProceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems10.1145/3194133.3194146(1-11)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194133.3194146
Borda AKoutavas VGnesi SPlat NSpoletini PPelliccione P(2018)Self-adaptive automataProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3194001(64-73)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3194001
BăźDicăź ABăźDicăź C(2017)Formal framework for distributed swarm computingSoft Computing - A Fusion of Foundations, Methodologies and Applications10.1007/s00500-016-2381-x21:17(4925-4938)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1007/s00500-016-2381-x
Jiao WSun Y(2016)Self-adaptation of multi-agent systems in dynamic environments based on experience exchangesJournal of Systems and Software10.1016/j.jss.2016.09.025122:C(165-179)Online publication date: 1-Dec-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.09.025

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents