机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:使用Web服务的数字参考服务:概述,设计和规格
机译:使用基于过程模型的服务的Web本体语言,基于过程模型的原子服务发现和组合语义Web服务的组合
机译:派生复合Web服务的规范
机译:由模型驱动的框架,用于语义Web服务的规范,基础和执行。
机译:聚丙烯腈和氧化钴钠前驱体复合纳米纤维网的微结构和热电特性
机译:使用高级petri网对复合Web服务的视图进行规范和验证
机译:复合Web服务规范和验证的表示法