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

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

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模.
Verification of business process constraints based on temporal logic

高俊涛、张莉

展开 >

北京航空航天大学,计算机学院,北京,100191

业务约束 时序逻辑 业务建模

国家重点基础研究发展规划(973计划)国家高技术研究发展计划(863计划)

2007CB3108032006AA04Z165

2009

计算机应用研究
四川省电子计算机应用研究中心

计算机应用研究

CSTPCDCSCD北大核心
影响因子：0.93
ISSN：1001-3695
年,卷(期)：2009.26(4)
  • 1
  • 5