{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:19:14Z","timestamp":1740097154705,"version":"3.37.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319144832"},{"type":"electronic","value":"9783319144849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14484-9_3","type":"book-chapter","created":{"date-parts":[[2014,12,12]],"date-time":"2014-12-12T09:01:17Z","timestamp":1418374877000},"page":"40-57","source":"Crossref","is-referenced-by-count":7,"title":["A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants"],"prefix":"10.1007","author":[{"given":"Zeineb","family":"Graja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Migeon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Maurel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Pierre","family":"Gleizes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: Modelling in Event-B. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"3_CR2","unstructured":"Bankes, S.C.: Robustness, adaptivity, and resiliency analysis. In: AAAI Fall Symposium: Complex Adaptive Systems. AAAI Technical Report, vol. FS-10-03. AAAI (2010)"},{"key":"3_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-540-75524-1_16","volume-title":"Engineering Societies in the Agents World VII","author":"C. Bernon","year":"2007","unstructured":"Bernon, C., Gleizes, M.-P., Picard, G.: Enhancing self-organising emergent systems design with simulation. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 284\u2013299. Springer, Heidelberg (2007), \n                  \n                    http:\/\/dblp.uni-trier.de\/db\/conf\/esaw\/esaw2006.html#BernonGP06"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Casadei, M., Viroli, M.: Using probabilistic model checking and simulation for designing self-organizing systems. In: SAC, pp. 2103\u20132104 (2009)","DOI":"10.1109\/CEC.2009.4983125"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-05118-0_18","volume-title":"Stabilization, Safety, and Security of Distributed Systems","author":"G.D.M. Serugendo","year":"2009","unstructured":"Serugendo, G.D.M.: Robustness and dependability of self-organizing systems - A safety engineering perspective. In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol.\u00a05873, pp. 254\u2013268. Springer, Heidelberg (2009), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-05118-0_18"},{"key":"3_CR6","unstructured":"Gardelli, L., Viroli, M., Omicini, A.: Exploring the dynamics of self-organising systems with stochastic \u03c0-calculus: Detecting abnormal behaviour in MAS. In: Trappl, R. (ed.) Cybernetics and Systems 2006, April 18-21, vol.\u00a02, pp. 539\u2013544. Austrian Society for Cybernetic Studies, Vienna (2006), 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), Proceedings of the 5th International Symposium \u201cFrom Agent Theory to Theory Implementation\u201d (AT2AI-5)"},{"issue":"11-12","key":"3_CR7","doi-asserted-by":"publisher","first-page":"879","DOI":"10.1016\/j.scico.2009.07.006","volume":"74","author":"T.S. Hoang","year":"2009","unstructured":"Hoang, T.S., Kuruma, H., Basin, D.A., Abrial, J.R.: Developing topology discovery in Event-B. Sci. Comput. Program.\u00a074(11-12), 879\u2013899 (2009)","journal-title":"Sci. Comput. Program."},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38613-8_15","volume-title":"Integrated Formal Methods","author":"D. M\u00e9ry","year":"2013","unstructured":"M\u00e9ry, D., Poppleton, M.: Formal modelling and verification of population protocols. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol.\u00a07940, pp. 208\u2013222. Springer, Heidelberg (2013), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-38613-8_15"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Kaddoum, E., Raibulet, C., George, J.P., Picard, G., Gleizes, M.P.: Criteria for the evaluation of self-* systems. In: Workshop on Software Engineering for Adaptive and Self-Managing Systems (2010)","DOI":"10.1145\/1808984.1808988"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S. Konur","year":"2012","unstructured":"Konur, S., Clare, D., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robot. Auton. Syst.\u00a060(2), 199\u2013213 (2012)","journal-title":"Robot. Auton. Syst."},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst.\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR12","unstructured":"Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Development of fault tolerant MAS with cooperative error recovery by refinement in Event-B. CoRR abs\/1210.7035 (2012)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal development of critical multi-agent systems: A refinement approach. In: EDCC, pp. 156\u2013161 (2012)","DOI":"10.1109\/EDCC.2012.24"},{"key":"3_CR14","unstructured":"Serugendo, G.D.M., Gleizes, M.P., Karageorgos, A.: Self-organization in multi-agent systems. Knowledge Eng. Review (2005)"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14484-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:07:44Z","timestamp":1559077664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14484-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319144832","9783319144849"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14484-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}