| 基于线性时序逻辑的业务流程验证 |
| |
| 引用本文： | 丁明,鱼滨,陈峰,郝克刚. 基于线性时序逻辑的业务流程验证[J]. 西北大学学报(自然科学版), 2012, 0(2): 226-230 |
| |
| 作者姓名： | 丁明 鱼滨 陈峰 郝克刚 |
| |
| 作者单位： | 西北大学信息科学与技术学院;西安电子科技大学计算机学院 |
| |
| 基金项目： | 国家自然科学基金资助项目(60871097);陕西省科技厅工业公关基金资助项目(2009k08-11) |
| |
| 摘 要： | 目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。
|
| 关 键 词： | 业务流程 验证技术 模型检测 线性时序逻辑 |
The model checking of business process based on linear temporal logic |
| |
| DING Ming,YU Bin,CHEN Feng,HAO Ke-gang. The model checking of business process based on linear temporal logic[J]. Journal of Northwest University(Natural Science Edition), 2012, 0(2): 226-230 |
| |
| Authors: | DING Ming YU Bin CHEN Feng HAO Ke-gang |
| |
| Affiliation: | 1(1.School of Information and Technology,Northwest University,Xi′an 710127,China; 2.School of Computer Science and Technolgoy,Xidian University,Xi′an 710071,China) |
| |
| Abstract: | |
| |
| Keywords: | business process verification technology model checking linear temporal logic |
| 本文献已被 CNKI 等数据库收录！ |
|
