• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Applied ontology >The formal REA model at the operational level
【24h】

The formal REA model at the operational level

机译：运营层面的正式REA模型

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Despite the fact that a lot of attention has been directed towards the Resource-Event-Agent (REA) framework among researchers within enterprise modeling, it still lacks a comprehensive formal description. Most of the approaches used to arrive at a formalization of REA only use UML or other graphical representations. This paper aims to define the REA ontology at the operational level using formal logic tools. The general approach to a formal description of REA logic was motivated by LTAP introduced by Ito, Hagihara and Yonezaki. After the basic REA concepts have been presented, semantics and the logical language LREA are denned, including axioms of REA at the operational level. Formalization of REA ontology opens the way to discuss safe REA extension, that is to say, the consistency and interoperability of extended ontology. This could help to reason about REA ontology extensions enforced by the business domain developments. The subject of future research is briefly described in the conclusion.
机译：尽管在企业建模中研究人员已经对资源-事件-代理（REA）框架进行了很多关注，但它仍然缺乏全面的正式描述。用于实现REA形式化的大多数方法仅使用UML或其他图形表示。本文旨在使用形式逻辑工具在操作级别定义REA本体。伊藤，Ha原和米崎引入的LTAP推动了对REA逻辑进行形式化描述的一般方法。在介绍了基本的REA概念之后，将定义语义和逻辑语言LREA，包括在操作级别的REA公理。 REA本体的形式化为讨论安全REA扩展（即扩展本体的一致性和互操作性）开辟了道路。这可能有助于推断由业务领域开发实施的REA本体扩展。结论中简要描述了未来的研究主题。

著录项

  • 来源
    《Applied ontology》 |2013年第4期|275-300|共26页
  • 作者

    Sohei Ito; Dominik Vymetal;

  • 作者单位

    Department of Fisheries Distribution and Management, National Fisheries University, 2-7-1 Nagata-Honcho, Shimonoseki, Yamaguchi 759-6595, Japan;

    School of Business Administration in Karvina, Silesian University in Opava, Karvina, Czech Republic;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    REA framework; formal models; temporal logic;

    机译：REA框架;形式模型;时间逻辑;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号