...
机译:基于模型检查的组合Web服务中的冲突检测
Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea;
Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea;
Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea;
Department of Computer Science, Yonsei University, 134 Shinchon-dong, Sudaemoon-ku, Seoul 120-749, South Korea;
Intelligent Convergence Media Research Department, Electronics and Telecommunications Research Institute, 138 Gajeongno, Yuseong-gu, Daejeon 305-700, South Korea;
Intelligent Convergence Media Research Department, Electronics and Telecommunications Research Institute, 138 Gajeongno, Yuseong-gu, Daejeon 305-700, South Korea;
conflict detection; model checking; composite web service; OWL-S; SWRL; SPIN;
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:使用操作和控制行为对组合Web服务进行符号模型检查
机译:使用基于过程模型的服务的Web本体语言,基于过程模型的原子服务发现和组合语义Web服务的组合
机译:一种基于模型检查多算系统的Web服务组合的方法
机译:全面的服务管理中间件,用于基于复合Web服务的流程的自治管理。
机译:SBMLmod:基于Python的Web应用程序和Web服务用于高效的数据集成和模型仿真
机译:指定和验证合同驱动的组合Web服务:一种模型检查方法