Web services; business data processing; formal specification; formal verification; BPEL4WS process requirement; Web service verification; action sequence; binary behavioral specification; compliance verification; compositional Web service; labeled transition system; temporal relation; behavioral mode; behavioral verification;
机译:组合Web服务的二进制活动链模式及其符合性验证
机译:基于模型转换的Web服务组合建模与验证
机译:建模和验证由承诺协议控制的编排的基于多代理的Web服务组合
机译:基于动作序列和合规性验证的二进制行为模式进行组建Web服务
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:组合Web服务的二元活动链模式及其合规性验证