{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:50Z","timestamp":1761611150916},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1995,11,1]],"date-time":"1995-11-01T00:00:00Z","timestamp":815184000000},"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":[[1995,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>The aim of this article is to clarify the concepts of behavioural subtype and substitutability that are used to establish the safety of dynamic binding and run-time polymorphism in object-oriented programming. A new model of object behaviour is introduced and used to define the states of an object and the notion of object type. A notion of simulation between object behaviours is defined and a subtype relation between object types is derived from it. The syntax and structural operational semantics of an elementary OOPL is given, and the concepts of object and type substitutability are defined. It is shown formally that simulation is equivalent to object substitutability and that subtyping is equivalent to type substitutability.<\/jats:p>","DOI":"10.1007\/bf01210998","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T12:43:49Z","timestamp":1109335429000},"page":"620-651","source":"Crossref","is-referenced-by-count":4,"title":["On simulation, subtyping and substitutability in sequential object systems"],"prefix":"10.1145","volume":"7","author":[{"given":"Ian","family":"Maung","sequence":"first","affiliation":[{"name":"Department of Computing, University of Brighton, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"America P.: A behavioural approach to subtyping in object-oriented programming languages. In M. Lenzerini D. Nardi and M. Simi editors Inheritance Hierarchies in Knowledge Representation and Programming Languages pages 173\u2013190. John Wiley and Sons 1991."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/357146.357150"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90007-7"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Cusack E. and Lai M.: Object oriented specification in LOTOS and Z (or my cat is really object oriented!). In J.W. de Bakker W.P. de Roever and G. Rozenberg editors REX School\/ Workshop on Foundations of Object-oriented Languages Springer-Verlag 1991.","DOI":"10.1007\/BFb0019444"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Cusack E.: Inheritance in object oriented Z. In ECOOP Proceedings pages 167\u2013179. Springer-Verlag 1991.","DOI":"10.1007\/BFb0057021"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01898400"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Cusack E. and Wezeman C.: Deriving tests for objects specified in Z. In Z User Workshop pages 180\u2013195. Springer-Verlag 1992.","DOI":"10.1007\/978-1-4471-3556-2_13"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264365"},{"key":"e_1_2_1_2_9_2","unstructured":"Dijkstra E.W.: A Discipline of Programming . Prentice-Hall International 1976."},{"key":"e_1_2_1_2_10_2","unstructured":"Demmers J.W.E. and Kleingeld P.: SPOOL-S: An object-oriented language with behavioural subtyping. Master's thesis University of Utrecht May 1991."},{"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.: An axiomatic basis for computer programming. CACM pages 576\u2013583 October 1969.","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_2_13_2","unstructured":"Hoare C.A.R.: Communicating Sequential Processes . Prentice-Hall International 1985."},{"key":"e_1_2_1_2_14_2","unstructured":"Jones C.B.: Systematic software development with VDM . Prentice-Hall International second edition 1990."},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Lano K. and Haughton H.: Object-oriented Specification Case Studies . Prentice-Hall International 1994.","DOI":"10.1007\/978-1-4471-3073-4_9"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Liskov B.: Data abstraction and hierarchy. In OOPSLA Proceedings . ACM Press 1987.","DOI":"10.1145\/62138.62141"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Leavens G.T. and Weihl W.E.: Reasoning about object-oriented programs that use subtypes. In ECOOP\/OOPSLA' 90 Proceedings pages 212\u2013223. ACM Press 1990.","DOI":"10.1145\/97945.97970"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Liskov B. and Wing J.: A behavioural notion of subtyping. ACM TOPLAS 1994.","DOI":"10.1145\/197320.197383"},{"key":"e_1_2_1_2_19_2","unstructured":"Maung I.: A survey of behavioural subtyping. Technical report University of Brighton July 1993."},{"key":"e_1_2_1_2_20_2","unstructured":"Meyer B.: Object-oriented Software Construction . Prentice-Hall International 1988."},{"key":"e_1_2_1_2_21_2","unstructured":"Meyer B.: Eiffel: The Language . Prentice-Hall International 1992."},{"key":"e_1_2_1_2_22_2","unstructured":"Milner R.: Communication and Concurrency . Prentice-Hall International 1989."},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Milner R. Parrow J. and Walker D.: A calculus of mobile processes. Information and computation 100 1992.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Niestrasz O.: Regular types for active objects. In OOPSLA'93 Proceedings pages 1\u201315. ACM Press 1993.","DOI":"10.1145\/165854.167976"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263649"},{"key":"e_1_2_1_2_26_2","unstructured":"Spivey J.M.: Z: A Reference Manual . Prentice-Hall International second edition 1992."},{"key":"e_1_2_1_2_27_2","unstructured":"Stroustrup B.: The C++ Programming Language . Addison-Wesley second edition 1991."},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Thomsen B.: A calculus of higher order communicating systems. In Principles of Programming Languages pages 143\u2013154. ACM Press 1989.","DOI":"10.1145\/75277.75290"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Walker D.: \u03c0 -calculus semantics of object-oriented programming languages. In T. Ito and A.R. Meyer editors TACS'91 \u2014 Proceedings of the International Conference on Theoretical Aspects of Computer Science . Springer-Verlag 1991.","DOI":"10.1007\/3-540-54415-1_63"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"crossref","unstructured":"Wills A.: Capsules and types in Fresco. In ECOOP Proceedings pages 59\u201376. Springer-Verlag 1991.","DOI":"10.1007\/BFb0057015"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01210998.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01210998\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01210998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:24:36Z","timestamp":1641482676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01210998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["10.1007\/BF01210998"],"URL":"https:\/\/doi.org\/10.1007\/bf01210998","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}