“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2009ZX01043-001-06)
- 作品数：5 被引量：23H指数：2
- 相关作者：吕建曹春胡昊宋巍马晓星更多>>
- 相关机构：南京大学河海大学南京理工大学更多>>
- 发文基金：国家重点基础研究发展计划国家科技重大专项国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 上下文相关图文法的表达能力分析被引量：3
- 2012年
- 上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性.
- 邹阳吕建曹春胡昊宋巍杨启亮
- 关键词：可视化语言上下文相关图文法
- 并行性挖掘的图文法方法
- 2011年
- 并行性分析技术一般通过对程序的控制与数据流图或相关依赖图的分析来实现,因而需要从程序中抽取出相应依赖图的算法的支持.本文基于上下文相关图文法RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制与数据流图,而且设计了相应的并行性分析算法以挖掘GPPL图程序的并行性特征.GPPL图语言可视为并行程序设计与程序代码生成之间的协同语言,从而使并行性挖掘避免了从程序中抽取出相应依赖图的过程.与已有的描述顺序或并行程序的图语言及其分析算法相比,GPPL图程序形式更为简洁和直观,易于设计,描述能力也更强;基于GPPL图的并行性分析算法的分析能力更强,而且具有可扩展性.
- 邹阳吕建曾晓勤
- 基于集合的上下文建模和操作
- 上下文感知是普适计算的最主要特征之一,它要求系统能够依据当前的上下文调节自身的行为。现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何对"上下文进行操作"这一方面的形式化工作却很少...
- 马骏曹建农马超陶先平
- 关键词：上下文感知上下文建模普适计算集合论
- 文献传递
- 一种基于OCL的体系结构一致性验证环境被引量：2
- 2012年
- 在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。
- 曹流曹春
- 关键词：软件体系结构OCL
- 过程感知信息系统中过程的动态演化被引量：18
- 2011年
- 支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.
- 宋巍马晓星胡昊吕建
- 关键词：高效性
- Artemis-COOR:一个基于Agent的软件动态协同支撑平台
- 2010年
- 针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。
- 曹春马晓星陶先平
- 关键词：软件AGENT软件体系结构
