Viewpoint consistency in ODP, a general interpretation
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.
KeywordsViewpoints Consistency ODP Formal Description Techniques LOTOS
Unable to display preview. Download preview PDF.
- [BBDS95]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.Google Scholar
- [BSS86]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.Google Scholar
- [DEBS96]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.Google Scholar
- [Led91]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.Google Scholar
- [Lin95]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.Google Scholar
- [SBD95]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.Google Scholar