基于状态空间的工作流模型验证

• 作者: 赵文耘 赵磊 钱乐秋
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 工作流模式 依赖 断言 状态空间 验证算法
• 年，卷（期）: 2004,（10）
• 所属期刊栏目: 工程与应用
• 页码范围: 220-222
• 页数: 3页
• 分类号: TP311
• 字数: 3530字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.10.071

摘要

工作流模型的正确性和可靠性是工作流管理系统健壮性的基础.该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵文耘	复旦大学计算机与信息技术系	154	1327	20.0	28.0
2	钱乐秋	复旦大学计算机与信息技术系	61	1658	21.0	39.0
3	赵磊	复旦大学计算机与信息技术系	4	44	3.0	4.0