机译:基于Petri网和QoS的Web服务自动组合模型
机译:基于Petri网和QoS的Web服务自动组合模型
机译:Web服务属性序列图监视器:用于监视基于场景的规范的基于BPEL的Web服务组成的工具链
机译:WS-Net:基于Petri-net的Web服务规范模型
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:SBMLmod:基于Python的Web应用程序和Web服务用于高效的数据集成和模型仿真
机译:使用高级petri网对复合Web服务的视图进行规范和验证