{"id":"https://openalex.org/W2007007255","doi":"https://doi.org/10.1155/1995/74543","title":"Decomposition of Sequential Behavior UsingInterface Specification and Complementation","display_name":"Decomposition of Sequential Behavior UsingInterface Specification and Complementation","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2007007255","doi":"https://doi.org/10.1155/1995/74543","mag":"2007007255"},"language":"en","primary_location":{"id":"doi:10.1155/1995/74543","is_oa":true,"landing_page_url":"https://doi.org/10.1155/1995/74543","pdf_url":"https://downloads.hindawi.com/archive/1995/074543.pdf","source":{"id":"https://openalex.org/S81291924","display_name":"VLSI design","issn_l":"1026-7123","issn":["1026-7123","1065-514X","1563-5171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"VLSI Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://downloads.hindawi.com/archive/1995/074543.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111605482","display_name":"Kamlesh Rath","orcid":null},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kamlesh Rath","raw_affiliation_strings":["Computer Science Department, Indiana University, Bloomington, Indiana 47405, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Indiana University, Bloomington, Indiana 47405, USA","institution_ids":["https://openalex.org/I4210119109"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072565144","display_name":"Venkatesh Choppella","orcid":"https://orcid.org/0000-0003-1085-3464"},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Venkatesh Choppella","raw_affiliation_strings":["Computer Science Department, Indiana University, Bloomington, Indiana 47405, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Indiana University, Bloomington, Indiana 47405, USA","institution_ids":["https://openalex.org/I4210119109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102920341","display_name":"Steven Johnson","orcid":"https://orcid.org/0000-0002-6181-8303"},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven D. Johnson","raw_affiliation_strings":["Computer Science Department, Indiana University, Bloomington, Indiana 47405, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Indiana University, Bloomington, Indiana 47405, USA","institution_ids":["https://openalex.org/I4210119109"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111605482"],"corresponding_institution_ids":["https://openalex.org/I4210119109"],"apc_list":null,"apc_paid":null,"fwci":0.5351,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.63803858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":"3-4","first_page":"347","last_page":"358"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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/decomposition","display_name":"Decomposition","score":0.7676873207092285},{"id":"https://openalex.org/keywords/complementation","display_name":"Complementation","score":0.7066110968589783},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6427353620529175},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.590961754322052},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3728122115135193},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.34098196029663086},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.12466907501220703}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.7676873207092285},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.7066110968589783},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6427353620529175},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.590961754322052},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3728122115135193},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.34098196029663086},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.12466907501220703},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1155/1995/74543","is_oa":true,"landing_page_url":"https://doi.org/10.1155/1995/74543","pdf_url":"https://downloads.hindawi.com/archive/1995/074543.pdf","source":{"id":"https://openalex.org/S81291924","display_name":"VLSI design","issn_l":"1026-7123","issn":["1026-7123","1065-514X","1563-5171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"VLSI Design","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1155/1995/74543","is_oa":true,"landing_page_url":"https://doi.org/10.1155/1995/74543","pdf_url":"https://downloads.hindawi.com/archive/1995/074543.pdf","source":{"id":"https://openalex.org/S81291924","display_name":"VLSI design","issn_l":"1026-7123","issn":["1026-7123","1065-514X","1563-5171"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"VLSI Design","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3842442410","display_name":null,"funder_award_id":"MIP 92-08745","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8017356669","display_name":null,"funder_award_id":"MIP 89-21842","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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2007007255.pdf","grobid_xml":"https://content.openalex.org/works/W2007007255.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W132048690","https://openalex.org/W1518895841","https://openalex.org/W1574965606","https://openalex.org/W1648401037","https://openalex.org/W1824071308","https://openalex.org/W2004659537","https://openalex.org/W2022032633","https://openalex.org/W2041152728","https://openalex.org/W2061438988","https://openalex.org/W2101225843","https://openalex.org/W2104828833","https://openalex.org/W2115457987","https://openalex.org/W2116989825","https://openalex.org/W2127380267","https://openalex.org/W2141025244","https://openalex.org/W2168405043","https://openalex.org/W3144701320","https://openalex.org/W6630050920","https://openalex.org/W6677512422"],"related_works":["https://openalex.org/W1518010816","https://openalex.org/W1976496938","https://openalex.org/W2189178478","https://openalex.org/W2154338693","https://openalex.org/W1587647201","https://openalex.org/W1988188960","https://openalex.org/W1500684591","https://openalex.org/W2036810953","https://openalex.org/W2425792272","https://openalex.org/W2068306501"],"abstract_inverted_index":{"Decomposition":[0],"of":[1,40,71,85,88,97,114,120],"system":[2,17,34,80,93],"behavior":[3,70],"along":[4],"functional":[5],"boundaries":[6],"into":[7,91],"interacting":[8],"sequential":[9,24,30,132],"components":[10,31,45],"is":[11,76,103,123],"a":[12,26,33,79,98,115,127,135,138],"key":[13],"step":[14],"in":[15],"top\u2010down":[16],"design.":[18],"In":[19],"this":[20],"paper,":[21],"we":[22],"present":[23],"decomposition,":[25],"method":[27],"for":[28],"factoring":[29],"from":[32,78],"specification":[35,58],"based":[36,61],"on":[37,62],"interface":[38,57,90],"specifications":[39],"the":[41,68,86,92,109,112],"components.":[42,54],"The":[43,95],"resulting":[44],"can":[46],"be":[47,106,126],"independently":[48],"synthesized,":[49],"or":[50],"realized":[51],"using":[52],"off\u2010the\u2010shelf":[53],"We":[55,130],"introduce":[56],"language":[59,144],"(ISL),":[60],"finite\u2010state":[63],"machine":[64,99,116],"semantics,":[65],"to":[66,105,108,125,134],"specify":[67],"input/output":[69],"synchronous":[72],"sub\u2010systems.":[73],"A":[74],"component":[75,122],"factored":[77],"by":[81],"embedding":[82],"an":[83,118],"implementation":[84,119],"complement":[87,102],"its":[89,101,121,147],"description.":[94],"composition":[96,113],"with":[100,117,141],"shown":[104,124],"isomorphic":[107],"machine,":[110],"and":[111],"safe":[128],"interaction.":[129],"apply":[131],"decomposition":[133],"non\u2010trivial":[136],"example,":[137],"special\u2010purpose":[139],"computer":[140],"Scheme":[142],"programming":[143],"primitives":[145],"as":[146],"instructions.":[148]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}