您的位置： 专家智库 > >

郑睿

作品数：1 被引量：3H指数：1
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家教育部博士点基金吉林省科技发展计划基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇一致性
  • 1篇软件体系结构
  • 1篇体系结构

机构

  • 1篇吉林大学

作者

  • 1篇刘磊
  • 1篇金龙飞
  • 1篇郑睿

传媒

  • 1篇吉林大学学报...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
软件体系结构在行为与结构演化中的一致性保持被引量：3
2007年
通过给出的体系结构模型,分析了在体系结构演化中需要保持的一致性,并提出一种基于规则转换的体系结构演化方法.应用通信序列进程(CSP)作为形式化的描述手段,在抽象层定义了体系结构在行为与结构演化中为保持一致性需满足的条件,为每步转换规则进行了形式化约束,使演化结束时的体系结构依然满足一致性条件.
郑睿金龙飞刘磊
关键词：一致性
全选 清除 导出
共1页<1>
聚类工具0