OCL 2.0表达式语义学比较研究
【摘要】:从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.
|
|
|
|
1 |
宫慧颖,汪美玲,刘磊;基于属性文法的本体形式化描述方法及其应用[J];吉林大学学报(信息科学版);2005年02期 |
2 |
周颖
,郑国梁
,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期 |
3 |
许维新,虞慧群;基于TCOZ的UML用例图的形式化模型[J];华东理工大学学报;2004年01期 |
4 |
杨军;葛海通;郑飞君;严晓浪;;一种形式化验证方法:模型检验[J];浙江大学学报(理学版);2006年04期 |
5 |
邵维忠,蒋严冰,麻志毅;UML现存的问题和发展道路[J];计算机研究与发展;2003年04期 |
6 |
周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期 |
7 |
黄春荣,李宣东,郑国梁;UML模型到COOZ规约的形式化转换[J];计算机工程与应用;2003年20期 |
8 |
尹剑飞;王学斌;;模型转换的重写逻辑构架研究[J];计算机工程与应用;2006年02期 |
9 |
王友;张广泉;;B方法在家庭智能控制系统开发中的应用[J];计算机工程与应用;2006年24期 |
10 |
缪淮扣;陈怡海;;带OCL约束条件的类图到Object-Z规格说明的转换[J];计算机科学;2007年01期 |
|
|
|
|
|
1 |
谭永胜;;产品中曲面连续形态的语义解读[J];艺海;2011年06期 |
2 |
;[J];;年期 |
3 |
;[J];;年期 |
4 |
;[J];;年期 |
5 |
;[J];;年期 |
6 |
;[J];;年期 |
7 |
;[J];;年期 |
8 |
;[J];;年期 |
9 |
;[J];;年期 |
10 |
;[J];;年期 |
|