by H. Bowman, M. W. A. Steen, E. A. Boiten, J. Derrick
Formal Methods in System Design
http://www.cs.ukc.ac.uk/research/tcs/consistency/ftvc.ps.gz
Add To MetaCart
Abstract:
Abstract. Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Viewpoints related approaches have been considered in a number of different guises by a spectrum of researchers. Our work particularly focuses on the use of viewpoints in Open Distributed Processing (ODP) which is an ISO/ITU standardisation framework. The requirements of viewpoints modelling in ODP are very broad and, hence, demanding. Multiple viewpoints, though, prompt the issue of consistency between viewpoints. This paper describes a very general interpretation of consistency which we argue is broad enough to meet the requirements of consistency in ODP. We present a formal framework for this general interpretation; highlight basic properties of the interpretation and locate restricted classes of consistency. Strategies for checking consistency are also investigated. Throughout we illustrate our theory using the formal description technique LOTOS. Thus, the paper also characterises the nature of and options for consistency checking in LOTOS.
Citations
|
369
|
Introduction to the ISO specification language LOTOS
– Bolognesi, Brinksma
- 1987
|
|
59
|
LOTOS Specifications, their Implementations and their Tests
– Brinksma, Scollo, et al.
- 1987
|
|
26
|
Object-oriented analysis and design. The Benjamin-Cunnings
– Booch
- 1994
|
|
16
|
On behavioural subtyping in LOTOS
– Bowman, Briscoe-Smith, et al.
- 1997
|
|
16
|
Viewpoint Consistency in ODP, a general interpretation
– Bowman, Derrick, et al.
- 1996
|
|
13
|
Viewpoint specification and Z
– Ainsworth, Cruickshank, et al.
- 1994
|
|
13
|
Consistency and refinement for partial specification in Z
– Boiten, Derrick, et al.
- 1996
|
|
12
|
Formal notions of implementation and conformance in LOTOS
– Brinksma, Scollo
- 1986
|
|
12
|
Viewpoints and objects
– Derrick, Bowman, et al.
- 1995
|
|
11
|
Some results on cross viewpoint consistency checking
– Bowman, Derrick, et al.
- 1995
|
|
10
|
FDTs for ODP
– Bowman, Derrick, et al.
- 1995
|
|
10
|
Comparing LOTOS and Z refinement relations
– Derrick, Bowman, et al.
- 1996
|
|
10
|
Maintaining cross viewpoint consistency using Z
– Derrick, Bowman, et al.
- 1995
|
|
9
|
Cross-viewpoint consistency in Open Distributed Processing
– Bowman, Derrick, et al.
- 1996
|
|
4
|
What is the method in formal methods
– Brinksma
- 1992
|
|
3
|
Formal specification via viewpoints
– Ainsworth, Cruickshank, et al.
- 1993
|
|
3
|
Strategies for consistency checking, the choice of unification
– Bowman, Boiten, et al.
- 1996
|
