西北大学学报（自然科学版）
西北大學學報（自然科學版）
서북대학학보（자연과학판）
JOURNAL OF NORTHWEST UNIVERSITY(NATURAL SCIENCE EDITION)
2012年
2期
226-230
,共5页
丁明%鱼滨%陈峰%郝克刚
丁明%魚濱%陳峰%郝剋剛
정명%어빈%진봉%학극강
业务流程%验证技术%模型检测%线性时序逻辑
業務流程%驗證技術%模型檢測%線性時序邏輯
업무류정%험증기술%모형검측%선성시서라집
目的 为了解决业务流程设计与需求的不一致性问题.方法 提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法.结果 采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作.结论 实现了对流程正确性的判断.
目的 為瞭解決業務流程設計與需求的不一緻性問題.方法 提齣瞭一種基于XML過程定義語言和線性時序邏輯的業務流程驗證方法.結果 採用Promela語言描述業務流程模型,線性時序邏輯錶示抽象的業務需求,通過模型檢測器Spin完成流程的驗證工作.結論 實現瞭對流程正確性的判斷.
목적 위료해결업무류정설계여수구적불일치성문제.방법 제출료일충기우XML과정정의어언화선성시서라집적업무류정험증방법.결과 채용Promela어언묘술업무류정모형,선성시서라집표시추상적업무수구,통과모형검측기Spin완성류정적험증공작.결론 실현료대류정정학성적판단.
