{"id":"https://openalex.org/W2023913079","doi":"https://doi.org/10.1007/bf01898400","title":"Refinement, conformance and inheritance","display_name":"Refinement, conformance and inheritance","publication_year":1991,"publication_date":"1991-06-01","ids":{"openalex":"https://openalex.org/W2023913079","doi":"https://doi.org/10.1007/bf01898400","mag":"2023913079"},"language":"en","primary_location":{"id":"doi:10.1007/bf01898400","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01898400","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","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/A5002782235","display_name":"Elspeth Cusack","orcid":null},"institutions":[{"id":"https://openalex.org/I1332878012","display_name":"BT Group (United Kingdom)","ror":"https://ror.org/00kv9pj15","country_code":"GB","type":"company","lineage":["https://openalex.org/I1332878012"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Elspeth Cusack","raw_affiliation_strings":["British Telecom Research and Technology, St Vincent House, 1 Cutler Street, Ipswich, UK"],"affiliations":[{"raw_affiliation_string":"British Telecom Research and Technology, St Vincent House, 1 Cutler Street, Ipswich, UK","institution_ids":["https://openalex.org/I1332878012"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002782235"],"corresponding_institution_ids":["https://openalex.org/I1332878012"],"apc_list":null,"apc_paid":null,"fwci":3.6237,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.928333,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"3","issue":"2","first_page":"129","last_page":"141"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9322999715805054,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9283000230789185,"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/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.8175510168075562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7581603527069092},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7473142147064209},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6736564040184021},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6264929175376892},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5740963220596313},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.4805453419685364},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4749450981616974},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.436244398355484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4192938208580017},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.16507312655448914},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15245318412780762},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.14346522092819214},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.08953806757926941},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0711631178855896}],"concepts":[{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.8175510168075562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7581603527069092},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7473142147064209},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6736564040184021},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6264929175376892},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5740963220596313},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.4805453419685364},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4749450981616974},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.436244398355484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4192938208580017},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.16507312655448914},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15245318412780762},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.14346522092819214},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.08953806757926941},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0711631178855896},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf01898400","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01898400","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/5","score":0.46000000834465027,"display_name":"Gender equality"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W110997576","https://openalex.org/W119570465","https://openalex.org/W1179992889","https://openalex.org/W1544921324","https://openalex.org/W1547337510","https://openalex.org/W1557828026","https://openalex.org/W1770006921","https://openalex.org/W1987454317","https://openalex.org/W2102097307","https://openalex.org/W2121372686","https://openalex.org/W2138387375","https://openalex.org/W3144368627","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3128849215","https://openalex.org/W2386928530","https://openalex.org/W4387448543","https://openalex.org/W2912461320","https://openalex.org/W4210442184","https://openalex.org/W1494632715","https://openalex.org/W4241018604","https://openalex.org/W1537964674","https://openalex.org/W4386444448","https://openalex.org/W1896301006"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2,48],"establishes":[3],"a":[4,11,38],"language-independent":[5],"framework":[6,17],"for":[7],"class-based":[8],"inheritance":[9],"using":[10],"generic":[12],"concept":[13],"of":[14,32,37,46,52,62],"refinement.":[15],"The":[16,44],"is":[18,28],"then":[19],"realised":[20],"in":[21,30,55],"the":[22,47,60],"process":[23,40],"algebra":[24],"CSP.":[25,68],"Class":[26],"membership":[27],"expressed":[29],"terms":[31],"conformance":[33],"to":[34],"some":[35],"relabelling":[36],"distinguished":[39],"(the":[41],"class":[42],"template).":[43],"approach":[45],"facilitates":[49],"rigorous":[50],"examination":[51],"informal":[53],"concepts":[54],"object-oriented":[56],"design,":[57],"and":[58],"suggests":[59],"possibility":[61],"introducing":[63],"an":[64],"appealing":[65],"methodology":[66],"into":[67]},"counts_by_year":[{"year":2023,"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"}