School of Computing

On Behavioural Subtyping in LOTOS

H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo

In H. Bowman and J. Derrick, editors, FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, July 1997.

Abstract

We consider how the OO notion of subtyping relates to LOTOS testing theory. In particular, we investigate which of the standard LOTOS preorders is a suitable instantiation of behavioural subtyping and argue that each of the main preorders, trace preorder, trace extension, reduction and extension, is in some way deficient. Then, in the light of pre and post condition based models of OO subtyping, we re-work the basic interpretation applied to LOTOS behaviour descriptions. We argue that this re-interpretation enables reduction to be used as an instantiation of behavioural subtyping.

Download publication 93 kbytes

Bibtex Record

@inproceedings{329,
author = {H. Bowman and C. Briscoe-Smith and J. Derrick and B. Strulo},
title = {{O}n {B}ehavioural {S}ubtyping in {LOTOS}},
month = {July},
year = {1997},
pages = {},
keywords = {Behavioural Subtyping, OO, Process Algebra, Testing Theory},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/329},
    booktitle = {FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems},
    editor = {H. Bowman and J. Derrick},
    publisher = {Chapman and Hall},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 23/06/2011 16:56