School of Computing

Cross viewpoint consistency in Open Distributed Processing

H. Bowman, J. Derrick, P. Linington, and M. Steen

Software Engineering Journal, 11(1):44-57, January 1996.

Abstract

This paper discusses the use of viewpoints in the Open Distributed Processing (ODP) standardization initiative.

The ODP reference model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Consistency of viewpoint specifications is clearly a central issue. In addition, formal techniques are playing an increasing role within ODP, therefore mechanisms are needed which support consistency checking of formal specifications.

We provide an overview of the ODP reference model and the use of viewpoints within it, before discussing the ODP approach to consistency and how it can be realized by using formal notations.



Bibtex Record

@article{180,
author = {H. Bowman and J. Derrick and P. Linington and M.  Steen},
title = {Cross Viewpoint Consistency in {O}pen       	{D}istributed {P}rocessing},
month = {January},
year = {1996},
pages = {44-57},
keywords = {formal methods, LOTOS, Z, viewpoints, consistency, ODP},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/180},
    ISSN = {0268-6961},
    journal = {Software Engineering Journal},
    number = {1},
    volume = {11},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 23/06/2011 16:54