机译:基于描述逻辑的服务编排验证的一种形式化方法
PLA Army Engineering University Nanjing China The 28th Research Institute of China Electronics Technology Group Corporation Nanjing China Southeast University Nanjing China;
The 28th Research Institute of China Electronics Technology Group Corporation Nanjing China;
PLA Army Engineering University Nanjing China;
Service choreography; WS-CDL; meta-concept model; description logic; formal verification;
机译:基于描述逻辑的验证服务编排模型
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:经过正式验证的基于Tableau的描述逻辑推理器
机译:Web服务编排描述语言的正式模型与验证
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:紧急医疗服务中的药物安全性:采用基于证据的验证方法以减少错误
机译:Web服务编排描述语言的形式化模型与验证
机译:防止ada服务中拒绝服务的形式规范和验证方法。