Formalising ODP enterprise policies

Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366) Pub Date : 1999-09-01 DOI:10.1109/EDOC.1999.792052

M. Steen, J. Derrick

{"title":"Formalising ODP enterprise policies","authors":"M. Steen, J. Derrick","doi":"10.1109/EDOC.1999.792052","DOIUrl":null,"url":null,"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.","PeriodicalId":365462,"journal":{"name":"Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1999-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"49","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EDOC.1999.792052","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 49

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.

查看原文本刊更多论文

正式制定ODP企业政策

开放分布式处理(ODP)标准化倡议产生了一个框架，通过该框架可以使用许多视点对分布式系统进行建模。这些包括企业观点，它关注于系统要支持的企业的目标和政策。尽管ODP参考模型提供了相关概念的抽象语言，但它并没有规定要在单个视点中使用的特定技术。特别是，有必要为ODP企业规范开发适当的符号，以增加ODP框架的适用性。在本文中，我们解决了这个问题，并开发了一种规范语言来支持企业的观点。在此过程中，我们将重点放在管理企业对象行为的企业策略的表达上。我们开发的语言是结构化英语和简单谓词逻辑的组合，并建立在正式的面向对象规范语言Object-Z之上。我们通过一个案例研究来说明它的使用，该案例研究展示了一个库支持系统的企业规范。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366)

自引率

0.00%

发文量