{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:12:10Z","timestamp":1725567130147},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280637"},{"type":"electronic","value":"9783540316749"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11533962_47","type":"book-chapter","created":{"date-parts":[[2010,9,26]],"date-time":"2010-09-26T14:02:10Z","timestamp":1285509730000},"page":"516-528","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Approach to Model Multiagent Interactions Using the B Formal Method"],"prefix":"10.1007","author":[{"given":"Hind","family":"Fadil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Koning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","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, 1st edn. Addison-Wesley Pub Co., Reading (1999)","edition":"1"},{"key":"47_CR2","series-title":"Lecture Notes on Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b105022","volume-title":"gent-Oriented Software Engineering (AOSE) IV","author":"J. Odell","year":"2005","unstructured":"Odell, J., Nodine, M., Levy, R.: A metamodel for agents, roles, and groups. In: Odell, J., Giorgini, P., M\u00fcller, J. (eds.) gent-Oriented Software Engineering (AOSE) IV. Lecture Notes on Computer Science, Springer, Berlin (2005)"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-44566-8","volume-title":"Agent-Oriented Software Engineering II","author":"B. Bauer","year":"2001","unstructured":"Bauer, B.: UML classe diagrams revisited in the context of agent-based systems. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 1\u20138. Springer, Heidelberg (2001)"},{"key":"47_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1049\/ip-sen:19970974","volume":"144","author":"J. Bicarregui","year":"1997","unstructured":"Bicarregui, J.: Formal methods into practice: case studies in the application of the B method. IEE Proceedings on Software Engineering\u00a0144, 119\u2013133 (1997)","journal-title":"IEE Proceedings on Software Engineering"},{"key":"47_CR5","unstructured":"Tatibouet, B., Hammad, A., Voisinet, J.: From an abstract B specification to UML class diagrams. In: 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2002), Marrakech, Morocco (2002)"},{"key":"47_CR6","first-page":"121","volume-title":"Proceedings of First International Workshop on Agent-Oriented Software Engineering","author":"J. Odell","year":"2000","unstructured":"Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M. (eds.) Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, pp. 121\u2013140. Springer, Heidelberg (2000)"},{"key":"47_CR7","doi-asserted-by":"publisher","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":"47_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B 1998: Recent Advances in the Development and Use of the B Method","author":"J.R. Abrial","year":"1998","unstructured":"Abrial, J.R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 83\u2013128. Springer, Heidelberg (1998)"},{"key":"47_CR9","unstructured":"Yoo, M.J., Merlat, W., Briot, J.P.: Modeling and validation of mobile agents on the Web. In: Fishwick, P.A., Hill, D.R., Smith, R. (eds.) 1998 International Conference on Web-based Modeling and Simulation, The Society for Computer Simulation, San Diego CA, USA. Simulation Series, vol.\u00a030, pp. 23\u201328 (1998)"},{"key":"47_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/BFb0053360","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"A. Malioukov","year":"1998","unstructured":"Malioukov, A.: An object-based approch to the B formal method. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, p. 162. Springer, Heidelberg (1998)"},{"key":"47_CR11","volume-title":"International Conference on Automated Software Engineering (ASE2000)","author":"R. Laleau","year":"2000","unstructured":"Laleau, R., Mammar, A.: An overview of a method and its support tool for generating B specifications from UML notations. In: International Conference on Automated Software Engineering (ASE 2000), France,, IEEE CS Press, Los Alamitos (2000)"},{"key":"47_CR12","doi-asserted-by":"crossref","unstructured":"d\u2019Inverno, M., Fisher, M., Lomuscio, A., Luck, M., de Rijke, M., Ryan, M., Wooldridge, M.: Formalisms for multi-agent systems. The Knowledge Engineering Review\u00a012 (1997)","DOI":"10.1017\/S0269888997003068"},{"key":"47_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","volume-title":"Engineering Societies in the Agents World","author":"V. Hilaire","year":"2000","unstructured":"Hilaire, V., Koukam, A., Gruer, P., Muller, J.P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol.\u00a01972, p. 114. Springer, Heidelberg (2000)"},{"key":"47_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-45614-7_17","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"L. Casset","year":"2002","unstructured":"Casset, L.: Development of an embedded verifier for java card byte code using formal methods. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, p. 290. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Advanced Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11533962_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:47Z","timestamp":1605625787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11533962_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280637","9783540316749"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11533962_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}