Web services; program verification; software architecture; temporal logic; BPEL4WS; Business Process Execution Language for Web Services; TLA; Web services composition; composition modeling; composition verification; model checking; service-oriented architecture; software engineering;
机译:Web服务组成建模和编排分析
机译:使用基于过程模型的服务的Web本体语言,基于过程模型的原子服务发现和组合语义Web服务的组合
机译:故障分析器模型,用于在Web服务组合期间检测故障Web服务
机译:使用TLA进行Web服务组合的建模和分析
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务构图建模和编排分析
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文