• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE transactions on industrial informatics >The Extension of Semantic Formalization of Service Workflow Specification Language
【24h】

The Extension of Semantic Formalization of Service Workflow Specification Language

机译：服务工作流规范语言的语义形式化扩展

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

摘要

Service-Oriented Computing (SOC) is changing the way modern information systems that are designed, operated, and evolved. SOC makes possible to aggregate distributed resources at the phases of decision-making support and system operations. When myriads of resources with similar functionalities are available, effective methodologies are demanded to select services and compose them as service workflows for the specified goals. The computation for workflow composition is very complex since it depends on the numbers of services and their dynamic characteristics. Therefore, composing optimized workflows in a timely manner poses a great challenge. We are highly motivated to reduce the complexity of service selection and composition. The formalized semantics in SWSpec is extended so that unqualified or inferior services can be eliminated directly from the scope of the design solution space. In this paper, a brief review of the proposed SWSpec language is given and the focus is on the sematic formalization. A new compositional proof-system is developed with a set of inference rules and the proven system properties. The proposed semantic formalization has its great significance in reducing the complexity of composing workflows and developing efficient algorithms for compliance checking.
机译：面向服务的计算（SOC）改变了设计，操作和发展现代信息系统的方式。 SOC使在决策支持和系统操作阶段聚集分布式资源成为可能。当无数具有相似功能的资源可用时，就需要有效的方法来选择服务并将其组合为指定目标的服务工作流。工作流组成的计算非常复杂，因为它取决于服务的数量及其动态特性。因此，及时地组成优化的工作流提出了很大的挑战。我们非常积极地减少服务选择和组合的复杂性。扩展了SWSpec中的形式化语义，以便可以直接从设计解决方案空间的范围中消除不合格或劣等的服务。在本文中，对所提出的SWSpec语言进行了简要回顾，重点是语义形式化。开发了一套新的成分证明系统，该系统具有一组推理规则和已证明的系统属性。所提出的语义形式化在降低组成工作流的复杂性和开发用于一致性检查的有效算法方面具有重要意义。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号