{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:44:46Z","timestamp":1730195086818,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aiccsa.2005.1387098","type":"proceedings-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T15:16:50Z","timestamp":1112368610000},"page":"571-578","source":"Crossref","is-referenced-by-count":3,"title":["Using AUML to derive formal modeling agents interactions"],"prefix":"10.1109","author":[{"given":"L.","family":"Kahloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Barkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.","family":"Sahnoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0"},{"key":"2","article-title":"Theoretical aspects of recursive petri nets","author":"haddad","year":"1999","journal-title":"11th Int Conf Application and Theory of Petri Nets"},{"key":"1","first-page":"23","article-title":"A formal study of interactions in multiagent systems","volume":"8","author":"el fallah seghrouchni","year":"2001","journal-title":"International Journal of Computers and Their Applications"},{"key":"7","article-title":"A formal model for coordinating plans in multiagents systems","author":"el fallah seghrouchni","year":"1995","journal-title":"Proc Intelligent Agents VI"},{"key":"6","article-title":"A recursive model for distributed planning","author":"el fallah seghrouchni","year":"1996","journal-title":"Proc 3rd Int Conf Multi-agent Systems"},{"key":"5","first-page":"121","article-title":"Representing agent iinteraction protocols in UML","author":"odell","year":"2001","journal-title":"Proc of the 1st Internationnal Workshop on Agent Software Engineering (AOSE)"},{"journal-title":"Design\/CPN Version 4 0","year":"1999","author":"jensen","key":"4"},{"journal-title":"Fipa Brokering Interaction Protocol Specification XC00033G-02\/11\/01","year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/544865.544866"}],"event":{"name":"The 3rd ACS\/IEEE International Conference onComputer Systems and Applications, 2005.","location":"Cairo, Egypt"},"container-title":["The 3rd ACS\/IEEE International Conference onComputer Systems and Applications, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9525\/30191\/01387098.pdf?arnumber=1387098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T23:41:40Z","timestamp":1489534900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1387098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2005.1387098","relation":{},"subject":[]}}