基于线性时序逻辑的业务流程验证

作者：丁明; 鱼滨; 陈峰; 郝克刚

来源：西北大学学报(自然科学版), 2012, (02): 226-230.

• 业务流程
• 验证技术
• 模型检测
• 线性时序逻辑 business process
• verification technology
• model checking
• linear temporal logic

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。

• 单位
  西北大学; 西安电子科技大学