Abstract
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexity inherent in specifying distributed systems. Multiple viewpoints prompt the issue of consistency between viewpoints. The ODP reference model alludes to three different interpretations of consistency. This paper responds to this uncertainty by proposing a single all embracing interpretation of consistency. We show that our interpretation, firstly, satisfies all the basic requirements of a definition of consistency and, secondly, can be specialised to any of the three ODP reference model definitions. The generality of our definition will be illustrated through instantiation in the FDT LOTOS.
This work was partially funded by British Telecom Research Labs., Martlesham, Ipswich, U.K. and the Engineering and Physical Sciences Research Council under grant number GR/K13035.
Chapter PDF
Similar content being viewed by others
References
M. Ainsworth, A. H. Cruickshank, L. J. Groves, and P. J. L. Wallis. Viewpoint specification and Z. Information and Software Technology, 36 (1): 43–51, February 1994.
E. Boiten, H. Bowman, J. Derrick, and M. Steen. Cross viewpoint consistency in Open Distributed Processing (intra language consistency). Technical Report S-95, Computing Laboratory, University of Kent at Canterbury, 1995.
H. Bowman, J. Derrick, and M.W.A. Steen. Some results on cross viewpoint consistency checking. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 399–412, Brisbane, Australia, February 1995. Chapman and Hall.
E. Brinksma, G. Scollo, and C. Steenbergen. Process specification, their implementation and their tests. In B. Sarikaya and G. V. Bochmann, editors, Protocol Specification, Testing and Verification, VI, pages 349–360, Montreal, Canada, June 1986. North-Holland.
J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. Supporting ODP translating LOTOS to Z. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems Paris, March 1996. Chapman and Hall. To appear.
G. Leduc. On the Role of Implementation Relations in the Design of Distributed Systems using LOTOS. PhD thesis, University of Liège, Liège, Belgium, June 1991.
P. F. Linington. RM-ODP: The Architecture. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 1533, Brisbane, Australia, February 1995. Chapman and Hall.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
M. Steen, H. Bowman, and J. Derrick. Composition of LOTOS specifications. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification Warsaw, Poland, 1995. Chapman and Hall.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Bowman, H., Boiten, E.A., Derrick, J., Steen, M.W.A. (1997). Viewpoint consistency in ODP, a general interpretation. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_14
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive