{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:17:24Z","timestamp":1771024644187,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T00:00:00Z","timestamp":1500595200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,21]]},"DOI":"10.1145\/3128128.3128135","type":"proceedings-article","created":{"date-parts":[[2017,9,12]],"date-time":"2017-09-12T18:53:22Z","timestamp":1505242402000},"page":"42-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using BECAMEDA method to specify and verify a smart home system"],"prefix":"10.1145","author":[{"given":"Abdelhay","family":"Haqiq","sequence":"first","affiliation":[{"name":"Mohammed V University, Rabat, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bouchaib","family":"Bounabat","sequence":"additional","affiliation":[{"name":"Mohammed V University, Rabat, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Towards Discrete Event Multi Agent Platform Specification. In the Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, 14--21","author":"Mattei S.","unstructured":"S. Mattei , P. A. Bisgambiglia , M. Delhom , and E. Vittori . 2012 . Towards Discrete Event Multi Agent Platform Specification. In the Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, 14--21 S. Mattei, P. A. Bisgambiglia, M. Delhom, and E. Vittori. 2012. Towards Discrete Event Multi Agent Platform Specification. In the Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking, 14--21"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCSCT.2008.201"},{"key":"e_1_3_2_1_3_1","volume-title":"Region 10 Conference (TENCON), IEEE. 2404--2409 (November 2016)","author":"Sharma M.","unstructured":"M. Sharma , M. Firdaus , R. K. Chatterjee , and A. Sarkar . 2016. Constraint specification in Multi-Agent System . In Region 10 Conference (TENCON), IEEE. 2404--2409 (November 2016) M. Sharma, M. Firdaus, R. K. Chatterjee, and A. Sarkar. 2016. Constraint specification in Multi-Agent System. In Region 10 Conference (TENCON), IEEE. 2404--2409 (November 2016)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2010.85"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2004.04.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"J. P. Briot T. Meurisse and F. Peschanski. 2007. Architectural design of component-based agents: A behavior-based approach. In Programming Multi-Agent Systems. Springer Berlin Heidelberg 71--90   J. P. Briot T. Meurisse and F. Peschanski. 2007. Architectural design of component-based agents: A behavior-based approach. In Programming Multi-Agent Systems. Springer Berlin Heidelberg 71--90","DOI":"10.1007\/978-3-540-71956-4_5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRIS.2016.95"},{"key":"e_1_3_2_1_8_1","volume-title":"LNAI","volume":"1733","author":"Bounabat B.","unstructured":"B. Bounabat , R Romadi , and S. Labhalla . 1999. Designing MultiAgent Reactive Systems: A Specification Method Based on Reactive Decisional Agents, H. Nakashima, C. Zhang (Eds.) , LNAI , vol. 1733 , Springer-Verlag Berlin Heidelberg, 197--210 B. Bounabat, R Romadi, and S. Labhalla. 1999. Designing MultiAgent Reactive Systems: A Specification Method Based on Reactive Decisional Agents, H. Nakashima, C. Zhang (Eds.), LNAI, vol. 1733, Springer-Verlag Berlin Heidelberg, 197--210"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1080\/02286203.2005.11442323"},{"issue":"1","key":"e_1_3_2_1_10_1","first-page":"50","article-title":"Wireless Sensor Network Simulation of the Energy Consumption by a Multi-Agents System","volume":"25","author":"Romadi R.","year":"2011","unstructured":"R. Romadi , H. Berbia , and B. Bounabat . 2011 . Wireless Sensor Network Simulation of the Energy Consumption by a Multi-Agents System , Journal of Theoretical and Applied Information Technology , vol. 25 no. 1 , pp. 50 -- 56 , (March 15, 2011) R. Romadi, H. Berbia, and B. Bounabat. 2011. Wireless Sensor Network Simulation of the Energy Consumption by a Multi-Agents System, Journal of Theoretical and Applied Information Technology, vol. 25 no.1, pp. 50--56, (March 15, 2011)","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2006.105"},{"key":"e_1_3_2_1_12_1","volume-title":"15th International Conference on Intelligent Systems Design and Applications (ISDA), IEEE, 329--334","author":"Haqiq A.","unstructured":"A. Haqiq and B. Bounabat . 2015. An extended approach for the behavioral and temporal constraints specification of reactive agent . In 15th International Conference on Intelligent Systems Design and Applications (ISDA), IEEE, 329--334 A. Haqiq and B. Bounabat. 2015. An extended approach for the behavioral and temporal constraints specification of reactive agent. In 15th International Conference on Intelligent Systems Design and Applications (ISDA), IEEE, 329--334"},{"key":"e_1_3_2_1_13_1","unstructured":"A. Haqiq and B. Bounabat. 2013. UML Profile for Modeling Multi Decisional Reactive Agent System. In Journal of Lecture Notes on Software Engineering ISSN: 2301--3559 vol. 1 no. 3 (August 2013)  A. Haqiq and B. Bounabat. 2013. UML Profile for Modeling Multi Decisional Reactive Agent System. In Journal of Lecture Notes on Software Engineering ISSN: 2301--3559 vol. 1 no. 3 (August 2013)"},{"key":"e_1_3_2_1_14_1","volume-title":"Model checking","author":"McMillan K. L.","unstructured":"K. L. McMillan . 2003. Model checking . John Wiley and Sons Ltd . 1177--1181 K. L. McMillan. 2003. Model checking. John Wiley and Sons Ltd. 1177--1181"},{"key":"e_1_3_2_1_15_1","volume-title":"Model Checking of Multi Decisional Reactive Agent System. In 9th International Conference on Intelligent Systems: Theories and Applications (SITA)","volume":"1","author":"Haqiq A.","year":"2014","unstructured":"A. Haqiq and B. Bounabat . 2014 . Model Checking of Multi Decisional Reactive Agent System. In 9th International Conference on Intelligent Systems: Theories and Applications (SITA) , vol. 1 , 133--140, Rabat, Morocco , ( May 2014 ) A. Haqiq and B. Bounabat. 2014. Model Checking of Multi Decisional Reactive Agent System. In 9th International Conference on Intelligent Systems: Theories and Applications (SITA), vol. 1, 133--140, Rabat, Morocco, (May 2014)"},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"8th IEEE International Design and Test Symposium (IDT)","author":"Haqiq A.","year":"2013","unstructured":"A. Haqiq and B. Bounabat . 2013. Verification of multi decisional reactive agent using SMV model checker . In 8th IEEE International Design and Test Symposium (IDT) , pp. 1 -- 6 , Marrakesh, Morocco, (16- -18 December 2013 ) A. Haqiq and B. Bounabat. 2013. Verification of multi decisional reactive agent using SMV model checker. In 8th IEEE International Design and Test Symposium (IDT), pp. 1--6, Marrakesh, Morocco, (16--18 December 2013)"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1080\/095281399146625"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.6"},{"key":"e_1_3_2_1_20_1","unstructured":"R. Cervenka and I. Trencansky. 2007. The Agent Modeling Language-AML: A Comprehensive Approach to Modeling Multi-Agent Systems. Springer Science & Business Media ISBN 978-3-7643-8395-4   R. Cervenka and I. Trencansky. 2007. The Agent Modeling Language-AML: A Comprehensive Approach to Modeling Multi-Agent Systems. Springer Science & Business Media ISBN 978-3-7643-8395-4"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of International Conference","volume":"1","author":"Huang H. J","unstructured":"H. J Huang , X. Wang , Q. C. Chen , and X. L. Wang . 2005. Specification and verification of multi-agent systems with a property-preserving component-based methodology. In Machine Learning and Cybernetics , Proceedings of International Conference , vol. 1 , 90--95 H. J Huang, X. Wang, Q. C. Chen, and X. L. Wang. 2005. Specification and verification of multi-agent systems with a property-preserving component-based methodology. In Machine Learning and Cybernetics, Proceedings of International Conference, vol. 1, 90--95"},{"key":"e_1_3_2_1_22_1","volume-title":"Region 10 Conference (TENCON), 2404--2409","author":"Sharma M.","year":"2016","unstructured":"M. Sharma , M. Firdaus , R. K. Chatterjee , and A. Sarkar . 2016. Constraint specification in Multi-Agent System . In Region 10 Conference (TENCON), 2404--2409 . IEEE. ( November 2016 ) M. Sharma, M. Firdaus, R. K. Chatterjee, and A. Sarkar. 2016. Constraint specification in Multi-Agent System. In Region 10 Conference (TENCON), 2404--2409. IEEE. (November 2016)"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"J. S. Santos J. O. Zahn E. A. Silvestre V. T. Silva and W. W. Vasconcelos. 2017. Detection and resolution of normative conflicts in multi-agent systems: a literature survey. Autonomous Agents and Multi-Agent Systems 1--47  J. S. Santos J. O. Zahn E. A. Silvestre V. T. Silva and W. W. Vasconcelos. 2017. Detection and resolution of normative conflicts in multi-agent systems: a literature survey. Autonomous Agents and Multi-Agent Systems 1--47","DOI":"10.1007\/s10458-017-9362-z"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0168-9"}],"event":{"name":"ICSDE '17: International Conference on Smart Digital Environment 2017","location":"Rabat Morocco","acronym":"ICSDE '17"},"container-title":["Proceedings of the 2017 International Conference on Smart Digital Environment"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3128128.3128135","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3128128.3128135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:01Z","timestamp":1750212661000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3128128.3128135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,21]]},"references-count":24,"alternative-id":["10.1145\/3128128.3128135","10.1145\/3128128"],"URL":"https:\/\/doi.org\/10.1145\/3128128.3128135","relation":{},"subject":[],"published":{"date-parts":[[2017,7,21]]},"assertion":[{"value":"2017-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}