|
|||||
|
|
| 基于时间自动机的实时工作流时序约束一致性验证 | |
| 引用本文： | 龙世荣,张广泉,汪宏海.基于时间自动机的实时工作流时序约束一致性验证[J].苏州大学学报(工科版),2009,29(6). |
| 作者姓名： | 龙世荣 张广泉 汪宏海 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院,江苏,苏州,215006;广西教育学院现代教育技术系,广西南宁,530023 2. 苏州大学计算机科学与技术学院,江苏,苏州,215006 3. 赣南教育学院计算机系,江西,赣州,341000 |
| 基金项目： | 中国科学院计算机科学国家重点实验室开放课题，江苏省高校自然科学基金项目 |
| 摘 要： | 提出一种基于时间自动机的实时工作流时间建模与验证方法.该方法首先将实时工作流的时间工作流图转换成时间自动机模型,再利用时间自动机的机制验证其时序约束一致性. |
| 关 键 词： | 实时工作流 时间自动机 一致性验证 |
An Automata-based Approach to the Consistency Verification of Real-time Workflow |
|
| Long Shirong,Zhang Guangquan,Wang Honghai.An Automata-based Approach to the Consistency Verification of Real-time Workflow[J].Journal of Suzhou University(Engineering Science Edition),2009,29(6). | |
| Authors: | Long Shirong Zhang Guangquan Wang Honghai |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |