| UML视图的一种形式化模型及其分析 |
| |
| 引用本文： | 王润,宋国新,虞慧群.UML视图的一种形式化模型及其分析[J].华东理工大学学报(自然科学版),2003,29(3):284-290. |
| |
| 作者姓名： | 王润 宋国新 虞慧群 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237 |
| |
| 基金项目： | 教育部高等学校骨干教师资助项目 |
| |
| 摘 要： | UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。
|
| 关 键 词： | 形式化方法 UML TCOZ 模型 分析 |
| 文章编号： | 1006-3080(2003)03-0284-07 |
| 修稿时间： | 2002年8月29日 |
A Formal Model of UML Diagrams and Its Analysis |
| |
| WANG Run,SONG Guo xin ,YU Hui qun.A Formal Model of UML Diagrams and Its Analysis[J].Journal of East China University of Science and Technology,2003,29(3):284-290. |
| |
| Authors: | WANG Run SONG Guo xin YU Hui qun |
| |
| Institution: | WANG Run,SONG Guo xin *,YU Hui qun |
| |
| Abstract: | UML is a modeling language in general use for industrial software systems. However, its absence of formal semantics and rigorous reasoning mechanism results in its inaccuracy in system modeling and inefficiency for system development. TCOZ is a formal language combining features of Object Z and Timed CSP, which is powerful in system modeling. Based on TCOZ, this paper proposes a formal model for UML diagrams and gives several transition rules for class diagrams and collaboration diagrams, which makes it possible to apply the formal reasoning mechanism of TCOZ to analyzing UML diagrams. A detailed case study of a school information system illustrates our method for modeling and analyzing UML diagrams. |
| |
| Keywords: | formal method UML TCOZ model analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
