Bowman, H. and Boiten, E. and Derrick, J. and Steen, M. (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED.
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. 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.
|Item Type:||Conference or workshop item (UNSPECIFIED)|
|Uncontrolled keywords:||formal methods, LOTOS, viewpoints, consistency, ODP|
|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:||03 Sep 2009 20:35|
|Last Modified:||06 Sep 2011 03:52|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21386 (The current URI for this page, for reference purposes)|
- Depositors only (login required):