Modelling ODP


This paper gives a brief insight into the current work on the development of an architectural semantics for Open Distributed Processing (ODP). It rst provides an introduction to the work on the formalisation in LOTOS and Z of the basic modelling and speciication concepts of Part 2, and then focuses on the viewpoint languages of Part 3 of the Basic Reference… (More)


Cite this paper

@inproceedings{Sinnott1994ModellingO, title={Modelling ODP}, author={Richard O. Sinnott}, year={1994} }