Choreography; Conformance verification; Learning algorithm; Model checking; Web service composition;
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:通过piX模型进行Web服务编目一致性验证
机译:流程分析工具包中的模型检查Web服务编排
机译:使用学习和模型检查来验证Web服务编排与实现之间的一致性
机译:使用Web服务编排在电子商务中为业务流程建模。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:检查编排器在Web服务中的编排方案的一致性:一种正式的方法
机译:检查威胁建模数据流程图以实现一致性和安全性。