{"id":"https://openalex.org/W2736813245","doi":null,"title":"Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic","display_name":"Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic","publication_year":2017,"publication_date":"2017-05-09","ids":{"openalex":"https://openalex.org/W2736813245","mag":"2736813245"},"language":"en","primary_location":{"id":"pmh:oai:neshe.ijs.si:article/1271","doi":null,"is_oa":false,"landing_page_url":"https://www.informatica.si/index.php/index/article/view/1271","pdf_url":null,"source":{"id":"https://openalex.org/S4210173311","display_name":"Informatica","issn_l":"0350-5596","issn":["0350-5596","1854-3871"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","jufo-1","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310314525","host_organization_name":"Slovenian Society Informatika","host_organization_lineage":["https://openalex.org/P4310314525"],"host_organization_lineage_names":["Slovenian Society Informatika"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"0350-5596","raw_type":"info:eu-repo/semantics/article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5108265054","display_name":"Mihoub Mazouz","orcid":null,"observed_orcids":[]},"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":"Mihoub Mazouz","raw_affiliation_strings":["Department of Mathematics and Computer Sciences, RELA(CS)2 Laboratory, #R##N#University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Sciences, RELA(CS)2 Laboratory, #R##N#University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria","institution_ids":["https://openalex.org/I3132180716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078322071","display_name":"Farid Mokhati","orcid":"https://orcid.org/0000-0003-4311-342X","observed_orcids":["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":["Department of Mathematics and Computer Sciences, RELA(CS)2 Laboratory, #R##N#University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Sciences, RELA(CS)2 Laboratory, #R##N#University of Larbi Ben M\u2019hidi, Oum El Bouaghi, Algeria","institution_ids":["https://openalex.org/I3132180716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038363863","display_name":"Mourad Badri","orcid":"https://orcid.org/0000-0001-9034-9713","observed_orcids":["https://orcid.org/0000-0001-9034-9713"]},"institutions":[{"id":"https://openalex.org/I49663120","display_name":"Universit\u00e9 du Qu\u00e9bec","ror":"https://ror.org/010gxg263","country_code":"CA","type":"education","lineage":["https://openalex.org/I49663120"]},{"id":"https://openalex.org/I63341726","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Trois-Rivi\u00e8res","ror":"https://ror.org/02xrw9r68","country_code":"CA","type":"education","lineage":["https://openalex.org/I49663120","https://openalex.org/I63341726"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mourad Badri","raw_affiliation_strings":["Department of Mathematics and Computer Science, Glog Laboratory,#R##N#University of Quebec, Trois-Rivi\u00e8res, Canada"],"raw_orcid":"https://orcid.org/0000-0001-9034-9713","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Glog Laboratory,#R##N#University of Quebec, Trois-Rivi\u00e8res, Canada","institution_ids":["https://openalex.org/I49663120","https://openalex.org/I63341726"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":"2","first_page":null,"last_page":null},"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.9976000189781189,"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.9976000189781189,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0006000000284984708,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/multi-agent-systems","display_name":"multi-agent systems","score":0.9900000095367432},{"id":"https://openalex.org/keywords/rewriting-logic","display_name":"rewriting logic","score":0.7570000290870667},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.4339999854564667},{"id":"https://openalex.org/keywords/model-to-text-transformation","display_name":"model-to-text transformation","score":0.8109999895095825},{"id":"https://openalex.org/keywords/agent-based-applications","display_name":"agent-based applications","score":0.5830000042915344},{"id":"https://openalex.org/keywords/agent-oriented-software-engineering","display_name":"agent-oriented software engineering","score":0.4350000023841858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.860509991645813},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6134111285209656},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5728350281715393},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47628870606422424},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.47143808007240295},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46918368339538574},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.44478073716163635},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44096386432647705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41907554864883423},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.41897618770599365},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4154638648033142},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:neshe.ijs.si:article/1271","doi":null,"is_oa":false,"landing_page_url":"https://www.informatica.si/index.php/index/article/view/1271","pdf_url":null,"source":{"id":"https://openalex.org/S4210173311","display_name":"Informatica","issn_l":"0350-5596","issn":["0350-5596","1854-3871"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","jufo-1","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310314525","host_organization_name":"Slovenian Society Informatika","host_organization_lineage":["https://openalex.org/P4310314525"],"host_organization_lineage_names":["Slovenian Society Informatika"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"0350-5596","raw_type":"info:eu-repo/semantics/article"},{"id":"mag:2736813245","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/informaticaSI/informaticaSI41.html#MazouzMB17","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Informatica","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7095751476","https://openalex.org/W7098243520","https://openalex.org/W102967843","https://openalex.org/W2130848118","https://openalex.org/W7097426541","https://openalex.org/W2164017052","https://openalex.org/W2027206582","https://openalex.org/W2035156626","https://openalex.org/W2157840503","https://openalex.org/W1603060077"],"abstract_inverted_index":{"Agent":[0],"technology":[1],"has":[2],"showed":[3],"its":[4,105],"ability":[5],"and":[6,28,66,104,108,136,182],"efficiency":[7],"in":[8,40,62],"modeling":[9],"complex":[10],"distributedapplications.":[11],"During":[12],"the":[13,41,72,77,85,93,101,115,150,185],"last":[14],"two":[15],"decades,":[16],"several":[17,38],"MAS":[18,42,116],"development":[19,43,118],"methodologies":[20,32],"have":[21],"beenproposed":[22],"like,":[23],"for":[24],"instance,":[25],"Gaia,":[26],"Tropos,":[27],"PASSI.":[29],"Although":[30],"these":[31],"havemade":[33],"significant":[34],"contributions":[35],"to":[36,92,110,149,163],"meet":[37],"challenges":[39],"field,":[44],"mostof":[45],"them":[46],"do":[47],"not":[48],"use":[49],"formal":[50,90,153],"techniques.":[51],"Formal":[52],"methods,":[53],"as":[54],"it":[55],"is":[56,99,126,174],"well":[57],"known,":[58],"play":[59],"a":[60,88,112,120,160],"significantrole":[61],"developing":[63],"more":[64],"reliable":[65],"robust":[67],"MAS.":[68],"This":[69],"paper":[70],"presents":[71],"Formal-PASSImethodology,":[73],"an":[74],"extension":[75,82,106],"of":[76,84,87,114,139,166],"well-known":[78],"PASSI":[79,133,156],"methodology.":[80],"The":[81,96,123,171],"consistsmainly":[83],"integration":[86],"new":[89,97],"model":[91,98],"design":[94,157],"process.":[95],"basedon":[100],"Maude":[102],"language":[103],"Maude-Strategy,":[107],"aims":[109],"offer":[111],"formaldescription":[113],"under":[117],"by":[119],"Model-to-Text":[121],"transformation.":[122],"generatedformal":[124],"description":[125],"then":[127],"used":[128],"to:":[129],"(1)":[130],"validate":[131],"some":[132],"behavioral":[134],"diagrams,":[135],"(2)":[137],"checkproperties":[138],"both":[140],"single":[141],"&":[142],"multi":[143],"agent(s)":[144],"abstraction":[145],"level":[146],"before":[147],"passing":[148],"code":[151],"model.Integrating":[152],"methods":[154],"into":[155],"process":[158],"seems":[159],"good":[161],"way":[162],"assure":[164],"thedevelopment":[165],"high":[167],"quality":[168],"agent-based":[169],"applications.":[170],"proposed":[172],"approach":[173],"supported":[175],"bya":[176],"tool":[177],"(F-PTK)":[178],"that":[179],"we":[180],"developed":[181],"illustrated":[183],"throughout":[184],"ATM":[186],"case":[187],"study.":[188]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2017-07-31T00:00:00"}