机译:基于高级Petri网的Web服务组合和验证模型
Web service; Web services composition; High-level Petri net; Algebra; Maude;
机译:基于高级Petri网的Web服务组合和验证模型
机译:基于Petri网验证Geodata Web服务组合的声音
机译:基于Petri网的Web服务组成的分层验证
机译:基于高级别的Web服务建模与组成的培养方法
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:基于高级Petri网的Web服务建模和组合方法