使用扩展区间时序逻辑为并发工作流建模

• 作者: 段振华 雷丽晖
• 来源期刊: 西安电子科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 并发工作流 区间时序逻辑 确定有限自动机
• 年，卷（期）: 2007,（4）
• 页码范围: 673-680
• 页数: 8页
• 分类号: TP393
• 字数: 6632字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2007.04.034

摘要

针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流.结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型.利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
2	雷丽晖	西安电子科技大学计算理论与技术研究所	5	111	4.0	5.0