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

Context decision tree modeling and workflow design verification

作　　者：严悍[1] 王宇[1] 丁锋[1] 朱文[1] 许昌年 

机构地区：[1]南京理工大学计算机科学与工程学院,江苏南京210094

出　　处：《现代电子技术》2015年第13期81-84,共4页Modern Electronics Technique

摘　　要：针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题,提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范,利用令牌建立动态计算规则,并讨论比较CDT和其他模型的特点,分析语境判定树模型的优势。实例分析表明,该模型能够满足安全性验证需求,具有良好的规范性、适用性和可扩展性。In multi-role collaboration interactive workflow system, the problems of redundant operation and error operation are caused by multiple context constraint interoperate, so the context decision tree （CDT） model is proposed. The modeling specification of CDT is provided by the modeling method of meta-model. The dynamic calculation rules are built by token. The features between CDT and other models are compared and discussed. The advantages of context decision tree model are ana- lyzed. The example analysis shows that the proposed model satisfies the requirements of security verification, and also has good normalization, applicability and extensibility.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论] TP311[自动化与计算机技术—计算机科学与技术]