business process execution language (BPEL); web services; work flow; π-calculus;
机译:使用it-演算对Web服务流进行分析和建模
机译:基于授权模型使用Pi演算对动态Web服务组合建模
机译:使用定时Pi演算建模Web服务组成
机译:使用π演算对Web服务流进行分析和建模
机译:语义Web上的Web服务工作流的事务处理建模和执行。
机译:Taverna工作流套件:在桌面Web或云中设计和执行Web服务的工作流
机译:用pi-calculus建模基于Web的动态Web服务组合 权威模型