• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Enterprise interoperability >An Approach for Interoperability Requirements Specification and Verification
【24h】

An Approach for Interoperability Requirements Specification and Verification

机译：互操作性需求规范和验证的方法

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

摘要

Enterprises are today involved in collaborative processes with other partners sharing common economical interests in confidence. This allows these enterprises to focus on their core business, to optimize, and to be effective to respond to customers' needs. Implicitly, a partner that wishes to become involved in a partnership must demonstrate numerous qualities and enable to gain the confidence of other partners. Among other ones, demonstrate its ability to be interoperable is a major issue. This research work aims to define, to formalize and to analyze a set of interoperability requirements that each partner of a collaborative process have to satisfy prior to any collaboration. This paper focuses and illustrates how interoperability requirements related to the static and dynamic aspects of the collaboration may be formalized and verified by the use of a formal verification technique.
机译：今天，企业正在与其他合作伙伴共同参与共同的经济利益中的合作过程。这使这些企业可以专注于其核心业务，进行优化并有效地响应客户的需求。隐含地，希望成为合伙人的合伙人必须表现出许多特质，并能够赢得其他合伙人的信任。在其他方面，证明其可互操作性是一个主要问题。这项研究工作旨在定义，形式化和分析一套协作过程的要求，这是协作过程中每个合作伙伴在进行任何协作之前必须满足的。本文重点并说明了如何通过使用形式验证技术来形式化和验证与协作的静态和动态方面相关的互操作性要求。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号