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 语言进行了简要回顾，重点是语义形式化。一个新的组合证明系统是用一组推理规则和经过验证的系统属性开发的。所提出的语义形式化对于降低组成工作流的复杂性和开发有效的合规性检查算法具有重要意义。