|
论文《BPEL谓词约束建模及可行路径分析》发表于第十一届全国软件与应用学术会议(NASAC2012)，探讨了BPEL流程中谓词约束的建模方法及其可行路径分析。文章提出一种基于逻辑表达式的约束建模方式，用于描述BPEL流程中的条件分支和路径选择，并通过算法分析流程的可行执行路径，提高BPEL流程的正确性和可验证性。 文档为pdf格式，0.74MB，总共9页。
- 文件大小:
- 757.76 KB
- 下载次数:
- 60
- BPEL谓词约束建模及可行路径分析 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
| 
