{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:42:38Z","timestamp":1730259758028,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/icta.2015.7426924","type":"proceedings-article","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T21:06:31Z","timestamp":1459199191000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards an approach for behavioral specification of reactive multi-agent system"],"prefix":"10.1109","author":[{"given":"Abdelhay","family":"Haqiq","sequence":"first","affiliation":[]},{"given":"Bouchai'b","family":"Bounabat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"50","article-title":"Wireless Sensor Network Simulation of the Energy Consumption by a Multi-Agents System","volume":"25","author":"romadi","year":"2011","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IAT.2006.105"},{"key":"ref12","first-page":"329","article-title":"An extended approach for the behavioral and temporal constraints specification of reactive agent","author":"haqiq","year":"2015","journal-title":"15th International Conference on Intelligent Systems Design and Applications (ISDA)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.7763\/LNSE.2013.V1.50"},{"key":"ref14","first-page":"133","article-title":"Model Checking of Multi Decisional Reactive Agent System","volume":"1","author":"haqiq","year":"2014","journal-title":"9th International Conference on Intelligent Systems Theories and Applications (SITA)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2013.6727075"},{"journal-title":"The Agent Modeling LanguageAML A Comprehensive Approach to Modeling Multi-Agent Systems","year":"2007","author":"cervenka","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.6"},{"key":"ref18","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":"Proc International Conference on Machine Learning and Cybernetics"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.04.042"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCSCT.2008.201"},{"key":"ref3","first-page":"14","article-title":"Towards Discrete Event Multi Agent Platform Specification","author":"mattei","year":"2012","journal-title":"Proceedings in the Third International Conference on Computational Logics Algebras Programming Tools and Benchmarking"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2010.85"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36103-0_28"},{"key":"ref8","first-page":"1","author":"kienzle","year":"2010","journal-title":"Crisis Management Systems A Case Study for Aspect-oriented Modeling"},{"key":"ref7","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"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4_5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2004.04.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.205.2005.2.205-4136"},{"key":"ref20","article-title":"Formal Specification of Multi-Agent System Architecture","author":"taki eddine","year":"2014","journal-title":"International Conference on Advanced Aspects of Software Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843009001987"}],"event":{"name":"2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)","start":{"date-parts":[[2015,12,21]]},"location":"Marrakech","end":{"date-parts":[[2015,12,23]]}},"container-title":["2015 5th International Conference on Information & Communication Technology and Accessibility (ICTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7416367\/7426869\/07426924.pdf?arnumber=7426924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T05:12:44Z","timestamp":1489900364000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7426924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icta.2015.7426924","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}