{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T07:49:23Z","timestamp":1672559363714},"reference-count":27,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2007,10]]},"abstract":" This article deals with the problem of dynamic role-playing in Multi-Agent organisations. The approach presented uses a formal specification notation and is based upon a formal framework which defines the concepts of role, interaction and organisation. Within this framework the problem of dynamic role-playing specification is related to the merging of specifications. The formal notation used composes Object-Z and Statecharts. The main features of this approach are: enough expressive power to represent Multi-Agents dynamic aspects, tools for specification analysis and mechanisms allowing the refinement of a high level specification into a low level specification which can be easily implemented. The last part of this paper presents an application with the specification of a reactive and cooperative MAS model named Satisfaction Altruism. An analysis of the specification validates the agents' behaviours. <\/jats:p>","DOI":"10.1142\/s0218194007003392","type":"journal-article","created":{"date-parts":[[2007,11,22]],"date-time":"2007-11-22T05:45:11Z","timestamp":1195710311000},"page":"615-641","source":"Crossref","is-referenced-by-count":4,"title":["FORMAL SPECIFICATION APPROACH OF ROLE DYNAMICS IN AGENT ORGANISATIONS: APPLICATION TO THE SATISFACTION-ALTRUISM MODEL"],"prefix":"10.1142","volume":"17","author":[{"given":"VINCENT","family":"HILAIRE","sequence":"first","affiliation":[{"name":"Systems and Transportation Laboratory, University of Technology of Belfort Montb\u00e9liard, Belfort, 90010, France"}]},{"given":"PABLO","family":"GRUER","sequence":"additional","affiliation":[{"name":"Systems and Transportation Laboratory, University of Technology of Belfort Montb\u00e9liard, Belfort, 90010, France"}]},{"given":"ABDER","family":"KOUKAM","sequence":"additional","affiliation":[{"name":"Systems and Transportation Laboratory, University of Technology of Belfort Montb\u00e9liard, Belfort, 90010, France"}]},{"given":"OLIVIER","family":"SIMONIN","sequence":"additional","affiliation":[{"name":"Systems and Transportation Laboratory, University of Technology of Belfort Montb\u00e9liard, Belfort, 90010, France"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(94)90007-8"},{"key":"rf2","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Engineering Societies in the Agents' World","author":"Bergenti F.","year":"2000"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843097000069"},{"key":"rf4","volume-title":"Agent Based Simulation","author":"Campero R.","year":"2000"},{"key":"rf9","volume":"12","author":"d'Inverno M.","journal-title":"Knowledge Engineering Review"},{"key":"rf13","series-title":"LNAI","volume-title":"Intelligent Agents III","volume":"1193","author":"Fisher M.","year":"1997"},{"key":"rf15","volume-title":"Approche multi-formalismes pour la sp\u00e9cification des syst\u00e8mes multi-agents","author":"Gruer P.","year":"2002"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00161-9"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1016\/S0957-4174(02)00070-2"},{"key":"rf18","series-title":"LNCS","volume-title":"Fundamental Aspects of Software Engineering","volume":"1783","author":"Gruer P.","year":"2000"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"rf23","series-title":"LNCS","first-page":"8","volume":"1647","author":"Herlea D. E.","year":"1999"},{"key":"rf24","series-title":"LNAI","volume-title":"Agent Technologies, Infrastructures, Tools and Applications for E-Services","volume":"2592","author":"Hilaire V.","year":"2002"},{"key":"rf26","series-title":"LNAI","volume-title":"Engineering Societies in the Agents' World","volume":"1972","author":"Hilaire V.","year":"2001"},{"key":"rf27","series-title":"LNCS","volume-title":"Agent Oriented Software Engineering","volume":"3382","author":"Hilaire V.","year":"2005"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1109\/4434.846192"},{"key":"rf30","volume":"32","author":"Kendall E. A.","journal-title":"ACM Computing Surveys"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1080\/0232929021000015185"},{"key":"rf32","series-title":"LNAI","volume-title":"Genetic Algorithms as Prototyping Tools for Multi-Agent Systems: Application to the Antenna Parameter Setting Problem","volume":"1437","author":"Lissajoux T.","year":"1998"},{"key":"rf36","unstructured":"Z.\u00a0Manna, STeP: The Stanford Temporal Prover, LNCS\u00a0915 (1995)\u00a0pp. 793\u2013794."},{"key":"rf37","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Manna Z.","year":"1991"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"rf45","volume-title":"Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"Weiss G.","year":"1999"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"rf49","doi-asserted-by":"publisher","DOI":"10.1145\/158431.158438"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194007003392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:44:11Z","timestamp":1565127851000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194007003392"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":27,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2007,10]]}},"alternative-id":["10.1142\/S0218194007003392"],"URL":"https:\/\/doi.org\/10.1142\/s0218194007003392","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}