互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于时序逻辑的业务过程约束建模及验证


□ 高俊涛 张 莉

  (北京航空航天大学 计算机学院, 北京 100191)
  
  摘 要:
  提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模。
  关键词:业务约束;时序逻辑; 业务建模
  中图分类号:TP311文献标志码:A
  文章编号:1001-3695(2009)04-1342-03
  
  Verification ofbusiness process constraints based on temporal logic
  
  GAO Jun-tao, ZHANG Li
  (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.
  Key words:constraint rule;temporal logic;business modeling
  
  为了适应外部环境的持续变化,企业必须不断地改进业务过程,以保持核心竞争力[1]。然而企业在不断调整自身业务过程的同时,其行为不可避免地受到诸多外界条件的影响和制约。这些外界条件可能来自于国家法律、法规、行业标准,以及风俗习惯,并不以企业的意志为转移[2]。显然,各种约束规则对业务过程的限制,对业务过程的设计和改进具有重要影响。特别是对于业务过程复杂、约束规则众多的大型企业,在业务过程重组的过程中很难快速判断业务过程是否符合所有约束规则,因此在不断调整业务过程和约束规则的同时,快速准确地验证业务过程是否符合约束规则,就成为企业成功实施业务过程改进或重组的必要条件。 ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017