web service behavior; workflow nets; consume-produce-read nets; service composition; service adaptation; service verification;
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:基于服务工作流质量的遗传算法选择Web服务
机译:使用Enhydra工作流平台在Internet中进行Web服务建模和执行
机译:Web协调债券的基本能力:建模Petri网并表达Web服务的工作流程和通信模式
机译:语义Web上的Web服务工作流的事务处理建模和执行。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:Web协调绑定的基本功能:通过Web服务建模petri网并表达工作流和通信模式