{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:18Z","timestamp":1725515658221},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705680"},{"type":"electronic","value":"9783540705697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70569-7_10","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T05:28:15Z","timestamp":1216099695000},"page":"102-107","source":"Crossref","is-referenced-by-count":2,"title":["Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B"],"prefix":"10.1007","author":[{"given":"Leila","family":"Jemni Ben Ayed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatma","family":"Siala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B book : Assigning Programs to Meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"10_CR2","unstructured":"Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: First B Conference, Putting Into Practice Methods and Tools for Information System Design, France, p. 21 (1996)"},{"key":"10_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-45484-5_10","volume-title":"Formal Approaches to Agent-Based Systems","author":"I. Bakam","year":"2001","unstructured":"Bakam, I., Kordon, F., L-Page, C., Bousquet, F.: Formalization of a specialized multi-agent system using coloured petri nets for the study of a hunting management system. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, pp. 123\u2013132. Springer, Heidelberg (2001)"},{"key":"10_CR4","unstructured":"Clearsy, \n                  \n                    http:\/\/www.b4free.com\/download.htm"},{"key":"10_CR5","unstructured":"Fadil, H., Koning, J.-L.: Vers une sp\u00e9cification formelle des protocoles d\u2019interaction des syst\u00e8mes multi-agents en B. In: 6eConfrence Francophone de MOdlisation et SIMulation; MOSI 2006, Maroc (2006)"},{"key":"10_CR6","volume-title":"Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-wesley Professional, Reading (1999)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Hilaire, V., Koukam, A., Gruer, P., Muller, J.-P.: Formal specification and prototyping of multi-agent systems. ESAW000. In: Proceedings of the First International Workshop on Engineering Societies in the Agent World, London, pp. 114\u2013127 (2000)","DOI":"10.1007\/3-540-44539-0_9"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Jemni Ben Ayed, L., Hlaoui Ben Daly, Y.: Translating Graphical Conceptual Model from STATEMATE to FNLOG. In: IEEM 2007: IEEE International Conference on Industrial Engineering and Engineering Management, Singapore (2007)","DOI":"10.1109\/IEEM.2007.4419503"},{"key":"10_CR9","volume-title":"Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence","author":"J. Odell","year":"2000","unstructured":"Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence. ICue Publishing, Texas (2000)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/IAT.2004.1342953","volume-title":"Intelligent Agent Technology Conference (IAT 2004)","author":"A. Regayeg","year":"2004","unstructured":"Regayeg, A., Kacem, A.-H., Jmaiel, M.: Specification and verification of multiagent applications using temporal Z. In: Intelligent Agent Technology Conference (IAT 2004), pp. 260\u2013266. IEEE Computer Society, China (2004)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:22:58Z","timestamp":1620015778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705680","9783540705697"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}