摘要: Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types their subtypes. Behavioural subtyping is concerned with subtypes active classes an explicit dynamic behaviour, specifiable instance by formal methods combining state-based behavioural formalisms.
springer.com
sci-hub.se 参考文章(19)
Clemens Fischer, CSP-OZ: a combination of object-Z and CSP formal methods for open object based distributed systems. pp. 423- 438 ,(1997) , 10.1007/978-0-387-35261-9_29
H. Bowman, C. Briscoe-Smith, J. Derrick, B. Strulo, On behavioural subtyping in LOTOS formal methods for open object based distributed systems. pp. 335- 351 ,(1997) , 10.1007/978-0-387-35261-9_23
Clemens Fischer, Heike Wehrheim, Behavioural Subtyping Relations for Object-Oriented Formalisms algebraic methodology and software technology. pp. 469- 483 ,(2000) , 10.1007/3-540-45499-3_33
John Derrick, Eerke Boiten, Non-atomic Refinement in Z formal methods. pp. 1477- 1496 ,(1999) , 10.1007/3-540-48118-4_28
Pierre America, Designing an Object-Oriented Programming Language with Behavioural Subtyping Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages. pp. 60- 90 ,(1990) , 10.1007/BFB0019440
Peter Wegner, Stanley B. Zdonik, Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like european conference on object-oriented programming. ,vol. 322, pp. 55- 77 ,(1988) , 10.1007/3-540-45910-3_4
Graeme Smith, The Object-Z specification language ,(1999)
J. C. P. Woodcock, Carroll Morgan, Refinement of State-Based Concurrent Systems formal methods. pp. 340- 351 ,(1990) , 10.1007/3-540-52513-0_18
Steve Rudkin, Inheritance in LOTOS formal techniques for (networked and) distributed systems. pp. 409- 424 ,(1991) , 10.1016/B978-0-444-89402-1.50037-0
John Derrick, Eerke A. Boiten, Non-Atomic Refinement Springer London. pp. 303- 339 ,(2014) , 10.1007/978-1-4471-5355-9_12