• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Enterprise Distributed Object Computing Conference, 1999. EDOC '99. Proceedings. Third International >Formalising ODP enterprise policies
【24h】

Formalising ODP enterprise policies

机译：正式制定ODP企业政策

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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框架的适用性。在本文中，我们解决了这一问题，并开发了一种规范语言来支持企业观点。在此过程中，我们将重点放在控制企业对象行为的企业策略的表达上。我们开发的语言是结构化英语和简单谓词逻辑的结合，并建立在正式的面向对象的规范语言Object-Z的基础上。我们通过一个案例研究来说明它的用法，该案例研究提出了图书馆支持系统的企业规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号