• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on industrial informatics >A New Approach for Compliance Checking in Service Workflows
【24h】

A New Approach for Compliance Checking in Service Workflows

机译：服务工作流中合规性检查的新方法

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

摘要

The emergence of the Internet-of-Things (IoT) refers to not only the ability to identify physical objects, but also to identify many types of virtual objects, including services. Such identification plays a crucial role in service workflow. The success of a service workflow requires the composition of services where requirements must be satisfied. However, the large-scale open environment of today’s Internet poses significant challenges for efficient compliance checking algorithms of those requirements. This paper is based on the previous progressive work on Service Workflow Specification language (SWSpec), the uniformed representation of requirements, and the compliance checking algorithms based on Constrained Truth Table (CTT) and Exclusive Disjunctive Normal Form (EDNF). In this paper, a new algorithm is proposed, which significantly reduces the cost of time complexity. In some cases, this algorithm is able to run in polynomial time. Experiments are conducted to evaluate and compare the performance of these algorithms.
机译：物联网（IoT）的出现不仅指识别物理对象的能力，还指识别多种类型的虚拟对象（包括服务）的能力。这种识别在服务工作流程中起着至关重要的作用。服务工作流程的成功需要必须满足需求的服务组成。但是，当今的Internet的大规模开放环境对于有效满足这些要求的合规性检查算法提出了严峻的挑战。本文基于先前对服务工作流规范语言（SWSpec），需求的统一表示以及基于约束真值表（CTT）和排他性析取范式（EDNF）的合规性检查算法的渐进工作。本文提出了一种新的算法，该算法大大降低了时间复杂度。在某些情况下，该算法能够在多项式时间内运行。进行实验以评估和比较这些算法的性能。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号