{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:36Z","timestamp":1761596916922},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1991,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper establishes a language-independent framework for class-based inheritance using a generic concept of refinement. The framework is then realised in the process algebra CSP. Class membership is expressed in terms of conformance to some relabelling of a distinguished process (the class template). The approach of the paper facilitates rigorous examination of informal concepts in object-oriented design, and suggests the possibility of introducing an appealing methodology into CSP.<\/jats:p>","DOI":"10.1007\/bf01898400","type":"journal-article","created":{"date-parts":[[2005,7,5]],"date-time":"2005-07-05T14:22:40Z","timestamp":1120573360000},"page":"129-141","source":"Crossref","is-referenced-by-count":17,"title":["Refinement, conformance and inheritance"],"prefix":"10.1145","volume":"3","author":[{"given":"Elspeth","family":"Cusack","sequence":"first","affiliation":[{"name":"British Telecom Research and Technology, St Vincent House, 1 Cutler Street, Ipswich, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"ANSA Reference Manual Part III \u2014 System Modelling Release 00.05 Cambridge UK November 1988."},{"key":"e_1_2_1_2_2_2","unstructured":"Blair G. S. Gallagher J. G. and Malik J.: Genericity vs Inheritance vs Delegation vs Conformance vs (Towards a Unifying Understanding of Objects). Journal of Object-Oriented Programming 2(3) September\/October (1989)."},{"key":"e_1_2_1_2_3_2","volume-title":"A Theory for the Derivation of Tests","author":"Brinksma E.","year":"1988"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Brinksma E. and Bolognesi T.: Introduction to the ISO Specification Language LOTOS Computer Networks and ISDN Systems 14 (1) (1987).","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"e_1_2_1_2_5_2","volume-title":"Memorandum INF-86-13","author":"Brinksma E.","year":"1986"},{"key":"e_1_2_1_2_6_2","volume-title":"LOTOS Specifications, Their Implementations and Their Tests","author":"Brinksma E.","year":"1986"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Brookes S. D. Hoare C. A. R. and Roscoe A. W.: A Theory of Communicating Sequential Processes. JACM 31 (1984).","DOI":"10.1145\/828.833"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Cook W. and Palberg J.: A Denotational Semantics of Inheritance and its Correctness. Object Oriented Programming Systems Languages and Applications 89 New Orleans October 1989.","DOI":"10.1145\/74877.74922"},{"key":"e_1_2_1_2_9_2","unstructured":"Cusack E.: Fundamental Aspects of Object Oriented Specification. Br. Telecom Technol. J. 6 (3) (1988)."},{"key":"e_1_2_1_2_10_2","unstructured":"Cusack E.: Formal Object Oriented Specification of Distributed Systems. BCS Workshop on Specification and Verification of Concurrent Systems Stirling July 1988."},{"key":"e_1_2_1_2_11_2","unstructured":"Goldberg A. and Robson D.: Smalltalk-80: the Language and Its Implementation Addison-Wesley 1983."},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Hoare C. A. R.: Communicating Sequential Processes Prentice-Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"e_1_2_1_2_13_2","unstructured":"ISO IS 8807: LOTOS \u2014 a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour 1989."},{"key":"e_1_2_1_2_14_2","unstructured":"Mayr T.: Specification of Object-oriented Systems in LOTOS. Int. Conf. on Formal Description Techniques \u2014 FORTE88 Stirling September 1988."},{"key":"e_1_2_1_2_15_2","unstructured":"JTC1 SC21 WG7 N3196: Modelling Techniques and Their Use in ODP Draft WG7 Working Document December 1988."},{"key":"e_1_2_1_2_16_2","volume-title":"Architecture and Specification Style in Formal Descriptions of Distributed Systems","author":"Vissers C. A.","year":"1988"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Wegner P.: Dimensions of Object-Based Language Design Object Oriented Programming Systems Languages and Applications 87 Orlando Florida September 1987.","DOI":"10.1145\/38765.38823"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Wegner P. and Zdonik S.: Inheritance as an Incremental Modification Technique or What Like Is and Isn't Like European Conf. on Object Oriented Programming Norway August 1988.","DOI":"10.1007\/3-540-45910-3_4"},{"key":"e_1_2_1_2_19_2","volume-title":"The CO-OP Method for Compositional Derivation of Conformation Testers","author":"Wezeman C.","year":"1989"},{"key":"e_1_2_1_2_20_2","unstructured":"CCITT Draft Recommendation X.407 \u2223 ISO Working Document for DIS 8805-5 Abstract Service Definition Conventions Version 5 Gloucester November 1987."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01898400.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01898400\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01898400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:22:54Z","timestamp":1641482574000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01898400"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["10.1007\/BF01898400"],"URL":"https:\/\/doi.org\/10.1007\/bf01898400","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}