机译:以基于VPN的方法检测和分析BPEL过程的并发缺陷
Tongji Univ Dept Comp Sci & Technol Shanghai 201800 Peoples R China;
Tongji Univ Dept Comp Sci & Technol Shanghai 201800 Peoples R China;
Tongji Univ Dept Comp Sci & Technol Shanghai 201800 Peoples R China;
Business Process Execution Language; BPEL; concurrent flaws; data; variable Petri net; VPN;
机译:在基于BPEL的Web服务组合过程中验证并发属性
机译:基于模板的业务流程与BPEL流程之间自动映射的方法
机译:基于模板的业务流程与BPEL流程之间自动映射的方法
机译:CTPLAN:一种基于计划的并发算法中缺陷自动检测方法
机译:神经网络模型,用于检测控制图中的并发异常模式,并为过程能力指数估算器开发较短且无偏差的间隔。
机译:使用BPEL定义可执行CDS规则流程
机译:在WS-BPEL程序中检测与并发相关的有问题的活动安排
机译:用于评估NDE缺陷可检测性的保守边际方法的适用性