| 时间UML-Statecharts建模的工作流时序约束的一致性验证 |
| |
| 引用本文： | 张广泉,陆公正,戎玫. 时间UML-Statecharts建模的工作流时序约束的一致性验证[J]. 计算机科学, 2006, 33(11): 98-101 |
| |
| 作者姓名： | 张广泉 陆公正 戎玫 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院,苏州,215006;暨南大学深圳旅游学院,深圳,518053 |
| |
| 基金项目： | 江苏省高校自然科学基金;重庆市教委资助项目;重庆市自然科学基金;国家重点实验室基金 |
| |
| 摘 要： | 工作流模型验证已经成为工作流的重要研究领域之一，工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证，检查是否存在相冲突的时序约束。
|
| 关 键 词： | 工作流 UML-Statecharts 模型检测 时序约束 一致性 |
Verification of Consistency of Temporal Constraints of the Workflow Modeling by Timed UML-Statecharts |
| |
| ZHANG Guang-Quan,LU Gong-Zheng,RONG Mei. Verification of Consistency of Temporal Constraints of the Workflow Modeling by Timed UML-Statecharts[J]. Computer Science, 2006, 33(11): 98-101 |
| |
| Authors: | ZHANG Guang-Quan LU Gong-Zheng RONG Mei |
| |
| Affiliation: | School of Computer Science and Technology, Soochow University, Suzhou 215006; Shenzhen Touvism College,Jinan University,Shenzhen 518053 |
| |
| Abstract: | Verification of workfiow model has been one of the important research fields of Workflow, the verification of correctness of temporal has been paid more attention. This paper extends the UML-statecharts with time, and creates the time model of the Workflow, then translates the model into time automata. Finally, the paper verifies the consistency of the temporal constraints using the model checking in build time, instantiation time and run-time, and checks the model whether having conflicts among temporal constraints. |
| |
| Keywords: | UML-Statecharts |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
