• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IFIP 159; IFIP TC 5 / WG 5.5 IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing And Services; 20040927-29; Vienna(AT) >A FORMAL THEORY OF BM VIRTUAL ENTERPRISES STRUCTURES
【24h】

A FORMAL THEORY OF BM VIRTUAL ENTERPRISES STRUCTURES

机译：BM虚拟企业结构的形式理论

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

摘要

Formalisms are a tool commonly used in many engineering areas and, as expected, are also being used on virtual enterprises research. However the use of formalisms is not enough to ensure correctness and ambiguities absence on the developed projects. Only with a background formal theory is possible to achieve that goal. This paper presents a formal theory of the structural aspect of virtual enterprises according to the BM_Virtual Enterprise Architecture Reference Model (BM_VEARM) developed at University of Minho - Portugal. The theory is generated and represented by an attributed context-free formal grammar accepting some pre-requisites as input and producing as output canonical structures of virtual enterprises compliant to those pre-requisites. The formal theory of BM_VEARM virtual enterprises structures is in fact the formal language generated by the defined grammar.
机译：形式主义是许多工程领域中普遍使用的工具，并且正如预期的那样，也已用于虚拟企业研究中。但是，使用形式主义不足以确保已开发项目的正确性和含糊性。只有具有背景形式理论才能实现该目标。本文根据葡萄牙米尼奥大学开发的BM_虚拟企业体系结构参考模型（BM_VEARM），提出了虚拟企业结构方面的形式化理论。该理论由无上下文的形式化语法生成和表示，该语法接受一些先决条件作为输入，并产生符合这些先决条件的虚拟企业规范结构。 BM_VEARM虚拟企业结构的形式理论实际上是由定义的语法生成的形式语言。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号