针对工作流模式执行约束的解决方案

• 作者: 付丽娜 郝克刚
• 来源期刊: 计算机应用研究
• 关键词: 工作流模式 执行约束 信牌驱动模型 安全 并发
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 2500-2504
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.07.026

摘要

在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持.首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法,提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝克刚	西北大学信息学院计算机系	122	1609	23.0	34.0
2	付丽娜	西北大学信息学院计算机系	5	13	2.0	3.0