{"id":"https://openalex.org/W4403935723","doi":"https://doi.org/10.1145/3652620.3687819","title":"Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques","display_name":"Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques","publication_year":2024,"publication_date":"2024-09-22","ids":{"openalex":"https://openalex.org/W4403935723","doi":"https://doi.org/10.1145/3652620.3687819"},"language":"en","primary_location":{"id":"doi:10.1145/3652620.3687819","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3652620.3687819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5077651984","display_name":"Burak Karaduman","orcid":"https://orcid.org/0000-0002-7262-992X"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Burak Karaduman","raw_affiliation_strings":["Computer Science, University of Antwerp, Antwerp, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-7262-992X","affiliations":[{"raw_affiliation_string":"Computer Science, University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040721750","display_name":"Baris Tekin Tezel","orcid":"https://orcid.org/0000-0003-4873-7848"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]},{"id":"https://openalex.org/I193615760","display_name":"Dokuz Eyl\u00fcl University","ror":"https://ror.org/00dbd8b73","country_code":"TR","type":"education","lineage":["https://openalex.org/I193615760"]}],"countries":["BE","TR"],"is_corresponding":false,"raw_author_name":"Baris Tekin Tezel","raw_affiliation_strings":["Computer Science, Dokuz Eylul University, Izmir, Turkiye","Computer Science, University of Antwerp, Antwerp, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-4873-7848","affiliations":[{"raw_affiliation_string":"Computer Science, Dokuz Eylul University, Izmir, Turkiye","institution_ids":["https://openalex.org/I193615760"]},{"raw_affiliation_string":"Computer Science, University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006565100","display_name":"Moharram Challenger","orcid":"https://orcid.org/0000-0002-5436-6070"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Moharram Challenger","raw_affiliation_strings":["Computer Science, University of Antwerp, Antwerp, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-5436-6070","affiliations":[{"raw_affiliation_string":"Computer Science, University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.649,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69718889,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1076","last_page":"1085"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965999722480774,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965999722480774,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9926000237464905,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.7348928451538086},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7329981923103333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5844224095344543},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.342340886592865},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3403959274291992}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7348928451538086},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7329981923103333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5844224095344543},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.342340886592865},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3403959274291992}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3652620.3687819","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3652620.3687819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1994821665","https://openalex.org/W2608239929","https://openalex.org/W3088475148","https://openalex.org/W3097755824","https://openalex.org/W3204545227","https://openalex.org/W3209321689","https://openalex.org/W4200454264","https://openalex.org/W4249484115","https://openalex.org/W4254875674","https://openalex.org/W4285080300","https://openalex.org/W4285595061","https://openalex.org/W4294659326","https://openalex.org/W4379203681","https://openalex.org/W6859030519"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990"],"abstract_inverted_index":{"This":[0,130,143],"paper":[1],"introduces":[2],"a":[3,61,140,156,179],"method":[4],"for":[5,28,63],"the":[6,70,88,91,101,122,133,146,163,169],"static":[7],"analysis":[8],"of":[9,72,90,94,171],"belief-desire-intention":[10],"(BDI)":[11],"agents":[12,52,74,96,176],"integrated":[13],"with":[14,174],"cyber-physical":[15],"systems":[16],"(CPS)":[17],"using":[18],"Petri":[19,111],"nets":[20,112],"(PN)":[21],"and":[22,34,43,152],"Model-driven":[23],"Engineering":[24],"(MDE)":[25],"techniques,":[26],"especially":[27],"their":[29],"communication.":[30],"CPS":[31],"integrates":[32],"computational":[33],"physical":[35],"elements":[36],"that":[37],"need":[38],"verification":[39],"to":[40,100,116,148,161],"ensure":[41],"correct":[42],"safe":[44],"operations":[45],"before":[46,79],"deploying":[47],"BDI":[48,51,73,95,102,135],"agents.":[49],"The":[50,166],"provide":[53],"intelligent":[54],"behaviour":[55],"in":[56],"CPS,":[57],"while":[58],"PN":[59],"provides":[60],"framework":[62],"analyzing":[64],"these":[65],"behaviours.":[66],"By":[67],"simulating":[68],"PN,":[69],"operation":[71],"can":[75],"be":[76],"analysed":[77],"statically":[78],"deployment":[80],"on":[81],"CPS.":[82],"In":[83],"this":[84,172],"regard,":[85],"MDE":[86],"enables":[87],"transformation":[89],"semantic":[92],"space":[93],"into":[97,139],"PN.":[98],"Due":[99],"model's":[103],"high-level":[104,106],"abstraction,":[105],"expressiveness,":[107],"such":[108],"as":[109],"Colored":[110],"(CPN),":[113],"is":[114,159],"required":[115],"detect":[117],"undesired":[118],"execution":[119],"paths":[120],"within":[121],"agent":[123,127],"or":[124],"from":[125],"another":[126],"via":[128,178],"messaging.":[129],"process":[131],"applies":[132],"Jason":[134],"AgentSpeak":[136],"codes":[137],"translation":[138],"CPN":[141],"model.":[142],"mapping":[144],"paves":[145],"way":[147],"verify":[149],"reachability,":[150],"boundedness,":[151],"deadlock":[153],"properties.":[154],"Additionally,":[155],"case":[157],"study":[158],"presented":[160],"illustrate":[162],"method's":[164],"applicability.":[165],"results":[167],"demonstrate":[168],"feasibility":[170],"approach":[173],"multiple":[175],"communicating":[177],"specific":[180],"messaging":[181],"structure.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}