余莹
- 作品数：4 被引量：5H指数：1
- 供职机构：中南大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于逻辑的软件演化执行引擎研究
- 软件演化是指在软件系统的生命周期中软件维护和软件更新的动态行为。随着软件系统规模的不断扩大以及需求的不断变化，对软件模型演化能力的要求也越来越高。目前，软件模型的演化方法主要采用图形的方式来处理。这种描述方式比较复杂，表...
- 余莹
- 关键词：软件系统操作语言执行引擎
- 文献传递
- 基于逻辑的软件演化操作语言及结构化操作语义被引量：4
- 2007年
- 由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
- 任胜兵喻寿益陈松乔余莹
- 关键词：结构化操作语义语义等价
- 基于图变换的工作流建模及正确性分析被引量：1
- 2007年
- 对工作流过程模型的研究是当前工作流研究的热点之一。现有工作流过程模型在可视化、描述全面性、过程分析以及形式化等方面难以均衡,健壮性和柔性不足。针对上述问题,基于图变换设计了一种新的工作流过程模型规范,并在这个工作流过程模型规范的基础上,利用TIGER工具实现了一个工作流建模与分析环境,使得相应工作流过程模型具有直观、简洁、形式化、描述能力强和便于分析的特点。
- 曾平安任胜兵余莹
- 基于Eclipse插件的软件演化操作语言编辑器设计被引量：1
- 2007年
- 目前大多数软件演化操作的描述方法缺乏明确的语义,可扩展能力和描述能力较差。针对这些问题提出了一种结合谓词逻辑的软件演化操作语言SEOL(Software Evolution OperationalLanguage)。在Eclipse插件开发环境下,根据插件的开发机制,设计并实现软件演化操作的编辑器。该编辑器具有一定的语法检查功能,为演化操作分析和运行的实现打下基础。
- 余莹任胜兵段成戈
- 关键词：编辑器插件
