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

• 作者: 张莉 高俊涛
• 来源期刊: 计算机应用研究
• 关键词: 业务约束 时序逻辑 业务建模
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1342-1344,1356
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.04.041

摘要

提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张莉	北京航空航天大学计算机学院	98	956	16.0	28.0
2	高俊涛	北京航空航天大学计算机学院	2	2	1.0	1.0