{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:04:13Z","timestamp":1743019453936,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319744995"},{"type":"electronic","value":"9783319745008"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74500-8_7","type":"book-chapter","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T00:20:32Z","timestamp":1521505232000},"page":"74-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2509-9065","authenticated-orcid":false,"given":"Abdelhay","family":"Haqiq","sequence":"first","affiliation":[]},{"given":"Bouchaib","family":"Bounabat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"key":"7_CR1","unstructured":"Mattei, S., Bisgambiglia, P.A., Delhom, M., Vittori, E.: Towards discrete event multi agent platform specification. In: Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, pp. 14\u201321 (2012)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Chuanjun, R., Hongbing, H., Shiyao, J.: Specification of agent in complex adaptive system. In: Computer Science and Computational Technology, ISCSCT 2008, vol. 2, pp. 210\u2013216 (2008)","DOI":"10.1109\/ISCSCT.2008.201"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Sharma, M., Firdaus, M., Chatterjee, R.K., Sarkar, A.: Constraint specification in multi-agent system. In: Region 10 Conference (TENCON), pp. 2404\u20132409. IEEE (2016)","DOI":"10.1109\/TENCON.2016.7848462"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Subburajand, V.H., Urban, J.E.: Issues and challenges in building a framework for reactive agent systems. In: Complex, Intelligent and Software Intensive Systems (CISIS), pp. 600\u2013605. IEEE (2010)","DOI":"10.1109\/CISIS.2010.85"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bounabat, B., Romadi, R., Labhalla, S.: Designing multiagent reactive systems: a specification method based on reactive decisional agents. In: Pacific Rim International Workshop on Multi-Agents. LNAI, vol. 1733, pp. 197\u2013210. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-46693-2_15"},{"issue":"2","key":"7_CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1080\/02286203.2005.11442323","volume":"25","author":"A Aaroud","year":"2005","unstructured":"Aaroud, A., Labhalla, S.E., Bounabat, B.: Modelling the handover function of global system for mobile communication. Int. J. Model. Simul. 25(2), 99\u2013105 (2005)","journal-title":"Int. J. Model. Simul."},{"issue":"1","key":"7_CR7","first-page":"50","volume":"25","author":"R Romadi","year":"2011","unstructured":"Romadi, R., Berbia, H., Bounabat, B.: Wireless sensor network simulation of the energy consumption by a multi-agents system. J. Theor. Appl. Inf. Technol. 25(1), 50\u201356 (2011)","journal-title":"J. Theor. Appl. Inf. Technol."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Berrada, M.: Qualitative verification of multi-agents reactive decisional system using business process modeling notation. In: Intelligent Agent Technology, pp. 747\u2013751. IEEE (2006)","DOI":"10.1109\/IAT.2006.105"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis management systems: a case study for aspect-oriented modeling. In: Transactions on Aspect-Oriented Software Development VII, pp. 1\u201322. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16086-8_1"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Graja, Z., Migeon, F., Maurel, C., Gleizes, M.P., Kacem, A.H.: A stepwise refinement based development of self-organizing multi-agent systems: application to the foraging ants. In: International Workshop on Engineering Multi-Agent Systems, pp. 40\u201357. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-319-14484-9_3"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal development of critical multi-agent systems: a refinement approach. In: Ninth European Dependable Computing Conference, pp. 156\u2013161 (2012)","DOI":"10.1109\/EDCC.2012.24"},{"issue":"1","key":"7_CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.4018\/ijats.2015010104","volume":"7","author":"RK Chatterjee","year":"2015","unstructured":"Chatterjee, R.K., Neha, N., Sarkar, A.: Behavioral modeling of multi agent system: high level petri net based approach. Int. J. Agent Technol. Syst. 7(1), 55\u201378 (2015)","journal-title":"Int. J. Agent Technol. Syst."},{"issue":"4","key":"7_CR13","first-page":"435","volume":"5","author":"A Hadj-Kacem","year":"2007","unstructured":"Hadj-Kacem, A., Regayeg, A., Jmaiel, M.: ForMAAD: a formal method for agent-based application design. Int. J. Web Intell. Agent Syst. 5(4), 435\u2013454 (2007)","journal-title":"Int. J. Web Intell. Agent Syst."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Laouadi, M.A., Mokhati, F., Seridi-Bouchelaghem, H.: A novel organizational model for real time mas: towards a formal specification. In: Intelligent Systems for Science and Information, pp. 171\u2013180. Springer International Publishing, Cham (2014)","DOI":"10.1007\/978-3-319-04702-7_10"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Haqiq, A., Bounabat, B.: An extended approach for the behavioral and temporal constraints specification of reactive agent. In: 15th International Conference on Intelligent Systems Design and Applications, pp. 329\u2013334. IEEE (2015)","DOI":"10.1109\/ISDA.2015.7489249"},{"issue":"3","key":"7_CR16","doi-asserted-by":"crossref","first-page":"224","DOI":"10.7763\/LNSE.2013.V1.50","volume":"1","author":"A Haqiq","year":"2013","unstructured":"Haqiq, A., Bounabat, B.: UML profile for modeling multi decisional reactive agent system. J. Lect. Notes Softw. Eng. 1(3), 224 (2013). ISSN:2301-3559","journal-title":"J. Lect. Notes Softw. Eng."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Clarke, E.M.: The birth of model checking. In: 25 Years of Model Checking, pp. 1\u201326. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-69850-0_1"},{"key":"7_CR18","unstructured":"Haqiq, A., Bounabat, B.: Model checking of multi decisional reactive agent system. In: 9th International Conference on Intelligent Systems: Theories and Application, Rabat, Morocco, vol. 1, pp. 133\u2013140 (2014)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Haqiq, A., Bounabat, B.: Verification of multi decisional reactive agent using SMV model checker. In: 8th IEEE International Design and Test Symposium, Marrakesh, Morocco, pp. 1\u20136 (2013)","DOI":"10.1109\/IDT.2013.6727075"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an open source tool for symbolic model checking. In: 14th Conference on Computer Aided Verification, LNCS, vol. 2404. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_29"},{"issue":"1","key":"7_CR21","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/095281399146625","volume":"11","author":"A Bolotov","year":"1999","unstructured":"Bolotov, A.: A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11(1), 77\u201393 (1999)","journal-title":"J. Exp. Theor. Artif. Intell."}],"container-title":["Lecture Notes in Networks and Systems","Innovations in Smart Cities and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74500-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T00:22:44Z","timestamp":1570926164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74500-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319744995","9783319745008"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74500-8_7","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2018]]}}}