School of Computing

Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification

James Cole, John Derrick, Zoran Milosevic, and Kerry Raymond

In Morris Sloman, Jorge Lobo, and Emil Lupu, editors, Policies for Distributed Systems and Networks, volume 1995 of Lecture Notes in Computer Science, pages 182-196. Springer-Verlag, January 2001.



Specifying policies doesn't occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community provide the basic alphabet over which we write our policies. We illustrate this through exploring a conference programme committee case study. We discuss how we might formulate policies and show how policies are refined alongside the refinement of the overall system specification, developing notions of sufficiency and necessity. Policy delegation is also discussed and we categorise different forms of delegating an obligation.

Download publication 252 kbytes (PostScript)

Bibtex Record

author = {James Cole and John Derrick and Zoran Milosevic and Kerry Raymond},
title = {{Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification}},
month = {January},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {20184_980957776},
    ISBN = {3 540 41610 2},
    booktitle = {Policies for Distributed Systems and Networks},
    editor = {Morris Sloman and Jorge Lobo and Emil Lupu},
    volume = {1995},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer-Verlag},
    refereed = {yes},

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

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

Last Updated: 21/03/2014