Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, H. and Derrick, J., eds. Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4 .
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:||Conference or workshop item (Paper)|
|Uncontrolled keywords:||Behavioural Subtyping, OO, Process Algebra, Testing Theory|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
|Depositing User:||Mark Wheadon|
|Date Deposited:||29 Jul 2009 17:18|
|Last Modified:||06 Sep 2011 03:55|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21473 (The current URI for this page, for reference purposes)|
- Depositors only (login required):