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: EDOC Workshops 2012: VORTE, September 10-14 2012, Beijing, China. (doi:https://doi.org/10.1109/EDOCW.2012.28) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

PDF
Restricted to Repository staff only
Contact us about this Publication Download (405kB)
[img]
Official URL
http://doi.ieeecomputersociety.org/10.1109/EDOCW.2...

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: Conference or workshop item (Paper)
Additional information: Full text copyright IEEE, available at http://www.computer.org/csdl/proceedings/edocw/2012/4786/00/4786a146-abs.html
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Peter Linington
Date Deposited: 10 Mar 2013 18:41 UTC
Last Modified: 26 Apr 2018 09:57 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/33368 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year