TY -的A2 Alviano马里奥AU - Mehdipour Ataee,萨因非盟- Bayram,泽克PY - 2018 DA - 2018/01/24 TI -一种改进的基于抽象状态机的编排规范和执行算法的语义Web服务SP - 4094951六世- 2018 AB -我们识别重要的弱点在最初的抽象状态机(ASM)基于Web服务的编排算法建模本体(WSMO),这使它不切实际的使用语义Web服务编排引擎。我们提出一种改进算法,修正原算法的弱点,以及一个实用,功能齐全的编排引擎实现Flora-2基于改进算法。我们的改进编排算法包括(i)的连接初始状态的ASM的前提目标,(ii)的最终状态的概念引入ASM的执行及其连接的后置条件的目标,和(3)修改ASM的执行,以便它停止最后的状态时,条件是满足当前配置的机器。我们的编排引擎作为输入语义web服务规范F-logic Flora-2方言的书写。此外,我们证明了等价的asm(进化代数)和本体进化在某种意义上,一个可以模拟另一个,第一次在文学。最后,我们提出了可视化编辑器有助于我们F-logic的设计和部署基于web服务规范和目标。SN - 1058 - 9244 UR - https://doi.org/10.1155/2018/4094951 - 10.1155 / 2018/4094951摩根富林明科学编程PB - Hindawi KW - ER