Internet; business communication; formal verification; groupware; open systems; Web services; choreography language; formal semantics; service oriented computing; Choreography languages; Service Oriented Computing; Web services;
机译:基于描述逻辑的服务编排验证的一种形式化方法
机译:使用π微积分进行WS-CDL编排的形式化建模和验证
机译:通过电子商务应用程序进行Web服务编排中形式兼容性分析的需求
机译:建立正式的舞蹈编排框架
机译:基于I / O自动机的Web服务编排的正式方法。
机译:一种用于自动驾驶汽车的正式和可量化的日志分析框架
机译:建立正式的舞蹈编排框架