Skip to main content

Obligations and Delegation in the ODP Enterprise Language

Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio (2012) Obligations and Delegation in the ODP Enterprise Language. In: 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops. IEEE, pp. 146-155. ISBN 978-1-4673-5005-1. (doi:10.1109/EDOCW.2012.28) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:33368)

PDF
Language: English

Restricted to Repository staff only
[thumbnail of edoc-tokens.pdf]
Official URL:
http://dx.doi.org/10.1109/EDOCW.2012.28

Abstract

The ODP Enterprise Language is used to describe the organizational objectives and policies that apply to the system to be specified. It also captures constraints associated with the environment in which the system is to be used. Because the enterprise specification is concerned more with organizational issues than technical details of the system, there is considerable emphasis in the language design on obligations and norms, rather than on the declaration of some single rigidly required behaviour. This leads to a requirement for specification techniques that encompass a wide range of behaviour and then identify which behaviour should occur and how exceptions are to be handled, this is more challenging than computational specification, where the specification is essentially a recognizer for correct behaviour and does not define what is to happen if there are violations. This paper describes work currently in progress within the International Organization for Standardization (ISO) to extend the Enterprise Language so that it is able to express more directly the necessary obligations and other deontic concepts, such as permissions and prohibitions. The approach being taken is to introduce a new kind of object that reifies the deontic constraints and thereby simplifies the description of the behaviour expected. Once the basic concepts are in place, they can be used to define a wide range of organizational matters, such as delegation rules and the way communities respond dynamically to changes in their structure.

Item Type: Book section
DOI/Identification number: 10.1109/EDOCW.2012.28
Additional information: Full text copyright IEEE, available at http://www.computer.org/csdl/proceedings/edocw/2012/4786/00/4786a146-abs.html
Uncontrolled keywords: communities; electric discharges; contracts; abstracts; speech; electronic mail
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Peter Linington
Date Deposited: 10 Mar 2013 18:41 UTC
Last Modified: 16 Nov 2021 10:10 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/33368 (The current URI for this page, for reference purposes)

University of Kent Author Information

Linington, Peter F..

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.