机译:用于Web服务组合和验证的基于质量控制的基于逻辑的群集方法
Department Computer Science and Technology, Ho Chi Minh City University of Technology, Vietnam Department of Information Technology, Quang Nam University, Le Loi Tarn Ky City Qudng Nam, Vietnam;
Department of Computer Science and Technology, Ho Chi Minh City University of Technology, Ho Chi Minh City, Vietnam;
Department of Computer Science and Technology, Ho Chi Minh City University of Technology, Ho Chi Minh City, Vietnam;
Intra-Cluster similarity; Logic-based web service clustering; Logic-based web service similarity; Quality-Controlled clustering; Web service clustering; Web service composition;
机译:一种尺寸不能满足所有需求:基于逻辑的群集可实时进行Web服务组合和验证
机译:Web服务组合验证的有界模型检查方法
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:WSCOVER:使用启发式模型检查和基于逻辑的群集自动组合和验证Web服务的工具
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:基于逻辑的Web服务组成与TLA的验证