{"id":"https://openalex.org/W1482244719","doi":"https://doi.org/10.1023/a:1018954709174","title":"An empirical evaluation of deadlock detection in software architecture specifications","display_name":"An empirical evaluation of deadlock detection in software architecture specifications","publication_year":1999,"publication_date":"1999-10-01","ids":{"openalex":"https://openalex.org/W1482244719","doi":"https://doi.org/10.1023/a:1018954709174","mag":"1482244719"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018954709174","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018954709174","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","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/A5018669587","display_name":"Jeffrey J. P. Tsai","orcid":"https://orcid.org/0000-0003-0473-5170"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jeffrey J.P. Tsai","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607, USA","Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL 60607, USA E-mail: tsai@eecs.uic.edu"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL 60607, USA E-mail: tsai@eecs.uic.edu","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023500576","display_name":"Kuang Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kuang Xu","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607, USA","Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL 60607, USA E-mail: tsai@eecs.uic.edu"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL, 60607, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois at Chicago, 851 South Morgan, Chicago, IL 60607, USA E-mail: tsai@eecs.uic.edu","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018669587"],"corresponding_institution_ids":["https://openalex.org/I39422238"],"apc_list":null,"apc_paid":null,"fwci":0.8096,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.78015605,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"7","issue":"1-4","first_page":"95","last_page":"126"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.7507830262184143},{"id":"https://openalex.org/keywords/software-architecture-description","display_name":"Software architecture description","score":0.6068220734596252},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5981817841529846},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.5236977338790894},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.5137311220169067},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.5025756359100342},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4517036974430084},{"id":"https://openalex.org/keywords/resource-oriented-architecture","display_name":"Resource-oriented architecture","score":0.45100557804107666},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3991243839263916},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2811416983604431}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7507830262184143},{"id":"https://openalex.org/C73219336","wikidata":"https://www.wikidata.org/wiki/Q7554254","display_name":"Software architecture description","level":5,"score":0.6068220734596252},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5981817841529846},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.5236977338790894},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.5137311220169067},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.5025756359100342},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4517036974430084},{"id":"https://openalex.org/C97382630","wikidata":"https://www.wikidata.org/wiki/Q13501132","display_name":"Resource-oriented architecture","level":5,"score":0.45100557804107666},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3991243839263916},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2811416983604431}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1018954709174","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018954709174","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W620368975","https://openalex.org/W1503170978","https://openalex.org/W1505831439","https://openalex.org/W1507985299","https://openalex.org/W1536674025","https://openalex.org/W1601873205","https://openalex.org/W1854421896","https://openalex.org/W1983723499","https://openalex.org/W1986332631","https://openalex.org/W1986926875","https://openalex.org/W1996109622","https://openalex.org/W1996158062","https://openalex.org/W2001243851","https://openalex.org/W2107978495","https://openalex.org/W2110553552","https://openalex.org/W2111164171","https://openalex.org/W2131227007","https://openalex.org/W2132637830","https://openalex.org/W2137865376","https://openalex.org/W2146082668","https://openalex.org/W2153933075","https://openalex.org/W2162366870","https://openalex.org/W3144368627"],"related_works":["https://openalex.org/W2053107757","https://openalex.org/W2157374570","https://openalex.org/W2017266164","https://openalex.org/W1552148294","https://openalex.org/W2163512324","https://openalex.org/W2136317684","https://openalex.org/W2352245193","https://openalex.org/W1152672851","https://openalex.org/W2359311851","https://openalex.org/W2354797847"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}