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

来源 :华中科技大学学报：自然科学版 | 被引量 : 0次 | 上传用户：jigmei123

【摘要】

：

从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,

【作者】

：

黎升洪缪淮扣

【机构】

：

上海大学,江西财经大学

【出处】

：

华中科技大学学报：自然科学版

【发表日期】

：

2005年z1期

【关键词】

：

OCL 语义学 UML 形式化方法 OCL semantics UML formal method

【基金项目】

：

国家自然科学基金资助项目(60373072),江西省教育厅科技项目(赣教科技便函字[2002]01号).

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

一种动态软件水印算法

提出一种基于CT算法的动态软件水印算法,改变CT算法先构建水印拓扑图再分割的思路,运用中国剩余定理直接对软件水印信息本身进行分割的策略,提高了水印分割的效率,并提出了经

期刊

信息安全软件安全水印算法information securitysoftware securitywatermarkalgorithm

WAP接入服务器综合业务管理平台的设计实现

选择JAVA语言编程实现综合业务管理平台,采用面向组件技术和Avalon框架技术,基于WAP业务中产生的关系和需求,并针对目前分散的各自独立运行管理的WebServer网络结构,设计了一

期刊

WAP技术综合业务管理平台面向组件技术缓存机制连接池技术WAP technologyWSIBMPCOPcache mechanism conn

基于Pi-演算的Web服务可替换性验证

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用

期刊

PI-演算进程代数WEB服务服务替换服务兼容性Pi-calculusprocess algebraWeb servicesservice sub

分布式数据库系统的动态数据再分配算法

为了适应分布式数据库系统的变化,需要制定适当的数据再分配策略,以降低数据再分配的成本.给出两个动态数据再分配算法:部分再分配(Partial Reallocate)和完全再分配(Full Re

期刊

分布式数据库系统目标成本函数迭代爬山算法distributed database system objective cost function it

我校博士后评估工作圆满完成

期刊

博士后评估工作科研高校

一种集成的复杂物流系统仿真体系结构

针对复杂物流系统的复杂性,提出了一种分布式多代理仿真体系结构,阐述了该体系结构在复杂物流系统仿真中的应用过程,将复杂物流系统分布式多代理仿真体系结构和集中式仿真体

期刊

复杂物流系统体系结构分布式仿真多代理仿真集中式仿真complex logistics architecture distributed simul

觉察上下文应用的开放式支撑环境的研究

设计和实现了普适计算中觉察上下文应用的开放式支撑环境-OCAenv.提出并探索了一系列的相关关键技术:觉察上下文功能层次模型、主体-类型模型、上下文服务统一模型、动态绑定

期刊

普适计算觉察上下文开放系统发现技术对象技术pervasive computingcontext-awareopen systemdiscover

一“863”项目有望解决我国水污染问题环境学院研究低成本治污技术

环境学院获得一项具有重大经济效益的国家“十五”重大科技专项 (“863”)课题 .该课题名为“城市污水生物 /生态处理技术与示范” .据了解 ,目前全国 80 0多座城市日排污水

期刊

“863”项目水污染污染治理生物反应器好氧生物法

嵌入式linux系统动态库小型化技术研究

分析了glibc系统库和ELF文件格式的结构,利用关系演算对glibc中的目标文件及其包含的符号进行解析,由此得到各个目标文件之间的依赖关系;通过这些依赖关系对应用程序所需要的

期刊

嵌入式小型化动态链接依赖关系embedded miniaturization dynamic link dependency relation

实时嵌入式系统软件的设计和实现机制

论述了实时嵌入式系统中有关实时性的几个基本概念,分析了中断嵌套和任务调度的工作原理,在此基础上提出了改善实时性能的设计和实现方法.这些方法在双星定位系统用户机软件

期刊

实时嵌入式系统中断嵌套任务调度real-time and embedded system interrupt nesting task schedul

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

与本文相关的学术论文