洪媛
- 作品数：6 被引量：8H指数：1
- 供职机构：重庆大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种B语言描述的需求模型到PIM的转换方法被引量：1
- 2010年
- MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变得更为容易,从而达到增强PIM精确性的目的;其次,通过对三种形式化语言的对比研究,发现B语言在需求模型的表示及转换方面具有优势,并结合例子展示了如何使用B语言对软件需求进行形式化描述;最后,本文结合模型转换框图,给出了B方法和类图的ecore元模型的图形化描述,进一步给出了用B语言描述的需求模型到PIM的基本转换规则,并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。
- 曾一王艳丽洪媛王健刘引
- 关键词：MDAB语言ATL
- 在区分服务上的VoIP仿真评价研究
- 2010年
- 分析了区分服务的工作原理和影响VoIP语音质量的主要因素,介绍了一种语音质量的客观评价方法——E模型,运用ns-2仿真器构建网络仿真模型,比较VoIP在区分服务和传统网络中的性能表现,利用E模型对VoIP的性能进行了定量的客观评价,并为区分服务对VoIP的支持能力提供了用户级语音质量的分析。
- 龚艺曾一洪媛陈连平
- 关键词：网络语音仿真
- 基于动态行为和模糊识别的Aspect挖掘方法
- 2009年
- 横切关注点是指分布在多个单元模块的功能代码,面向方面的编程是解决传统编程过程中横切问题的重要方法之一,其中一个重要问题是如何从现有系统中发现横切关注点。该文提出一种基于动态行为和模糊模式识别的Aspect挖掘方法,通过引入Aspect获取运行时方法调用的信息,使程序具有自动收集动态信息的能力,并利用模糊理论识别系统中的横切关注点。实验验证了该方法的有效性和实现的简洁性。
- 刘引曾一洪媛王海波李强陈传超吴光金王健
- 关键词：面向方面编程ASPECT挖掘模糊模式识别
- 基于元模型的MDA软件建模技术研究
- 随着软件的应用规模不断扩大、应用需求不断上升，软件开发经历了一个从汇编语言向高级语言、从面向过程开发向面向对象开发的发展历程。在应用需求复杂多变的今天，传统软件开发存在诸如软件生产效率低、可移植性差、互操作性差和不易维护...
- 洪媛
- 关键词：模型驱动架构元模型
- 文献传递
- 一种支持MDA的UML类图到RDB模型的转换方法被引量：1
- 2010年
- UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。
- 曾一王健洪媛周欣蔡森虎
- 关键词：UML类图关系数据库模型OCLQVT
- 最大树法的Aspect挖掘方法被引量：1
- 2009年
- 提出一种基于最大树的Aspect挖掘方法,该方法使用Aspect的思想,从动态行为挖掘横切关注点获取运行时方法调用的信息,从而构造方法调用关系数据矩阵,在模糊相似关系的理论基础上,引入相似度构造出对象相似矩阵,并利用最大树方法识别系统中的横切关注点,从而为系统的软件重构和复用提供依据。最后通过实验验证了其有效性,进一步通过与目前具有代表性的挖掘方法进行比较,认为本方法具有实现清晰、效率较高的优点。
- 曾一洪媛刘引王健
- 关键词：面向对象编程模式识别
