2009国际信息技与应用论坛的会议论文《一种进程代数风格的基于时序逻辑的工作流建模方法》提出了一种结合进程代数与时序逻辑的工作流建模方法。该方法通过形式化手段提高工作流模型的精确性和可验证性，适用于复杂业务流程的分析与优化。研究为工作流系统的建模与验证提供了新的理论支持。
文档为pdf格式，0.67MB，总共5页。
举报
