论文部分内容阅读
模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等。
模型驱动开发中模型演化语法和语义特性研究
【摘 要】
：
模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型
【机 构】
：
中山大学计算机科学系,广东工业大学计算机学院,广东外语外贸大学思科信息学院
【出 处】
：
计算机科学
【发表日期】
：
2012年7期
【基金项目】
：
国家自然科学基金（60774095）, 广东省自然科学基金（9451009001002777）资助
其他文献
类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来
针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该
为了弥补传统决策树算法的不足,提出一种基于相对决策熵的决策树算法DTRDE。首先,将Shannon提出的信息熵引入到粗糙集理论中,定义一个相对决策熵的概念,并利用相对决策熵来度
提出了一种能够抵抗万能攻击者的安全网络编码算法。在敌人可以窃听所有节点和信道及污染zo个链路的情况下,该算法利用稀疏矩阵对信源信息进行矩阵变换,增强了信息的抗窃听能
Star网络、Pancake网络、Bubblesort网络、修正Bubblesort网络（又称圈图）、轮图等都既是Cayley图又是重要的互连网络。利用图的笛卡尔乘积方法构建了几类新的笛卡尔乘积互连网
针对三维动画场景,提出了一种支持多种运动方式的虚拟角色路径规划方法。根据具体角色的动作特征(飞、爬、走)建立不同的模型,然后利用A*算法搜索出一条无碰撞路径,最后对路径进行优化。实验表明,应用该方法规划出的路径适应于不同尺度的虚拟角色,并支持飞行、爬行、行走等多个运动动作,体现了三维路径规划的基本特征。
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP（Timed Behavior Protocol）及其它学术界和工
频谱感知是认知无线电的关键技术之一。在信噪比较低并且对主用户信号先验知识知道较少的情况下，主用户检测对于认知无线电设备来说是非常重要的。对有噪MFSK信号在循环频率处
局部均值分解（LMD）是一种新的非线性非平稳信号处理方法,该方法具有较强的自适应性,能将复杂信号分解为一系列具有物理意义的PF（production function）分量。但在信号分解过程中会
在Web服务组合过程中,常因交互协议不一致等导致服务失配;Web服务失配检测可准确捕捉失配点,为实现服务的有效组合奠定基础。采用限界模型检查技术,提出一种基于可满足性模理