| UML类结构的形式化 |
| |
| 引用本文： | 明仲,李师贤. UML类结构的形式化[J]. 计算机工程与应用, 2001, 37(9): 51-54 |
| |
| 作者姓名： | 明仲 李师贤 |
| |
| 作者单位： | 中山大学信息科技学院 |
| |
| 基金项目： | 国家自然科学基金资助项目!（编号：79840761843） |
| |
| 摘 要： | 为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视。通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模型，便于对模型进行严格的分析。ＵＭＬ是一种被推荐的面向对象建模语言，ＲＡＩＳＥ是欧洲流行的一种形式方法，该文使用ＲＡＩＳＥ来表达ＵＭＬ类结构的含义。
|
| 关 键 词： | 形式化 UML 面向对象 类结构 |
| 文章编号： | 1002-8331-(2001)09-0051-04 |
| 修稿时间： | 2000-12-01 |
Towards a Formalization of UML Class Structures in RAISE |
| |
| MING Zhong,Li Shixian. Towards a Formalization of UML Class Structures in RAISE[J]. Computer Engineering and Applications, 2001, 37(9): 51-54 |
| |
| Authors: | MING Zhong Li Shixian |
| |
| Abstract: | It is a important work to develop a firm semantic base for object-oriented concepts.By providing precise characterizations of object-oriented modeling concepts one gains the ability to build precise OO models of behavior and structure that can be rigorously analysed. UML is a distillation of three best OO methodologies ?Booch, OOSE and OMT It is recommanded by OMG. RAISE is a popular formal method in Europe currently.This paper presents a formalization of the class structure of UML with RSL(RAISE Specification Language). |
| |
| Keywords: | formalization Unified Modeling Language(UML) object-oriention class structure |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
