Skip to main content

On Behavioural Subtyping in LOTOS

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology, 2 . Springer, Boston, Massachusetts, USA, pp. 335-351. ISBN 978-1-5041-2952-7. E-ISBN 978-0-387-35261-9. (doi:10.1007/978-0-387-35261-9_23) (KAR id:21473)

Other (zip)
Language: English
Download (95kB)
[thumbnail of zip]
This file may not be suitable for users of assistive technology.
Request an accessible format
PDF
Language: English
Download (275kB) Preview
[thumbnail of On_Behavioural_Subtyping_in_LOTOS.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Postscript
Language: English
Download (285kB) Preview
[thumbnail of paper.ps]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
http://dx.doi.org/10.1007/978-0-387-35261-9_23

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.

Item Type: Book section
DOI/Identification number: 10.1007/978-0-387-35261-9_23
Uncontrolled keywords: Correctness Relation; Label Transition System; Process Algebra; Observable Action; Structure Operational Semantic
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 29 Jul 2009 17:18 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21473 (The current URI for this page, for reference purposes)
Bowman, H.: https://orcid.org/0000-0003-4736-1869
  • Depositors only (login required):