MDE approach; UML modeling; Web services composition;
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:保证点Web服务组合模型的正式规范
机译:使用模型检查生成Web服务组合的测试用例规范
机译:使用UML-S建模与规范Web服务组合物
机译:交互式和可验证的Web服务组成,规格重新制定和替代
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:使用UML-S进行Web服务组合的建模和规范
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文