首页 | 本学科首页   官方微博 | 高级检索  
     

基于时序逻辑的业务过程约束建模及验证*
引用本文:高俊涛,张莉.基于时序逻辑的业务过程约束建模及验证*[J].计算机应用研究,2009,26(4):1342-1344.
作者姓名:高俊涛  张莉
作者单位:北京航空航天大学,计算机学院,北京,100191
基金项目:国家“973”计划重点资助项目(2007CB310803);国家“863”计划资助项目(2006AA04Z165)
摘    要:提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模。

关 键 词:业务约束  时序逻辑  业务建模

Verification of business process constraints based on temporal logic
GAO Jun-tao,ZHANG Li.Verification of business process constraints based on temporal logic[J].Application Research of Computers,2009,26(4):1342-1344.
Authors:GAO Jun-tao  ZHANG Li
Affiliation:School of Computer Science & Engineering;Beihang University;Beijing 100191;China
Abstract:This paper proposed a kind of visual constraint modeling language for business processes, namely VCML and pro-ducted research on automatic verification technology. Used XYZ/E to formally define the VCML model and business process model. Described the business process in VPML(visual process modeling language), then discussed to implement the method using model checking technology. At last, illustrated an example the modeling of business process constraint.
Keywords:constraint rule  temporal logic  business modeling
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机应用研究》浏览原始摘要信息
点击此处可从《计算机应用研究》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号