{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:19:43Z","timestamp":1777889983151,"version":"3.51.4"},"reference-count":44,"publisher":"SAGE Publications","issue":"4","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Multiagent and Grid Systems: An International Journal of Data Science and Artificial Intelligence"],"published-print":{"date-parts":[[2017,11]]},"abstract":"<jats:p>Formal semantics provide precise specifications of the expected behavior of organizational model based on multi-agent system, allowing users to understand them and also modelers to reason about them and to prove their correctness. A first step was described to provide a formal specification framework among organization-centered multi-agent system by using an existing rewriting logic language called Maude to translate organizational models, which allows addressing these issues. Such formalization provides additional benefits, such as enabling the simulation of the specifications or giving access to the Maude toolkit to reason about them. In this paper, Maude was used to formally describe Agent-Group-Role-based-organization specifications. The proposed framework could, in fact, be used as is or with some extensions to describe other agent organization models. Actually, the results of precedent works [ 31 , 32 ] were synthesized with additional extensions related to the formal description of the Agent-Group-Role model. This approach is illustrated using the supply chain management (SCM) case study.<\/jats:p>","DOI":"10.3233\/mgs-170277","type":"journal-article","created":{"date-parts":[[2017,12,15]],"date-time":"2017-12-15T11:59:16Z","timestamp":1513339156000},"page":"395-419","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":7,"title":["A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach"],"prefix":"10.1177","volume":"13","author":[{"given":"Mohamed Amin","family":"Laouadi","sequence":"first","affiliation":[{"name":"Computer Science Department, University of Badji Mokhtar, Annaba, Algeria"},{"name":"Computer Science Department, University of Ferhat Abbas Setif 1, Setif, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Mokhati","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassina","family":"Seridi-Bouchelaghem","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of Badji Mokhtar, Annaba, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2017,11,1]]},"reference":[{"key":"bibr1-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00206-6"},{"key":"bibr2-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1109\/ICMAS.2000.858455"},{"key":"bibr3-MGS-170277","unstructured":"Lema\u00eetreC. and ExcelenteC.B., Multi-agent organization approach, in: Proceedings 2nd Iberoamerican Workshop on Distributed Artificial Intelligence and Multi-Agent Systems, Toledo, USA, 1998, 7\u201316."},{"issue":"1","key":"bibr4-MGS-170277","first-page":"149","volume":"39","author":"Nawarecki E.","year":"2010","journal-title":"Control and Cybernetics"},{"key":"bibr5-MGS-170277","unstructured":"MokhatiF. BadriM. and ZerrouguiS., A novel conformance testing technique for agent interaction protocols, in: Proceedings of Science and Information Conference (SAI), London UK, 7\u20139 October 2013, 485\u2013495."},{"key":"bibr6-MGS-170277","first-page":"1","author":"Muramatsu F.T.","year":"2014","journal-title":"Agent Environments for Multi-Agent Systems \u2013 10 Years Later"},{"key":"bibr7-MGS-170277","first-page":"209","author":"Muramatsu F.T.","year":"2014","journal-title":"Revised Selected and Invited Papers of the 4th International Workshop on Agent Environments for Multi-Agent Systems IV"},{"key":"bibr8-MGS-170277","first-page":"1","author":"Parunak H.V.D.","year":"2002","journal-title":"Agent-Oriented Software Engineering II"},{"key":"bibr9-MGS-170277","unstructured":"FerberJ. and PerrotJ.F., Les syst\u00e8mes multi-agents: Vers une intelligence collective, Inter-Editions, 1995."},{"key":"bibr10-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"bibr11-MGS-170277","first-page":"214","author":"Ferber J.","year":"2003","journal-title":"International Workshop on Agent-Oriented Software Engineering"},{"key":"bibr12-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1145\/127070.127091"},{"key":"bibr13-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"bibr14-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"bibr15-MGS-170277","unstructured":"OdellJ. ParunakH.V.D. and BauerB., Extending UML for agents, in: Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence WagnerG. et al, eds, ICue Publishing, Austin, Texas USA (July 2000), pp. 3\u201317."},{"key":"bibr16-MGS-170277","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-581-8.ch009"},{"issue":"5","key":"bibr17-MGS-170277","first-page":"1","volume":"10","author":"Troya J.","year":"2011","journal-title":"Journal of Object Technology"},{"key":"bibr18-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36127-8_12"},{"key":"bibr19-MGS-170277","unstructured":"AstefanoaeiL. DastaniM. MeyerJ.J.C. and de BoerF.S., A verification framework for normative multi-agent systems, in: Proceedings of 11th Pacific Rim International Conference on Multi-Agents (PRIMA), Hanoi, Vietnam (15\u201316 December 2008), 54\u201365."},{"issue":"13","key":"bibr20-MGS-170277","first-page":"2629","volume":"15","author":"Astefanoaei L.","year":"2009","journal-title":"J UCS"},{"key":"bibr21-MGS-170277","unstructured":"GasserL., Organizations in multi-agent systems, in: Pre-Proc of the 10th European Worshop on Modeling Autonomous Agents in a Multi-Agent World (MAAMAW\u20192001), Annecy, France, 2001."},{"key":"bibr22-MGS-170277","first-page":"1","author":"Coutinho L.R.","year":"2005","journal-title":"First Workshop on Software Engineering for Agent-Oriented Systems"},{"key":"bibr23-MGS-170277","doi-asserted-by":"crossref","unstructured":"CoutinhoL.R. SichmanJ. and BoissierO., Modelling dimensions for agent organizations, in: DignumV., ed, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models 2 (2009), pp. 18\u201350.","DOI":"10.4018\/978-1-60566-256-5.ch002"},{"key":"bibr24-MGS-170277","volume":"4350","author":"Clavel M.","year":"2007","journal-title":"LNCS"},{"key":"bibr25-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73859-6_12"},{"key":"bibr26-MGS-170277","volume":"94025","author":"Clavel M.","year":"2016","journal-title":"SRI International"},{"key":"bibr27-MGS-170277","first-page":"13","author":"Dastani M.","year":"2008","journal-title":"International Workshop on Computational Logic in Multi-Agent Systems"},{"key":"bibr28-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05301-6_2"},{"key":"bibr29-MGS-170277","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-256-5.ch016"},{"key":"bibr30-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"},{"key":"bibr31-MGS-170277","unstructured":"LaouadiM.A. MokhatiF. and Seridi-BouchelaghemH., Towards an organizational model for real time multi-agent system specification, in: Proceedings of Science and Information Conference (SAI), London UK (7-9 October 2013), 577\u2013584."},{"key":"bibr32-MGS-170277","first-page":"171","volume":"542","author":"Laouadi M.A.","year":"2014","journal-title":"Intelligent Systems for Science and Information, Studies in Computational Intelligence"},{"key":"bibr33-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69619-3_6"},{"key":"bibr34-MGS-170277","unstructured":"HugetM.P., An application of agent UML to supply chain management, in: Proceedings of Agent Oriented Information System (AOIS-02) GiorginiP. et al. eds, (short presentation of the technical report ULCS-02-015), Bologne, Italie, 2002."},{"key":"bibr35-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00044-1"},{"key":"bibr36-MGS-170277","unstructured":"\u00d6lveczkyP.C., Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic, Ph.D. thesis, University of Bergen, Norway, 2000."},{"key":"bibr37-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00363-2"},{"key":"bibr38-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.015"},{"key":"bibr39-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9001-5"},{"key":"bibr40-MGS-170277","first-page":"332","volume":"8","author":"\u00d6lveczky P.C.","year":"2008","journal-title":"TACAS"},{"key":"bibr41-MGS-170277","first-page":"252","volume":"3","author":"Bruni R.","year":"2003","journal-title":"ICALP"},{"key":"bibr42-MGS-170277","first-page":"1","volume":"28","author":"Moyaux T.H.","year":"2006","journal-title":"Multiagent Based Supply Chain Management, Studies in Computional Intelligence"},{"key":"bibr43-MGS-170277","unstructured":"HilaireV. SimoninO. KoukamA. and FerberJ., A formal approach to design and reuse agent and multiagent models, in: Proceedings of Agent-Oriented Software Engineering V, 5th International Workshop, AOSE, New York, USA (2004), 142\u2013157."},{"key":"bibr44-MGS-170277","doi-asserted-by":"publisher","DOI":"10.1007\/BF03325096"}],"container-title":["Multiagent and Grid Systems: An International Journal of Data Science and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/MGS-170277","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/MGS-170277","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/MGS-170277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:26:20Z","timestamp":1777613180000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/MGS-170277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["10.3233\/MGS-170277"],"URL":"https:\/\/doi.org\/10.3233\/mgs-170277","relation":{},"ISSN":["1574-1702","1875-9076"],"issn-type":[{"value":"1574-1702","type":"print"},{"value":"1875-9076","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]}}}