{"id":"https://openalex.org/W2052401040","doi":"https://doi.org/10.1145/2685613","title":"Conditional Commitments","display_name":"Conditional Commitments","publication_year":2014,"publication_date":"2014-12-23","ids":{"openalex":"https://openalex.org/W2052401040","doi":"https://doi.org/10.1145/2685613","mag":"2052401040"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2685613","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5019879501","display_name":"Warda El Kholy","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Warda El Kholy","raw_affiliation_strings":["Concordia University, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"Concordia University, Quebec, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020978568","display_name":"Jamal Bentahar","orcid":"https://orcid.org/0000-0002-3136-4849"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jamal Bentahar","raw_affiliation_strings":["Concordia University, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"Concordia University, Quebec, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026885872","display_name":"Mohamed El Menshawy","orcid":null},"institutions":[{"id":"https://openalex.org/I63601056","display_name":"Menoufia University","ror":"https://ror.org/05sjrb944","country_code":"EG","type":"education","lineage":["https://openalex.org/I63601056"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mohamed EL Menshawy","raw_affiliation_strings":["Concordia University and Menofia University, Menufia, Egypt"],"affiliations":[{"raw_affiliation_string":"Concordia University and Menofia University, Menufia, Egypt","institution_ids":["https://openalex.org/I63601056"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059964100","display_name":"Hongyang Qu","orcid":"https://orcid.org/0000-0002-1643-8926"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Hongyang Qu","raw_affiliation_strings":["University of Sheffield, Sheffield, South Yokshire, UK"],"affiliations":[{"raw_affiliation_string":"University of Sheffield, Sheffield, South Yokshire, UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057013558","display_name":"Rachida Dssouli","orcid":"https://orcid.org/0000-0002-7859-9098"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Rachida Dssouli","raw_affiliation_strings":["Concordia University, Quebec, Canada"],"affiliations":[{"raw_affiliation_string":"Concordia University, Quebec, Canada","institution_ids":["https://openalex.org/I60158472"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.313,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.880546,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":"24","issue":"2","first_page":"1","last_page":"49"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9996,"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.9996,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991,"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/computation-tree-logic","display_name":"Computation tree logic","score":0.61683846}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.85579014},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6660468},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.61683846},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6044657},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.504109},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35136846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3223706},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/2685613","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Good health and well-being","score":0.42,"id":"https://metadata.un.org/sdg/3"}],"grants":[{"funder":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada","award_id":null},{"funder":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":59,"referenced_works":["https://openalex.org/W13140863","https://openalex.org/W1481274198","https://openalex.org/W1503983812","https://openalex.org/W1504502054","https://openalex.org/W1510940010","https://openalex.org/W1519913613","https://openalex.org/W1587990038","https://openalex.org/W1591644483","https://openalex.org/W1604557602","https://openalex.org/W1884747325","https://openalex.org/W1884846485","https://openalex.org/W189948524","https://openalex.org/W1926412524","https://openalex.org/W1971102445","https://openalex.org/W1975689715","https://openalex.org/W1980171857","https://openalex.org/W198688256","https://openalex.org/W1988808695","https://openalex.org/W1993202410","https://openalex.org/W1997518979","https://openalex.org/W2004537989","https://openalex.org/W2019200853","https://openalex.org/W2019497043","https://openalex.org/W2042164691","https://openalex.org/W2055419109","https://openalex.org/W2058172711","https://openalex.org/W2065001763","https://openalex.org/W2074579867","https://openalex.org/W2085299005","https://openalex.org/W2092139396","https://openalex.org/W2092365220","https://openalex.org/W2099427626","https://openalex.org/W2114981390","https://openalex.org/W2115279934","https://openalex.org/W2116366046","https://openalex.org/W2118599650","https://openalex.org/W2120450154","https://openalex.org/W2129899354","https://openalex.org/W2136393500","https://openalex.org/W2138950394","https://openalex.org/W2139056146","https://openalex.org/W2144863759","https://openalex.org/W2146138641","https://openalex.org/W2146819619","https://openalex.org/W2153106571","https://openalex.org/W2159351281","https://openalex.org/W2184413985","https://openalex.org/W2261777106","https://openalex.org/W2275758943","https://openalex.org/W2340985688","https://openalex.org/W2346933546","https://openalex.org/W2528816995","https://openalex.org/W2561675875","https://openalex.org/W2619103847","https://openalex.org/W2913459036","https://openalex.org/W2952391895","https://openalex.org/W3149517233","https://openalex.org/W4285719527","https://openalex.org/W570508837"],"related_works":["https://openalex.org/W4289687320","https://openalex.org/W4247671148","https://openalex.org/W4240265263","https://openalex.org/W2963209892","https://openalex.org/W2073812501","https://openalex.org/W2040233837","https://openalex.org/W1997518979","https://openalex.org/W1987761485","https://openalex.org/W1551070491","https://openalex.org/W146107827"],"abstract_inverted_index":{"While":[0],"modeling":[1],"interactions":[2,15],"using":[3,149],"social":[4,79],"commitments":[5,40,145,165],"provides":[6],"a":[7,73,157,176],"fundamental":[8],"basis":[9],"for":[10],"capturing":[11],"flexible":[12],"and":[13,16,64,75,96,137,146,166,192,214,229,236],"declarative":[14],"helps":[17],"in":[18,246],"addressing":[19],"the":[20,27,30,102,120,150,189,194,198,204,211,218,221,226,230,240,253],"challenge":[21],"of":[22,29,78,93,104,142,152,159,197,203,220,232],"ensuring":[23],"compliance":[24,219],"with":[25,38,131,243,256],"specifications,":[26],"designers":[28],"system":[31],"cannot":[32],"guarantee":[33],"that":[34,125],"an":[35,49,111],"agent":[36,50],"complies":[37],"its":[39,55],"as":[41],"it":[42],"is":[43,81,109,172],"supposed":[44],"to,":[45],"or":[46],"at":[47,83],"least":[48],"doesn't":[51],"want":[52],"to":[53,61,100,161,182],"violate":[54],"commitments.":[56],"They":[57],"may":[58],"still":[59,110],"wish":[60],"develop":[62,119],"efficient":[63],"scalable":[65],"algorithms":[66,99],"by":[67,216],"which":[68,134],"model":[69,105,179,206],"checking":[70,106,180],"conditional":[71,94,107,144,164],"commitments,":[72,80,95,108],"natural":[74],"universal":[76],"frame":[77],"feasible":[82],"design":[84],"time.":[85],"However,":[86],"distinguishing":[87],"between":[88],"different":[89],"but":[90],"related":[91],"types":[92,141],"developing":[97,175],"dedicated":[98],"tackle":[101],"problem":[103],"active":[112],"research":[113],"topic.":[114],"In":[115],"this":[116,184],"article,":[117],"we":[118],"temporal":[121],"logic":[122],"CTL":[123,247],"cc":[124,248],"extends":[126],"Computation":[127],"Tree":[128],"Logic":[129],"(CTL)":[130],"new":[132,177],"modalities":[133],"allow":[135],"representing":[136],"reasoning":[138],"about":[139,163],"two":[140],"communicating":[143],"their":[147,167],"fulfillments":[148],"formalism":[151],"interpreted":[153],"systems.":[154],"We":[155,187,208,250],"introduce":[156],"set":[158],"rules":[160],"reason":[162],"fulfillments.":[168],"The":[169],"verification":[170,185],"technique":[171],"based":[173],"on":[174,201],"symbolic":[178],"algorithm":[181,200],"address":[183],"problem.":[186],"analyze":[188],"computational":[190],"complexity":[191],"present":[193],"full":[195],"implementation":[196],"developed":[199],"top":[202],"MCMAS":[205],"checker.":[207],"also":[209],"evaluate":[210],"algorithm's":[212],"effectiveness":[213],"scalability":[215],"verifying":[217],"NetBill":[222],"protocol,":[223],"taken":[224,238],"from":[225,239],"business":[227],"domain,":[228,242],"process":[231],"breast":[233],"cancer":[234],"diagnosis":[235],"treatment,":[237],"health-care":[241],"specifications":[244],"expressed":[245],".":[249],"finally":[251],"compare":[252],"experimental":[254],"results":[255],"existing":[257],"proposals.":[258]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2052401040","counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":6}],"updated_date":"2024-12-08T02:21:53.584672","created_date":"2016-06-24"}
