| UML实时活动图的形式化分析 |
| |
| 引用本文： | 崔萌,李宣东,郑国梁.UML实时活动图的形式化分析[J].计算机学报,2004,27(3):339-346. |
| |
| 作者姓名： | 崔萌 李宣东 郑国梁 |
| |
| 作者单位： | 南京大学计算机科学与技术系,南京,210093;南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 国家自然科学基金 ( 6 0 2 0 70 3 6，6 0 2 3 3 0 2 0 )，国家“八六三”高技术研究发展计划基金 ( 2 0 0 1AA1 1 3 2 0 3，2 0 0 2AA1 1 6 0 90 )，江苏省自然科学基金 (BK2 0 0 1 0 3 3 )资助 |
| |
| 摘 要： | 统一建模语言(UML)自从成为OMG规范后，应用越来越广泛．但UML没有精确的、形式化的语义阻碍了它的进一步发展．该文基于Petri网，给出带时间约束的UML活动图的形式化描述．与Petri网不同的是，Petri网的时间约束是在跃迁(transition)上，而作者将UML活动图的时间约束放在活动状态上,在此基础上，用整型时间的验证技术对实时活动图的时间性质加以分析，为实时系统的建模打下了基础.
|
| 关 键 词： | UML 统一建模语言 OMG规范 面向对象 活动图 形式化分析 |
Formal Analysis on UML Real-Time Activity Diagram |
| |
| CUI Meng,LI Xuan,Dong,ZHENG Guo,Liang.Formal Analysis on UML Real-Time Activity Diagram[J].Chinese Journal of Computers,2004,27(3):339-346. |
| |
| Authors: | CUI Meng LI Xuan Dong ZHENG Guo Liang |
| |
| Abstract: | |
| |
| Keywords: | Unified Modeling Language(UML) activity diagram real time system Petri net formal semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
