{"id":"https://openalex.org/W2773374101","doi":"https://doi.org/10.3233/mgs-170277","title":"A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach","display_name":"A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W2773374101","doi":"https://doi.org/10.3233/mgs-170277","mag":"2773374101"},"language":"en","primary_location":{"id":"doi:10.3233/mgs-170277","is_oa":false,"landing_page_url":"https://doi.org/10.3233/mgs-170277","pdf_url":null,"source":{"id":"https://openalex.org/S203537807","display_name":"Multiagent and Grid Systems","issn_l":"1574-1702","issn":["1574-1702","1875-9076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Multiagent and Grid Systems: An International Journal of Data Science and Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086565162","display_name":"Mohamed Amin Laouadi","orcid":"https://orcid.org/0000-0002-6215-2769"},"institutions":[{"id":"https://openalex.org/I108754898","display_name":"Badji Mokhtar-Annaba University","ror":"https://ror.org/03sf55932","country_code":"DZ","type":"education","lineage":["https://openalex.org/I108754898"]},{"id":"https://openalex.org/I40193446","display_name":"University Ferhat Abbas of Setif","ror":"https://ror.org/02rzqza52","country_code":"DZ","type":"education","lineage":["https://openalex.org/I40193446"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Mohamed Amin Laouadi","raw_affiliation_strings":["Computer Science Department, University of Badji Mokhtar, Annaba, Algeria","Computer Science Department, University of Ferhat Abbas Setif 1, Setif, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Badji Mokhtar, Annaba, Algeria","institution_ids":["https://openalex.org/I108754898"]},{"raw_affiliation_string":"Computer Science Department, University of Ferhat Abbas Setif 1, Setif, Algeria","institution_ids":["https://openalex.org/I40193446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078322071","display_name":"Farid Mokhati","orcid":"https://orcid.org/0000-0003-4311-342X"},"institutions":[{"id":"https://openalex.org/I3132180716","display_name":"Larbi Ben M'hidi University of Oum El Bouaghi","ror":"https://ror.org/0034tbg85","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3132180716"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Farid Mokhati","raw_affiliation_strings":["Computer Science Department, University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria","institution_ids":["https://openalex.org/I3132180716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110387783","display_name":"Hassina Seridi-Bouchelaghem","orcid":null},"institutions":[{"id":"https://openalex.org/I108754898","display_name":"Badji Mokhtar-Annaba University","ror":"https://ror.org/03sf55932","country_code":"DZ","type":"education","lineage":["https://openalex.org/I108754898"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Hassina Seridi-Bouchelaghem","raw_affiliation_strings":["Computer Science Department, University of Badji Mokhtar, Annaba, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Badji Mokhtar, Annaba, Algeria","institution_ids":["https://openalex.org/I108754898"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5086565162"],"corresponding_institution_ids":["https://openalex.org/I108754898","https://openalex.org/I40193446"],"apc_list":null,"apc_paid":null,"fwci":0.8324,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81484091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"13","issue":"4","first_page":"395","last_page":"419"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.9005001783370972},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8310976624488831},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4432123005390167},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43396320939064026}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9005001783370972},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8310976624488831},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4432123005390167},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43396320939064026}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/mgs-170277","is_oa":false,"landing_page_url":"https://doi.org/10.3233/mgs-170277","pdf_url":null,"source":{"id":"https://openalex.org/S203537807","display_name":"Multiagent and Grid Systems","issn_l":"1574-1702","issn":["1574-1702","1875-9076"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Multiagent and Grid Systems: An International Journal of Data Science and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W60473342","https://openalex.org/W113883607","https://openalex.org/W133813900","https://openalex.org/W133846551","https://openalex.org/W172720510","https://openalex.org/W1492713212","https://openalex.org/W1518515553","https://openalex.org/W1555597184","https://openalex.org/W1575830530","https://openalex.org/W1582877913","https://openalex.org/W1606745884","https://openalex.org/W1722184676","https://openalex.org/W1898986177","https://openalex.org/W1938265774","https://openalex.org/W1976195354","https://openalex.org/W1987326707","https://openalex.org/W1991598919","https://openalex.org/W1992353213","https://openalex.org/W1993707617","https://openalex.org/W2006340882","https://openalex.org/W2006766139","https://openalex.org/W2011886298","https://openalex.org/W2025154593","https://openalex.org/W2034496592","https://openalex.org/W2098519670","https://openalex.org/W2098812780","https://openalex.org/W2111877087","https://openalex.org/W2113049446","https://openalex.org/W2140094053","https://openalex.org/W2143842650","https://openalex.org/W2155110966","https://openalex.org/W2296025625","https://openalex.org/W2476891942","https://openalex.org/W2481306626","https://openalex.org/W2483650436","https://openalex.org/W2492414288","https://openalex.org/W2619815408","https://openalex.org/W2991942790","https://openalex.org/W4256025550"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2120204135","https://openalex.org/W2139396251","https://openalex.org/W1796293478","https://openalex.org/W1577544887","https://openalex.org/W2168276503","https://openalex.org/W1573537275","https://openalex.org/W2105713543"],"abstract_inverted_index":{"Formal":[0],"semantics":[1],"provide":[2,39],"precise":[3],"specifications":[4,78],"of":[5,9,76,124,142],"the":[6,74,77,83,122,139,143,151],"expected":[7],"behavior":[8],"organizational":[10,59],"model":[11],"based":[12],"on":[13],"multi-agent":[14,46],"system,":[15],"allowing":[16],"users":[17],"to":[18,24,29,38,57,82,86,96,115,138],"understand":[19],"them":[20,27],"and":[21,28],"also":[22],"modelers":[23],"reason":[25,87],"about":[26,88],"prove":[30],"their":[31],"correctness.":[32],"A":[33],"first":[34],"step":[35],"was":[36,94],"described":[37],"a":[40],"formal":[41,140],"specification":[42],"framework":[43,103],"among":[44],"organization-centered":[45],"system":[47],"by":[48],"using":[49,150],"an":[50],"existing":[51],"rewriting":[52],"logic":[53],"language":[54],"called":[55],"Maude":[56,84,93],"translate":[58],"models,":[60],"which":[61],"allows":[62],"addressing":[63],"these":[64],"issues.":[65],"Such":[66],"formalization":[67],"provides":[68],"additional":[69,135],"benefits,":[70],"such":[71],"as":[72,109],"enabling":[73],"simulation":[75],"or":[79,111],"giving":[80],"access":[81],"toolkit":[85],"them.":[89],"In":[90],"this":[91],"paper,":[92],"used":[95,108],"formally":[97],"describe":[98,116],"Agent-Group-Role-based-organization":[99],"specifications.":[100],"The":[101],"proposed":[102],"could,":[104],"in":[105],"fact,":[106],"be":[107],"is":[110,148],"with":[112,134],"some":[113],"extensions":[114,136],"other":[117],"agent":[118],"organization":[119],"models.":[120],"Actually,":[121],"results":[123],"precedent":[125],"works":[126],"[":[127],"31":[128],",":[129],"32":[130],"]":[131],"were":[132],"synthesized":[133],"related":[137],"description":[141],"Agent-Group-Role":[144],"model.":[145],"This":[146],"approach":[147],"illustrated":[149],"supply":[152],"chain":[153],"management":[154],"(SCM)":[155],"case":[156],"study.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}