{"id":"https://openalex.org/W2137682119","doi":"https://doi.org/10.1109/69.755628","title":"Knowledge-based software architectures: acquisition, specification, and verification","display_name":"Knowledge-based software architectures: acquisition, specification, and verification","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2137682119","doi":"https://doi.org/10.1109/69.755628","mag":"2137682119"},"language":"en","primary_location":{"id":"doi:10.1109/69.755628","is_oa":false,"landing_page_url":"https://doi.org/10.1109/69.755628","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data 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/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"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":"J.J.P. Tsai","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA","institution_ids":["https://openalex.org/I157725225","https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101726185","display_name":"Alan Liu","orcid":"https://orcid.org/0000-0002-8884-6662"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"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":"A. Liu","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA","institution_ids":["https://openalex.org/I157725225","https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038946470","display_name":"Eric Y. T. Juan","orcid":"https://orcid.org/0000-0003-2199-5986"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"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":"E. Juan","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA","institution_ids":["https://openalex.org/I157725225","https://openalex.org/I39422238"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111671145","display_name":"Avinash Sahay","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"]},{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Sahay","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Illinois, Urbana-Champaign, Chicago, IL, USA","institution_ids":["https://openalex.org/I157725225","https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018669587"],"corresponding_institution_ids":["https://openalex.org/I157725225","https://openalex.org/I39422238"],"apc_list":null,"apc_paid":null,"fwci":4.0781,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.93990672,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"1","first_page":"187","last_page":"201"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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.9997000098228455,"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/T10260","display_name":"Software Engineering Research","score":0.9983000159263611,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9871000051498413,"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.8355282545089722},{"id":"https://openalex.org/keywords/software-architecture-description","display_name":"Software architecture description","score":0.648398756980896},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6376456022262573},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.6336007118225098},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.5269597172737122},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4597613215446472},{"id":"https://openalex.org/keywords/resource-oriented-architecture","display_name":"Resource-oriented architecture","score":0.41925153136253357},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3527836203575134},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3202999532222748},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2648339867591858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8355282545089722},{"id":"https://openalex.org/C73219336","wikidata":"https://www.wikidata.org/wiki/Q7554254","display_name":"Software architecture description","level":5,"score":0.648398756980896},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6376456022262573},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.6336007118225098},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.5269597172737122},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4597613215446472},{"id":"https://openalex.org/C97382630","wikidata":"https://www.wikidata.org/wiki/Q13501132","display_name":"Resource-oriented architecture","level":5,"score":0.41925153136253357},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3527836203575134},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3202999532222748},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2648339867591858}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/69.755628","is_oa":false,"landing_page_url":"https://doi.org/10.1109/69.755628","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320332697","display_name":"University of Illinois at Chicago","ror":"https://ror.org/02mpq6x41"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":107,"referenced_works":["https://openalex.org/W48815722","https://openalex.org/W145532150","https://openalex.org/W194241876","https://openalex.org/W202705873","https://openalex.org/W1418534626","https://openalex.org/W1505831439","https://openalex.org/W1514670008","https://openalex.org/W1534926211","https://openalex.org/W1536674025","https://openalex.org/W1536783297","https://openalex.org/W1547793878","https://openalex.org/W1553574558","https://openalex.org/W1571913518","https://openalex.org/W1582665553","https://openalex.org/W1589276513","https://openalex.org/W1593904304","https://openalex.org/W1832869869","https://openalex.org/W1902449089","https://openalex.org/W1928649470","https://openalex.org/W1968552123","https://openalex.org/W1975322993","https://openalex.org/W1980914809","https://openalex.org/W1981808971","https://openalex.org/W1986332631","https://openalex.org/W1997076110","https://openalex.org/W2000302396","https://openalex.org/W2001243851","https://openalex.org/W2001594070","https://openalex.org/W2002503122","https://openalex.org/W2003009718","https://openalex.org/W2012138753","https://openalex.org/W2016300863","https://openalex.org/W2017739343","https://openalex.org/W2019950445","https://openalex.org/W2021473546","https://openalex.org/W2024321820","https://openalex.org/W2050990290","https://openalex.org/W2061438988","https://openalex.org/W2072493671","https://openalex.org/W2077318760","https://openalex.org/W2078105844","https://openalex.org/W2079814255","https://openalex.org/W2080267935","https://openalex.org/W2086302464","https://openalex.org/W2095603938","https://openalex.org/W2100580381","https://openalex.org/W2104955812","https://openalex.org/W2105324142","https://openalex.org/W2108971508","https://openalex.org/W2110553552","https://openalex.org/W2111164171","https://openalex.org/W2113535112","https://openalex.org/W2120613146","https://openalex.org/W2120978952","https://openalex.org/W2125708466","https://openalex.org/W2126475077","https://openalex.org/W2127811397","https://openalex.org/W2128249332","https://openalex.org/W2130493984","https://openalex.org/W2130773092","https://openalex.org/W2132637830","https://openalex.org/W2133875336","https://openalex.org/W2135670602","https://openalex.org/W2137177640","https://openalex.org/W2137865376","https://openalex.org/W2144431706","https://openalex.org/W2146082668","https://openalex.org/W2146191617","https://openalex.org/W2147923643","https://openalex.org/W2153933075","https://openalex.org/W2157931415","https://openalex.org/W2158163902","https://openalex.org/W2158942489","https://openalex.org/W2161645044","https://openalex.org/W2162118094","https://openalex.org/W2162366870","https://openalex.org/W2164566988","https://openalex.org/W2164989576","https://openalex.org/W2169082138","https://openalex.org/W2169343294","https://openalex.org/W2170271432","https://openalex.org/W2170980892","https://openalex.org/W2171038787","https://openalex.org/W2268265307","https://openalex.org/W2301605390","https://openalex.org/W2478268922","https://openalex.org/W2491671410","https://openalex.org/W2590267857","https://openalex.org/W2913141063","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4234822591","https://openalex.org/W4237735191","https://openalex.org/W4243757783","https://openalex.org/W4243806133","https://openalex.org/W4243907075","https://openalex.org/W4247238652","https://openalex.org/W4253970047","https://openalex.org/W4298316677","https://openalex.org/W6607883882","https://openalex.org/W6608265858","https://openalex.org/W6632301074","https://openalex.org/W6633290494","https://openalex.org/W6635308989","https://openalex.org/W6635686056","https://openalex.org/W6653272571","https://openalex.org/W6654576089"],"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/W2352245193","https://openalex.org/W2136317684","https://openalex.org/W1152672851","https://openalex.org/W2359311851","https://openalex.org/W2354797847"],"abstract_inverted_index":{"The":[0,123],"concept":[1],"of":[2,38,58,106,135,162],"knowledge-based":[3,87,153],"software":[4,24,30,97,112],"architecture":[5,42,47,52,98,100],"has":[6],"recently":[7],"emerged":[8],"as":[9],"a":[10,147,163],"new":[11,28],"way":[12],"to":[13,17,34,66,89],"improve":[14],"our":[15,142],"ability":[16],"effectively":[18],"construct":[19],"and":[20,49,51,78,104,132,155],"maintain":[21],"complex,":[22],"large-scale":[23],"systems.":[25,113],"Under":[26],"this":[27],"paradigm,":[29],"engineers":[31],"are":[32,73,137],"able":[33],"do":[35],"evolutionary":[36],"design":[37,44],"complex":[39],"systems":[40,154],"through":[41],"specification,":[43],"rationale":[45],"capture,":[46],"validation":[48,131],"verification,":[50,130],"transformation.":[53],"This":[54],"paper":[55],"surveys":[56],"some":[57,82],"the":[59,86,151,160],"important":[60],"techniques":[61],"that":[62,84,108,126],"have":[63],"been":[64],"developed":[65,128],"support":[67],"these":[68,91,121,157],"activities.":[69],"In":[70],"particular,":[71],"we":[72,145],"interested":[74],"in":[75,159],"knowledge/requirements":[76],"acquisition":[77],"analysis.":[79],"We":[80,93,114],"survey":[81,143],"tools":[83],"use":[85],"approach":[88],"solve":[90],"problems.":[92],"also":[94,138],"discuss":[95],"various":[96,117,152],"styles,":[99],"description":[101],"languages":[102],"(ADLs)":[103],"features":[105],"ADLs":[107,118],"help":[109],"build":[110],"better":[111],"then":[115],"compare":[116],"based":[119],"on":[120,141],"features.":[122],"efficient":[124],"methods":[125],"were":[127],"for":[129,149],"high":[133],"assurance":[134],"architectures":[136],"discussed.":[139],"Based":[140],"results,":[144],"give":[146],"basis":[148],"comparing":[150],"list":[156],"comparisons":[158],"form":[161],"table.":[164]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}