Linington, P.F. and Derrick, J. and Bowman, H. (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems.
Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and ITU. A reference model has been defined which describes an architecture for building open distributed systems. This paper introduces the key aspects of the reference model of open distributed processing, including the ODP conformance framework. We discuss how specific formal techniques are used in the ODP viewpoints, along with the implications for conformance assessment using such techniques. Particular attention is given to the role of consistency in the conformance assessment process. Finally, we review the current work on an ODP conformance testing methodology.
|Item Type:||Conference or workshop item (UNSPECIFIED)|
|Uncontrolled keywords:||ODP, Conformance, Formal Description Techniques|
|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:||26 Aug 2009 19:21|
|Last Modified:||06 Sep 2011 03:50|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21340 (The current URI for this page, for reference purposes)|
- Depositors only (login required):