{"id":"https://openalex.org/W2120521925","doi":"https://doi.org/10.1145/235321.235323","title":"Context constraints for compositional reachability analysis","display_name":"Context constraints for compositional reachability analysis","publication_year":1996,"publication_date":"1996-10-01","ids":{"openalex":"https://openalex.org/W2120521925","doi":"https://doi.org/10.1145/235321.235323","mag":"2120521925"},"language":"en","primary_location":{"id":"doi:10.1145/235321.235323","is_oa":true,"landing_page_url":"https://doi.org/10.1145/235321.235323","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/235321.235323","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/235321.235323","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Shing Chi Cheung","raw_affiliation_strings":["Hong Kong Univ. of Science and Technology, Kowloon, Hong Kong","Hong Kong University of Science & Technology, Kowloon, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Hong Kong Univ. of Science and Technology, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"Hong Kong University of Science & Technology, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101715775","display_name":"Jeff Kramer","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jeff Kramer","raw_affiliation_strings":["Imperial College of Science, London, UK","Imperial College of Science, London, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Imperial College of Science, London, UK","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Imperial College of Science, London, UK#TAB#","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5034057959"],"corresponding_institution_ids":["https://openalex.org/I200769079","https://openalex.org/I889458895"],"apc_list":null,"apc_paid":null,"fwci":10.4925,"has_fulltext":true,"cited_by_count":112,"citation_normalized_percentile":{"value":0.98459858,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"5","issue":"4","first_page":"334","last_page":"377"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9984999895095825,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9984999895095825,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9966999888420105,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/reachability","display_name":"Reachability","score":0.9433590769767761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8528190851211548},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.6696452498435974},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5899646282196045},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5414855480194092},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.5280203223228455},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48448416590690613},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4829270541667938},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4697561264038086},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.4562382400035858},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.44338881969451904},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27180516719818115},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10219502449035645}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9433590769767761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8528190851211548},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.6696452498435974},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5899646282196045},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5414855480194092},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.5280203223228455},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48448416590690613},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4829270541667938},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4697561264038086},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.4562382400035858},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.44338881969451904},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27180516719818115},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10219502449035645},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/235321.235323","is_oa":true,"landing_page_url":"https://doi.org/10.1145/235321.235323","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/235321.235323","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-46780","is_oa":false,"landing_page_url":"http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=1049-331X&rft.volume=5&rft.issue=4&rft.date=1996&rft.spage=334&rft.aulast=Cheung&rft.aufirst=S.C.&rft.atitle=Context+Constraints+for+Compositional+Reachability+Analysis&rft.title=ACM+Transactions+on+Software+Engineering+and+Methodology","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/235321.235323","is_oa":true,"landing_page_url":"https://doi.org/10.1145/235321.235323","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/235321.235323","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320323537","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2120521925.pdf","grobid_xml":"https://content.openalex.org/works/W2120521925.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W421997344","https://openalex.org/W1491398722","https://openalex.org/W1498760855","https://openalex.org/W1503973138","https://openalex.org/W1511242199","https://openalex.org/W1521666834","https://openalex.org/W1542211936","https://openalex.org/W1561620381","https://openalex.org/W1574579761","https://openalex.org/W1589276513","https://openalex.org/W1592916007","https://openalex.org/W1965586656","https://openalex.org/W1984909114","https://openalex.org/W1995284925","https://openalex.org/W1995736448","https://openalex.org/W1996158062","https://openalex.org/W2002089154","https://openalex.org/W2003530032","https://openalex.org/W2034284351","https://openalex.org/W2054554282","https://openalex.org/W2064650227","https://openalex.org/W2078853139","https://openalex.org/W2100580381","https://openalex.org/W2102097307","https://openalex.org/W2103795018","https://openalex.org/W2107953585","https://openalex.org/W2117189826","https://openalex.org/W2121391877","https://openalex.org/W2136920408","https://openalex.org/W2137467159","https://openalex.org/W2154969365","https://openalex.org/W2157144873","https://openalex.org/W2158942489","https://openalex.org/W2164989576","https://openalex.org/W2167638509","https://openalex.org/W2168748468","https://openalex.org/W2176300081","https://openalex.org/W2561675875","https://openalex.org/W2971171795","https://openalex.org/W3144368627","https://openalex.org/W3144771442","https://openalex.org/W6629803777","https://openalex.org/W6632111275","https://openalex.org/W6676995014","https://openalex.org/W6680060647","https://openalex.org/W6680585622","https://openalex.org/W6684313409"],"related_works":["https://openalex.org/W2047831585","https://openalex.org/W4253760428","https://openalex.org/W2099490078","https://openalex.org/W3208672221","https://openalex.org/W3017277461","https://openalex.org/W3172202899","https://openalex.org/W4287199681","https://openalex.org/W4241289374","https://openalex.org/W1548979236","https://openalex.org/W4224983736"],"abstract_inverted_index":{"Behavior":[0],"analysis":[1,14,97],"of":[2,148,159,199,227],"complex":[3,117],"distributed":[4],"systems":[5],"has":[6,28,78,105],"led":[7],"to":[8,126,136,146,165,187,191],"the":[9,22,71,81,103,138,176,182,197,228],"search":[10],"for":[11,162],"enhanced":[12],"reachability":[13,96,171,178],"techniques":[15],"which":[16,20,217],"support":[17],"modularity":[18,27],"and":[19,53,120,248],"control":[21],"state":[23,31,82],"explosion":[24,32,83],"problem.":[25,36],"While":[26],"been":[29,107],"achieved,":[30],"in":[33,94,109],"still":[34],"a":[35,45,115,124,134,142,157,174,245],"Indeed,":[37],"this":[38],"problem":[39,84],"may":[40,49],"even":[41],"be":[42,86,166,188,205,221,234],"exacerbated,":[43],"as":[44,64],"locally":[46],"minimized":[47],"subsystem":[48,74],"contain":[50,123],"many":[51],"states":[52],"transitions":[54],"forbidden":[55],"by":[56,70,194,208],"its":[57],"environment":[58,72],"or":[59],"context.":[60],"Context":[61,150],"constraints,":[62],"specified":[63,206],"interface":[65],"processes,":[66],"are":[67,92,152],"restrictions":[68],"imposed":[69],"on":[73,156,211],"behavior.":[75],"Recent":[76],"research":[77],"suggested":[79],"that":[80,147,192],"can":[85,203,220,233],"effectively":[87],"controlled":[88],"if":[89],"context":[90,128,200],"constraints":[91,129,151,164,184,216,232],"incorporated":[93],"compositional":[95],"(CRA).":[98],"Although":[99],"theoretically":[100],"very":[101],"promising,":[102],"approach":[104,139],"rarely":[106],"used":[108],"practice":[110],"because":[111],"it":[112],"generally":[113],"requires":[114],"more":[116],"computational":[118,144],"model":[119,145],"does":[121],"not":[122],"mechanism":[125],"derive":[127],"automatically.":[130,239],"This":[131],"article":[132],"presents":[133],"technique":[135,241],"automate":[137],"while":[140],"using":[141,181,244],"similar":[143],"CRA.":[149],"derived":[153,183],"automatically,":[154],"based":[155,210],"set":[158],"sufficient":[160],"conditions":[161],"these":[163],"transparently":[167],"included":[168],"when":[169],"building":[170],"graphs.":[172],"As":[173],"result,":[175],"global":[177],"graph":[179],"generated":[180,193,238],"is":[185,242],"shown":[186],"observationally":[189],"equivalent":[190],"CRA":[195],"without":[196],"inclusion":[198],"constraints.":[201],"Constraints":[202],"also":[204],"explicitly":[207],"users,":[209],"their":[212],"application":[213],"knowledge.":[214],"Erroneous":[215],"contravene":[218],"transparency":[219],"identified":[222],"together":[223],"with":[224,236],"an":[225],"indication":[226],"error":[229],"sources.":[230],"User-specified":[231],"combined":[235],"those":[237],"The":[240],"illustrated":[243],"clients/server":[246],"system":[247],"other":[249],"examples.":[250]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}