| OCL 2.0表达式语义学比较研究 |
| |
| 引用本文： | 黎升洪,缪淮扣.OCL 2.0表达式语义学比较研究[J].华中科技大学学报(自然科学版),2005,33(Z1):182-185. |
| |
| 作者姓名： | 黎升洪 缪淮扣 |
| |
| 作者单位： | 1. 上海大学,计算机工程与科学学院,上海,200072;江西财经大学,信息管理学院,江西,南昌,330013
2. 上海大学,计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金资助项目(60373072)，江西省教育厅科技项目(赣教科技便函字[2002]01号) |
| |
| 摘 要： | 从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.
|
| 关 键 词： | OCL 语义学 UML 形式化方法 |
| 文章编号： | 1671-4512(2005)S1-0182-04 |
| 修稿时间： | 2005年8月25日 |
The research on comparisons of OCL 2.0 expression semantics |
| |
| Li Shenghong,Miao Huaikou.The research on comparisons of OCL 2.0 expression semantics[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2005,33(Z1):182-185. |
| |
| Authors: | Li Shenghong Miao Huaikou |
| |
| Institution: | Li Shenghong Miao Huaikou Dr.,School of Computer Engineering and Science,Shanghai University,Shanghai 200072,China. |
| |
| Abstract: | |
| |
| Keywords: | OCL semantics UML formal method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
