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

• 作者: 丁锋 严悍 朱文 王宇 许昌年
• 来源期刊: 现代电子技术
• 关键词: 语境判定树 安全性验证 工作流系统 多角色协同 元模型
• 年，卷（期）: 2015,（13）
• 所属期刊栏目: 通信与信息技术
• 页码范围: 81-84
• 页数: 4页
• 分类号: TN02-34|TP311
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严悍	南京理工大学计算机科学与工程学院	39	427	9.0	20.0
2	朱文	南京理工大学计算机科学与工程学院	6	11	2.0	3.0
3	王宇	南京理工大学计算机科学与工程学院	19	38	4.0	5.0
4	许昌年	南京理工大学计算机科学与工程学院	2	2	1.0	1.0
5	丁锋	南京理工大学计算机科学与工程学院	3	2	1.0	1.0