收藏本站
《华中科技大学学报(自然科学版)》 2005年S1期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前3条
1 罗清胜;OCL约束验证与实现方法研究[D];江西财经大学;2006年
2 杜浩;基于OCL的MDA模型转换方法与规则库应用研究[D];大连海事大学;2007年
3 燕昊;UML建模的形式化研究[D];兰州大学;2006年
【共引文献】
中国博士学位论文全文数据库 前1条
1 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
中国硕士学位论文全文数据库 前1条
1 杨林;基于UML的实时系统建模及顺序图时间约束研究[D];湖南大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
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条
1 袁长峰;产品需求分析与配置设计研究[D];大连理工大学;2006年
中国硕士学位论文全文数据库 前8条
1 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
2 张媛媛;软件开发的建模技术研究与应用[D];首都经济贸易大学;2005年
3 刘奎;基于模式的PIM到PSM模型变换方法的研究[D];合肥工业大学;2005年
4 吴海生;元建模在模型驱动架构中的应用研究[D];华东师范大学;2005年
5 陈琳琳;软件体系结构描述语言XYZ/ADL与UML的转换机制研究[D];苏州大学;2006年
6 罗清胜;OCL约束验证与实现方法研究[D];江西财经大学;2006年
7 莫兴波;基于产品配置的绿色设计方法研究[D];合肥工业大学;2007年
8 陈武;UML状态机的形式化语义研究[D];西南师范大学;2004年
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 关春花;信息融合模型及形式化研究[D];江西财经大学;2006年
2 单卓为;基于SPIN的UML模型验证技术的研究[D];西北大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 谭永胜;;产品中曲面连续形态的语义解读[J];艺海;2011年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前7条
1 易绵竹;南振兴;李绍哲;薛恩奎;;文本生成与理解的语言学模拟——伊戈尔·梅里丘克《意思(?)文本》模型评介[A];语言计算与基于内容的文本处理——全国第七届计算语言学联合学术会议论文集[C];2003年
2 罗琳;刘金凤;郭嘉伟;亢世勇;姜岚;;汉语文本蕴涵库的设想与实现[A];中国计算机语言学研究前沿进展(2007-2009)[C];2009年
3 吴晨;张全;缪建明;韦向峰;;自然语言语义理解下的信息检索模型[A];第三届学生计算语言学研讨会论文集[C];2006年
4 严灿勋;刘慧敏;;从语义关系的复杂性看语义词典建设[A];第五届全国青年计算语言学研讨会论文集[C];2010年
5 李蓉梅;张鸿军;茅志华;何守才;;多媒体数据库的可视化查询及其实现[A];第十五届全国数据库学术会议论文集[C];1998年
6 毛家菊;高峰;陈秋林;陆汝占;;基于情景理论分析VA-语句[A];语言计算与基于内容的文本处理——全国第七届计算语言学联合学术会议论文集[C];2003年
7 夏丽丽;曹雷;何明;;基于可扩展建模与仿真框架(XMSF)的可组合性研究[A];’2004系统仿真技术及其应用学术交流会论文集[C];2004年
中国硕士学位论文全文数据库 前10条
1 丁娜;带OCL约束的活动图多态测试方法的研究[D];重庆大学;2012年
2 柴艳欣;基于OCL约束的状态图测试方法的研究[D];重庆大学;2010年
3 朱日学;基于OCL的产品配置引擎研究与实现[D];河北工业大学;2011年
4 谭力;基于情态演算的UML形式化验证与OCL约束自动生成研究[D];华东师范大学;2010年
5 吴雪梅;面向数据表单的构件库技术的研究与实现[D];东北大学;2005年
6 黄兴华;面向用户的软件组件测试研究与实现[D];上海交通大学;2008年
7 张海峰;UML技术与测试驱动开发技术结合的研究[D];南京航空航天大学;2008年
8 张承龙;在MDA中的模型转换方法研究[D];哈尔滨工程大学;2007年
9 王伟;基于图形转换的UML模型验证与测试[D];大连海事大学;2008年
10 王军庄;DTS数据库中数据的快速存取研究[D];华北电力大学(河北);2009年
中国知网广告投放
相关期刊
>艺海
相关机构
>华侨大学美术学院;
相关作者
>谭永胜
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026