OCL 2.0表达式语义学比较研究

• 作者: 缪淮扣 黎升洪
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: OCL 语义学 UML 形式化方法
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 软件工程和中间件
• 页码范围: 182-185,201
• 页数: 5页
• 分类号: TP311
• 字数: 3925字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2005.z1.052

摘要

从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	黎升洪	上海大学计算机工程与科学学院	3	37	3.0	3.0