语境判定树建模与工作流设计验证

摘要：

针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题，提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范，利用令牌建立动态计算规则，并讨论比较CDT和其他模型的特点，分析语境判定树模型的优势。实例分析表明，该模型能够满足安全性验证需求，具有良好的规范性、适用性和可扩展性。

关键词：语境判定树、安全性验证、工作流系统、多角色协同、元模型

分类号：TN02-34;TP311(一般性问题)

在线出版日期：2015-07-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：81-84