Steen, Maarten and Derrick, John (1999) Formalising ODP Enterprise Policies. In: Proceedings Third International Enterprise Distributed Object Computing. IEEE, pp. 84-93. ISBN 0-7803-5784-1. (doi:10.1109/EDOC.1999.792052) (KAR id:21770)
PDF
Language: English |
|
Download this file (PDF/302kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Postscript
Language: English |
|
Download this file (Postscript/487kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: http://dx.doi.org/10.1109/EDOC.1999.792052 |
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 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 enterprise viewpoint. In doing so, we focus on the expression of enterprise policies that govern the behaviour of enterprise objects. The language we develop is a combination of structured English and simple predicate logic, and is built on top of the formal object-oriented specification language Object-Z. We illustrate its use with a case study that presents an enterprise specification of a library support system.
Item Type: | Book section |
---|---|
DOI/Identification number: | 10.1109/EDOC.1999.792052 |
Additional information: | Proceedings paper |
Uncontrolled keywords: | natural languages; objected oriented modeling; logic; distributed processing; specification languages; libraries; laboratories; design methodology; formal languages |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 11 Sep 2009 09:59 UTC |
Last Modified: | 16 Nov 2021 10:00 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21770 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):