位置：成果数据库 > 期刊 > 期刊详情页
软件体系结构动态演化的条件超图文法及分析
  • ISSN号：1000-9825
  • 期刊名称：软件学报
  • 时间：0
  • 页码：1210-1223
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]同济大学计算机科学与技术系,上海201804, [2]东华理工大学计算机科学与技术系,江西抚州344000, [3]嵌入式系统与服务计算教育部重点实验室,上海201804
  • 相关基金：国家自然科学基金（90718015）;;国家高技术研究发展计划（863）（2009AA012201）;;国家重点基础研究发展计划（973）（2007CB316502）;;国家教育部博士点基金（20090072110035）;;上海市优秀学科带头人计划（10XD1404400）;;NSFC-微软亚洲研究院联合资助项目（60970155）;;高效能服务器和存储技术国家重点实验室开放基金（2009HSSA06）
  • 相关项目：WEB智能搜索中的文本内容信任判定方法研究
作者： 徐洪珍|曾国荪|陈波|XU Hong-Zhen1,2,3,ZENG Guo-Sun1,3,CHEN Bo1,3 1(Dep|
关键词： 软件演化, 体系结构, 约束超图, 条件超图文法, 一致性, software evolution； architecture； constraint hypergraph； conditional hypergraph grammar； consistency；
中文摘要：

针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.

英文摘要：

This paper proposes to represent software architectures with constraint hypergraphs,depict pre-and post-assertions of dynamic evolution of software architectures with left and right application conditions,and model the dynamic evolution process of software architectures with conditional hypergraph grammars.Firstly,how to construct conditional hypergraph grammars and how to apply to dynamic evolution of software architectures through a case study are discussed.Secondly,the consistency condition definition and the corresponding consistency decision method of dynamic evolution of software architectures are given out on this basis.Finally,an experiment is desisgned over analysis for dynamic evolution of software architectures to show the effectiveness of the proposed method.

同期刊论文项目
　支持自验证自演化的可信网络软件机理研究
期刊论文 21
支持自验证自演化的可信网络软件体系结构及其机理
期刊论文 42 会议论文 14
WEB智能搜索中的文本内容信任判定方法研究
期刊论文 59 会议论文 11 专利 1
同项目期刊论文
绿色评价模型的互模拟等价及逻辑保持
异构重构计算系统应用任务调度的性能分析
组合E-服务的活动链行为模式设计及验证
基于随机Petri网的可重构核心单元分析
基于超图文法的软件体系结构动态演化
信息文档结构信任模式的提取及逻辑描述
Interest-driven reasoning based on commitment alternating temporal logic in the P2P reputation syste
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
Specification and verification of dynamic evolution of software architectures
Bayesian cognitive trust model based self-clustering algorithm for MANETs
一种基于非功能属性决策的可信Web服务发现模型
一种刻画功能和时间空间性能的统一验证模型atsFPM
An evidence-based iterative content trust algorithm for the credibility of online news
基于Delta-Grammar的软件体系结构演化的描述
P2P环境下文件共享的信任建立博弈模型及稳态分析
N体问题的FPGA求解和设计方法
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
Using evidence based content trust model for spam detection
一种面向方面软件体系结构模型
Description and verification of dynamic software architectures for distributed systems
基于Bayes认知信任模型的MANETs自聚集算法
基于自组织演化的多Agent可信联盟研究
A general data dependence analysis for parallelizing compilers(Journal of Supercomputing DOI:10.1007
属性委托授权逻辑系统中的主观信任控制
P2P网络中防止欺骗行为的一种信任度计算方法
一种基于四叉树的空间数据缓存策略
基于向量空间模型的网页文本可信性分类方法
Additional service security of e-commerce in mine enterprises
基于开放网络环境下信任建立的博弈模型
基于标签树的自动信任协商策略分析
A mechanism for grid service composition behavior specification and verification
基于安全多方计算的可信防共谋协议模型
基于模型检测的数据流异常测试技术研究
跳频技术在高频地波雷达中的应用
群体随机运动下可信联盟的约束演化方程及其概率计算
一种新的智能公交出行建模方法及其实现
绿色评价模型的互模拟等价及逻辑保持
一种满足任务主/次需求的云计算资源划分算法
一种基于条件Pi演算的组合服务柔性演化模型
基于神经网络的独立程序在单机上运行功耗的预测
异构重构计算系统应用任务调度的性能分析
Dynamic trust evaluation and scheduling framework for cloud computing
云计算中TSP问题求解服务的定价机制
A method for certifying code in trust-by-policy-adherence
组合E-服务的活动链行为模式设计及验证
基于随机Petri网的可重构核心单元分析
Adding branching temporal dimension to Qualitative Coalitional Games with preference
基于超图文法的软件体系结构动态演化
基于信任模式验证的论述性Web文本可信性判定方法
并行时空处理模型下的快速N-body算法
信息文档结构信任模式的提取及逻辑描述
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
P2P环境下文件共享的信任建立博弈模型及稳态分析
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
一种面向方面软件体系结构模型
基于自组织演化的多Agent可信联盟研究
Cloud-DLS: Dynamic trusted scheduling for Cloud computing
随机任务在云计算平台中能耗的优化管理方法
云计算环境下聚合服务的随机模型检测
可追踪并撤销叛徒的属性基加密方案
云计算环境下调度算法的趋势分析
大规模稀疏矩阵的主特征向量计算优化方法
一种基于贝叶斯理论的软件可靠度评估方法
适应性安全的可追踪叛徒的基于属性加密方案
基于安全多方计算的可信防共谋协议模型
基于模型检测的数据流异常测试技术研究
群体随机运动下可信联盟的约束演化方程及其概率计算
一种基于DAG图的异构可重构任务划分方法
基于检索特征的科技论文可信等级的评估方法
一种等性能面积的并行计算可扩展性度量方法
绿色评价模型的互模拟等价及逻辑保持
一种满足任务主/次需求的云计算资源划分算法
异构重构计算系统应用任务调度的性能分析
组合E-服务的活动链行为模式设计及验证
基于随机Petri网的可重构核心单元分析
基于超图文法的软件体系结构动态演化
基于动态阈值的陌生网络实体间信任建立方法
计算任务与体系结构匹配的异构计算可扩展性分析
P2P环境下文件共享的信任建立博弈模型及稳态分析
一种基于温度感知的多核调度方法
基于模型检测的时间空间性能验证方法
一种面向方面软件体系结构模型
可追踪并撤销叛徒的属性基加密方案
一种基于贝叶斯理论的软件可靠度评估方法
适应性安全的可追踪叛徒的基于属性加密方案
同构DVS集群中基于自适应阈值的并行任务节能调度算法
基于模型检测的数据流异常测试技术研究
一种基于DAG图的异构可重构任务划分方法
基于检索特征的科技论文可信等级的评估方法
一种基于时分复用的云资源管理方法
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609