{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:40:17Z","timestamp":1755794417638,"version":"3.44.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,12,1]],"date-time":"2015-12-01T00:00:00Z","timestamp":1448928000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/isda.2015.7489249","type":"proceedings-article","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T18:22:17Z","timestamp":1465842137000},"page":"329-334","source":"Crossref","is-referenced-by-count":1,"title":["An extended approach for the behavioral and temporal constraints specification of reactive agent"],"prefix":"10.1109","author":[{"given":"Abdelhay","family":"Haqiq","sequence":"first","affiliation":[{"name":"Alqualsadi research team, ENSIAS, Mohammed V University, Rabat, Morocco"}]},{"given":"Bouchaib","family":"Bounabat","sequence":"additional","affiliation":[{"name":"Alqualsadi research team, ENSIAS, Mohammed V University, Rabat, Morocco"}]}],"member":"263","reference":[{"key":"ref10","first-page":"90","article-title":"Specification and verification of multi-agent systems with a property-preserving component-based methodology","volume":"1","author":"huang","year":"2005","journal-title":"Proceedings of International Conference on Machine Learning and Cybemetics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.04.042"},{"key":"ref12","first-page":"2","article-title":"Formal Specification of Multi-Agent System Architecture","author":"ahmed","year":"2014","journal-title":"International Conference on Advanced Aspects of Software Engineering"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843009001987"},{"key":"ref14","article-title":"Formal behavior specification of multi-robot systems using hierarchical state machines in XABSL","author":"risler","year":"2008","journal-title":"AAMAS08-Workshop on Formal Models and Methods for Multi-Robot Systems"},{"key":"ref4","first-page":"3","article-title":"Multi-agent systems and simulation: a survey from the agents community's perspective","author":"michel","year":"2009","journal-title":"Multi-Agent Systems Simulation and Applications Computational Analysis Synthesis and Design of Dynamic Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05441-9_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2011.0125"},{"key":"ref5","first-page":"197","article-title":"Designing MultiAgent Reactive Systems: A Specification Method Based on Reactive Decisional Agents","volume":"1733","author":"bounabat","year":"1999","journal-title":"LNAI Springer-Verlag Berlin Heidelberg"},{"key":"ref8","first-page":"50","article-title":"Wireless Sensor Network Simulation of the Energy Consumption by a MultiAgents System","volume":"25","author":"romadi","year":"2011","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.205.2005.2.205-4136"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6984-2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2010.04.035"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2006.105"}],"event":{"name":"2015 15th International Conference on Intelligent Systems Design and Applications (ISDA)","start":{"date-parts":[[2015,12,14]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,12,16]]}},"container-title":["2015 15th International Conference on Intelligent Systems Design and Applications (ISDA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7484413\/7489153\/07489249.pdf?arnumber=7489249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T18:18:47Z","timestamp":1755281927000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7489249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/isda.2015.7489249","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}