© University of Kent - Contact | Feedback | Legal | FOI | Cookies
ODP Enterprise Viewpoint Specification
M.W.A. Steen and J. Derrick
Computer Standards and Interfaces, 22:182-196, September 2000.Abstract
The Open Distributed Processing (ODP) standardisation initiative has led to a framework by which distributed systems can be modelled using a number of viewpoints. These include an \emph{enterprise viewpoint}, which focuses on the objectives and policies of the enterprise that the system is meant to support. Although the ODP reference model provides abstract languages of relevant concepts, it does not prescribe particular techniques that are to be used in the individual viewpoints. In particular, there is a need to develop appropriate notations for ODP enterprise specification, in order to increase the applicability of the ODP framework.
In this paper we tackle this concern and develop a specification language to support the current draft of the enterprise viewpoint. In doing so we analyse the current definition of the \textsc{odp} enterprise viewpoint language. Using the \textsc{uml}, a meta-model of the core concepts and their relationships is constructed, and we also investigate to what extent the \textsc{uml} can be used for enterprise viewpoint specification. We then focus on the expression of enterprise policies that govern the behaviour of enterprise objects. We develop a policy language which is a combination of structured English and simple predicate logic, and is built on top of the formal object-oriented specification language Object-Z, into which the complete language is translated. We illustrate the ideas in the paper with a case study that presents an enterprise specification of a library support system.
Download publication 368 kbytes (PostScript)Bibtex Record
@article{1122,
author = {M.W.A. Steen and J. Derrick},
title = {{ODP} {E}nterprise {V}iewpoint {S}pecification},
month = {September},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1122},
journal = {Computer Standards and Interfaces},
publication_type = {article},
publisher = {Elsevier},
submission_id = {19624_969028956},
volume = {22},
}