© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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.Abstract
Abstract
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
@inproceedings{1160,
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 = {http://www.cs.kent.ac.uk/pubs/2001/1160},
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},
}