...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computers in Industry >The application of interoperability requirement specification and verification to collaborative processes in industry
【24h】

The application of interoperability requirement specification and verification to collaborative processes in industry

机译：互操作性需求规范和验证在行业协作过程中的应用

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

摘要

Interoperability is becoming a crucial issue for industry, and a lack of interoperability can be seen as an important barrier to collaborative work, in both public (inter-enterprise) and private (intra-enterprise) collaborative processes. Indeed, interoperability is generally defined as the ability of enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, which aim to work together, whether or not they would be able to interoperate. Research on interoperability has shown the benefits of measuring and evaluating interoperability, by using several frameworks and maturity models. However, approaches for detecting and anticipating interoperability problems do not seem to exist. Our research proposes to use formal verification techniques to detect different types of interoperability problems. On the one hand, this means being able to define the particular interoperability needs to be considered. On the other hand, it requires these needs to be formalized as a set of unambiguous and, as formally stated as possible, requirements. Moreover, interoperability requirements can have temporal or a-temporal features. To detect interoperability problems in anticipative way, interoperability requirements must be checked by means of a target process model. Three complementary verification techniques are used to verify interoperability requirements in a collaborative process model. The verification technique used depends on the aspect and the level of abstraction of the requirement to be verified. This paper focuses and illustrates the detection of interoperability problems using verification techniques.
机译：互操作性已成为行业的关键问题，在公共（企业间）和私有（企业内）协作过程中，缺乏互操作性可被视为阻碍协作工作的重要障碍。实际上，互操作性通常被定义为企业在协作过程中进行交互的能力。在进行任何有效的协作之前，有必要告知旨在合作的企业是否可以互操作。互操作性研究表明，通过使用几种框架和成熟度模型，可以评估和评估互操作性。但是，似乎不存在检测和预期互操作性问题的方法。我们的研究建议使用形式验证技术来检测不同类型的互操作性问题。一方面，这意味着需要定义特定的互操作性。另一方面，它要求将这些需求形式化为一组明确的要求，并尽可能正式地陈述这些要求。此外，互操作性要求可以具有时间或时间特征。为了以预期方式检测互操作性问题，必须通过目标过程模型来检查互操作性需求。三种互补的验证技术用于验证协作过程模型中的互操作性要求。所使用的验证技术取决于要验证的需求的方面和抽象水平。本文重点介绍了使用验证技术检测互操作性问题。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号