搜索结果: 1-2 共查到“计算机科学技术 XPDL”相关记录2条 . 查询时间(0.331 秒)
工作流建模语言XPDL到CSP进程的转化研究
工作流 XPDL CSP进程
2009/2/11
针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。