{"id":"https://openalex.org/W4402389497","doi":"https://doi.org/10.1109/tcad.2024.3447213","title":"Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements","display_name":"Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4402389497","doi":"https://doi.org/10.1109/tcad.2024.3447213"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3447213","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3447213","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Computer-Aided Design of Integrated Circuits and Systems","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/A5107100081","display_name":"Nikhil Vijay Naik","orcid":"https://orcid.org/0000-0001-6871-2010"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nikhil Vijay Naik","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","Department of Electrical and Computer Engineering, University of Southern California (USC), Los Angeles, US"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Southern California (USC), Los Angeles, US","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006764452","display_name":"Alessandro Pinto","orcid":"https://orcid.org/0000-0001-8308-311X"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]},{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alessandro Pinto","raw_affiliation_strings":["NASA Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA","Nasa Jpl, California Institute of Technology, US"],"affiliations":[{"raw_affiliation_string":"NASA Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA","institution_ids":["https://openalex.org/I1334627681"]},{"raw_affiliation_string":"Nasa Jpl, California Institute of Technology, US","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067636168","display_name":"Pierluigi Nuzzo","orcid":"https://orcid.org/0000-0003-2984-0364"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pierluigi Nuzzo","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","Department of Electrical Engineering and Computer Sciences, University of California, Berkeley"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]},{"raw_affiliation_string":"Department of Electrical Engineering and Computer Sciences, University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5107100081"],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":null,"apc_paid":null,"fwci":1.0248,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82517101,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"43","issue":"11","first_page":"4298","last_page":"4309"},"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.9961000084877014,"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.9961000084877014,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.977400004863739,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9735000133514404,"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/traceability","display_name":"Traceability","score":0.8483079671859741},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"Requirements traceability","score":0.5247490406036377},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4540154039859772},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.2789901793003082},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.26049673557281494},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0953148603439331}],"concepts":[{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.8483079671859741},{"id":"https://openalex.org/C35084680","wikidata":"https://www.wikidata.org/wiki/Q848201","display_name":"Requirements traceability","level":5,"score":0.5247490406036377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4540154039859772},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.2789901793003082},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.26049673557281494},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0953148603439331},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2024.3447213","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3447213","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1509378887","display_name":null,"funder_award_id":"1846524","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3648211085","display_name":null,"funder_award_id":"80NM0018D0004","funder_id":"https://openalex.org/F4320306101","funder_display_name":"National Aeronautics and Space Administration"},{"id":"https://openalex.org/G4403377342","display_name":null,"funder_award_id":"2139982","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W87906459","https://openalex.org/W1480909796","https://openalex.org/W1489391022","https://openalex.org/W1514091014","https://openalex.org/W1533557569","https://openalex.org/W1574193488","https://openalex.org/W1700264732","https://openalex.org/W1933146504","https://openalex.org/W1965387958","https://openalex.org/W1970488655","https://openalex.org/W1971486022","https://openalex.org/W1991698050","https://openalex.org/W2029288475","https://openalex.org/W2043100293","https://openalex.org/W2046795207","https://openalex.org/W2119355229","https://openalex.org/W2125047630","https://openalex.org/W2150408604","https://openalex.org/W2153368009","https://openalex.org/W2164198178","https://openalex.org/W2798708919","https://openalex.org/W2884790503","https://openalex.org/W2951603756","https://openalex.org/W3168924710","https://openalex.org/W3177386710","https://openalex.org/W4205178436","https://openalex.org/W4233343645","https://openalex.org/W4243653802","https://openalex.org/W4245807314","https://openalex.org/W4285249255","https://openalex.org/W4293177338","https://openalex.org/W6636258220","https://openalex.org/W6737809948","https://openalex.org/W6739655437","https://openalex.org/W6910668538"],"related_works":["https://openalex.org/W4312646443","https://openalex.org/W2129559874","https://openalex.org/W1203831901","https://openalex.org/W1604969957","https://openalex.org/W4312234739","https://openalex.org/W2537685693","https://openalex.org/W2354227496","https://openalex.org/W4252654202","https://openalex.org/W1589012229","https://openalex.org/W2248828247"],"abstract_inverted_index":{"The":[0],"design":[1],"of":[2,29,34,40,84,103,124,140,149,158],"complex":[3],"mission-critical":[4],"systems":[5],"often":[6],"follows":[7],"a":[8,44,77,82,172,177],"layered":[9],"approach,":[10],"which":[11,162],"may":[12],"lead":[13],"to":[14,25,117,143,161],"complicated,":[15],"multilevel,":[16],"multiviewpoint":[17],"requirement":[18,92,97],"hierarchies.":[19,93],"This":[20],"heterogeneity":[21],"makes":[22],"it":[23],"challenging":[24],"guarantee":[26],"the":[27,30,38,41,96,127,138,159,163],"traceability":[28,98],"requirements":[31,42,49],"across":[32,122,147],"levels":[33,53,123,148],"abstraction":[35,52,125,150],"and,":[36],"consequently,":[37],"satisfaction":[39],"by":[43,70,176],"system":[45],"implementation,":[46],"especially":[47],"when":[48],"at":[50],"different":[51,57],"are":[54,130,165],"expressed":[55,131],"using":[56,132],"mathematical":[58],"formalisms":[59],"and":[60,89],"modeling":[61],"languages.":[62],"In":[63],"this":[64,68],"article,":[65],"we":[66],"address":[67],"challenge":[69],"introducing":[71],"heterogeneous":[72,91,133],"hierarchical":[73],"contract":[74,104,115],"networks":[75],"(HHCNs),":[76],"formal":[78],"model":[79],"based":[80],"on":[81,171],"graph":[83],"assume-guarantee":[85],"contracts,":[86],"for":[87],"capturing":[88],"analyzing":[90],"We":[94,112,167],"formulate":[95],"validation":[99],"problem":[100],"in":[101,109,126],"terms":[102],"refinement":[105,154],"relations":[106],"between":[107],"nodes":[108],"an":[110],"HHCN.":[111],"then":[113],"define":[114],"embeddings":[116,136],"enable":[118],"reasoning":[119],"about":[120],"refinements":[121],"HHCN":[128],"that":[129,153],"formalisms.":[134],"Contract":[135],"leverage":[137],"notion":[139],"conservative":[141],"approximation":[142],"rigorously":[144],"map":[145],"contracts":[146,164],"while":[151],"ensuring":[152],"is":[155],"preserved":[156],"independently":[157],"formalism":[160],"mapped.":[166],"illustrate":[168],"their":[169],"effectiveness":[170],"case":[173],"study":[174],"motivated":[175],"multiagent":[178],"autonomous":[179],"lunar":[180],"rover":[181],"mission.":[182]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}