您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 死路径消除语义下的BPEL过程建模与分析

  2. 针对BPEL过程在死路径消除语义下建模与分析不够完善的问题,提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则,进而可以利用着色Petri网(CPN)形式化地对BPEL过程进行建模,并通过CPNTools对BPEL过程的建模进行自动分析及验证。案例分析表明,该方法具有一定的实用性和可行性,能够帮助软件工程人员更好地测试、调试和维护BPEL程序。
  3. 所属分类:其它

    • 发布日期:2020-10-16
    • 文件大小:523264
    • 提供者:weixin_38520437