| 基于Time Petri Nets的UML时序图分析 |
| |
| 引用本文： | 徐景辉,刘文海,张根度. 基于Time Petri Nets的UML时序图分析[J]. 计算机工程, 2005, 31(19): 105-107 |
| |
| 作者姓名： | 徐景辉 刘文海 张根度 |
| |
| 作者单位： | 复旦大学计算机信息技术系,上海,200433;复旦大学计算机信息技术系,上海,200433;复旦大学计算机信息技术系,上海,200433 |
| |
| 摘 要： | 引入一种称为Clock的变迁，用来改进TPNs，讨论了如何将时序图转换为基于Clock变迁的TPNs，使这种TPNs能正确反映时序图的流程和时间约束。最后，利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证。
|
| 关 键 词： | UML时序图 Time Petri nets 可达性分析 |
| 文章编号： | 1000-3428（2005）19-0105-03 |
| 收稿时间： | 2004-08-13 |
| 修稿时间： | 2004-08-13 |
Analysis of UML Sequence Diagram with Time Petri Nets |
| |
| XU Jinghui,LIU Wenhai,ZHANG Gendu. Analysis of UML Sequence Diagram with Time Petri Nets[J]. Computer Engineering, 2005, 31(19): 105-107 |
| |
| Authors: | XU Jinghui LIU Wenhai ZHANG Gendu |
| |
| Affiliation: | Dept. of Computer Information Technology, Fudan University, Shanghai 200433 |
| |
| Abstract: | The paper focuses on how to transform UML sequence diagram into such a TPNs improved by invoking a new transition called Clock and the TPNs model can reflect workflow and time constraints of sequence diagram correctly.It analyzes and verifies sequence diagrams based on the technology of reachability analysis of basic Petri nets at last. |
| |
| Keywords: | UML sequence diagram Time Petri nets Reachability analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
