{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:43:44Z","timestamp":1725551024878},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668237"},{"type":"electronic","value":"9783540466932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46693-2_15","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:00Z","timestamp":1269897180000},"page":"197-210","source":"Crossref","is-referenced-by-count":6,"title":["Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents"],"prefix":"10.1007","author":[{"given":"Bouchaib","family":"Bounabat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahal","family":"Romadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salah","family":"Labhalla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0164-1212(93)90036-W","volume":"21","author":"U. Furbach","year":"1993","unstructured":"Furbach, U.: Formal specification methods for reactive systems. Journal of Systems Software, 21 pp. 129\u2013139, (1993).","journal-title":"Journal of Systems Software"},{"key":"15_CR2","unstructured":"Harel, D.: Statemate: aworking environment for the development of complex systems. IEEE Software Engineering, 16(4), (1987)."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8 pp. 231\u2013274, (1987).","journal-title":"Science of Computer Programming"},{"key":"15_CR4","volume-title":"The ESTEREL V5 Language Primer","author":"G. Berry","year":"1998","unstructured":"Berry, G.: The ESTEREL V5 Language Primer. Internal Report, CMA Ecoles des Mine, INRIA, Paris, 17 Mars (1998)."},{"issue":"9","key":"15_CR5","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/5.97299","volume":"79","author":"F. Boussinot","year":"1991","unstructured":"F. Boussinot, and R. de Simone.: The ESTEREL language. Proceeding of the of the IEEE, 79(9):1293\u20131304, September (1991).","journal-title":"Proceeding of the of the IEEE"},{"key":"15_CR6","unstructured":"Berry, G. and P. Couronne.: Synchronous programming of reactive systems: an introduction to ESTEREL. IEEE Software Engineering, 16(4), (1987)."},{"key":"15_CR7","unstructured":"Lamport, L.: What Good is Temporal Logic?. Proceeding of IFIP, Information Processing, pp. 657\u2013668 (REA Mason, NorthHolland) 1st edn, (1983)."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Pnuelli, A.: The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, 13 pp. 4560 (1981).","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"15_CR9","unstructured":"Ostroff, J.S.: Temporal Logic for RealTime systems. (Advanced Software Development Series. Research) 1st edn, (1989)."},{"key":"15_CR10","unstructured":"Ferber, J.: Les syst\u00e9mes multiagents. Vers une intelligence collective. (IIA, InterEditions), 2th edn, (1997)."},{"issue":"3","key":"15_CR11","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1017\/S026988890000789X","volume":"11","author":"H.S. Nwana","year":"1996","unstructured":"Nwana. H.S.: Software Agents: An overview. Knowledge Engineering Review, 11(3) pp.205\u2013244 (1996).","journal-title":"Knowledge Engineering Review"},{"key":"15_CR12","unstructured":"Goodwin, R.: Formalizing Propreties of Agents. CMUCS93159, 1993."},{"key":"15_CR13","first-page":"2950","volume-title":"Z User Workshop","author":"P.A. Mataga","year":"1994","unstructured":"Mataga, P.A. Zave, P.: Formal specification of Telephone Features. Z User Workshop, Bowen & Hall, eds., pp. 2950, Cambridge, SpringerVerlag, 1994."},{"key":"15_CR14","unstructured":"Charpillet, F. Boyer, A.: Incorporating AI Techniques into Predictable Realtime Systems. Quatorzi\u00e9mes Journ\u00e8es Internationales d\u2019Avignon, 1994."},{"key":"15_CR15","unstructured":"Bahssoun, J. P. Merz, S. and Servieres, C.: A Framework for formalizing and proving concurrent objects. WS 4 ECOOP\u201994, Bologna Italy, July 1994."},{"key":"15_CR16","volume-title":"Application \u00e1 la conception des Syst\u00e9mes Automatis\u00e8s de Production","author":"B. Bounabat","year":"1993","unstructured":"Bounabat B.: MACSOOD, M\u00e8thode d\u2019Analyse et de Conception des Syst\u00e9mes Orient\u00e8e Objet D\u00e8cisionnel. Application \u00e1 la conception des Syst\u00e9mes Automatis\u00e8s de Production. PhD Dissertation, Institut National de T\u00e8l\u00e8communications, EvryParis, 15 September (1993)."},{"issue":"6","key":"15_CR17","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1002\/j.1538-7305.1985.tb00276.x","volume":"64","author":"K.E. Martersteck","year":"1985","unstructured":"Martersteck, K.E. and Spencer, A.E.: Introduction to the 5ESS Switching System. AT&T Technical journal, 64(6) pp. 305\u2013314 (1985).","journal-title":"AT&T Technical journal"},{"key":"15_CR18","unstructured":"Bounabat, B. and Labhalla, S. and Lafont, J.C.: Reactive System Control using a decisional object modeling. IFAC\u201997, Campinas, Brazil 02\/06 September (1997)."}],"container-title":["Lecture Notes in Computer Science","Approaches to Intelligence Agents"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46693-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:01:05Z","timestamp":1551078065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46693-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668237","9783540466932"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-46693-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}