检索结果-维普期刊中文期刊服务平台

目标驱动的软件体系结构建模方法研究: 1; 作者杨红杨德礼《计算机应用研究》 CSCD 北大核心 2007年第9期16-18,21,共4页; 依据goal-scenario coupling方法提出了一种基于概念属性的结构化目标描述与识别方法。根据上述方法获得的目标模型,在Le Metayer提出的基于图形语法的体系结构建模理论和原则基础之上,提出了一种新的、目标驱动的软件体系结构建模方法。; 关键词目标概念属性目标驱动图形语法软件体系结构建模; 在线阅读下载PDF 职称材料

高阶类型化软件体系结构建模和验证及案例被引量：2: 2; 作者乌尼日其其格李小平 +2 位作者马世龙吕江花张思卿《软件学报》 EI CSCD 北大核心 2019年第7期1916-1938,共23页; 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流We... 展开更多; 关键词类型规则类型检查软件体系结构软件体系结构建模软件体系结构验证; 在线阅读下载PDF 职称材料

DTSArch:一种基于分散式元组空间的软件体系结构模型: 3; 作者郑翔覃征邢剑宽《计算机科学》 CSCD 北大核心 2009年第10期172-175,共4页; 针对协作系统中缺乏描述系统高度动态性、自组织性和协作性的方法,利用分散式元组空间模型的时空解耦特性,提出了一种软件体系结构模型DTSArch。在对分散式元组空间进行刻画的基础之上,从软件体系结构的角度建立了描述构件行为和系统配... 展开更多; 关键词分散式元组空间软件体系结构建模协作系统; 在线阅读下载PDF 职称材料

基于概念的软件体系结构需求目标描述与识别: 4; 作者杨红杨德礼林正奎《计算机工程》 CAS CSCD 北大核心 2007年第23期60-62,共3页; 基于Goal-scenario coupling理念,提出了一种基于概念属性的结构化目标描述与识别方法,构造了目标模型,对目标进行了描述和识别,该方法可以与目标驱动的软件体系结构建模方法进行平滑集成,提高了信息系统的开发质量和生产效率。实验结... 展开更多; 关键词目标概念属性目标驱动软件体系结构建模; 在线阅读下载PDF 职称材料

题名目标驱动的软件体系结构建模方法研究: 1; 作者杨红杨德礼; 机构大连理工大学系统工程研究所; 出处《计算机应用研究》 CSCD 北大核心 2007年第9期16-18,21,共4页; 基金国家自然科学基金重点资助项目(70031020) 辽宁省软件产业发展基金大连市软件产业发展基金(190-10); 文摘依据goal-scenario coupling方法提出了一种基于概念属性的结构化目标描述与识别方法。根据上述方法获得的目标模型,在Le Metayer提出的基于图形语法的体系结构建模理论和原则基础之上,提出了一种新的、目标驱动的软件体系结构建模方法。; 关键词目标概念属性目标驱动图形语法软件体系结构建模; Keywords goal concept attribute goal-driven graph grammar software architecture modeling; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名高阶类型化软件体系结构建模和验证及案例被引量：2: 2; 作者乌尼日其其格李小平马世龙吕江花张思卿; 机构软件开发环境国家重点实验室(北京航空航天大学) 鹏城实验室; 出处《软件学报》 EI CSCD 北大核心 2019年第7期1916-1938,共23页; 基金国家自然科学基金(61003016,61300007,61305054) 科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007) 软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28,SKLSDE-2014ZX-06)~~; 文摘根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.; 关键词类型规则类型检查软件体系结构软件体系结构建模软件体系结构验证; Keywords typing rule type checking software architecture software architecture modelling software architecture verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名DTSArch:一种基于分散式元组空间的软件体系结构模型: 3; 作者郑翔覃征邢剑宽; 机构清华大学计算机科学与技术系; 出处《计算机科学》 CSCD 北大核心 2009年第10期172-175,共4页; 基金总装装备预研基金(9140a15030308jw0108)资助; 文摘针对协作系统中缺乏描述系统高度动态性、自组织性和协作性的方法,利用分散式元组空间模型的时空解耦特性,提出了一种软件体系结构模型DTSArch。在对分散式元组空间进行刻画的基础之上,从软件体系结构的角度建立了描述构件行为和系统配置的形式化语义,解决了分散式元组空间模型难以直接应用于实际系统开发的问题。实现了一个基于DTSArch的可视化开发工具以进行软件体系结构设计。并通过实例证明DTSArch使开发人员能够快速建立基于分散式元组空间模型的系统结构,从而提高系统构件和系统开发方法的可重用性。; 关键词分散式元组空间软件体系结构建模协作系统; Keywords Decentralized tuple space,Software architecture modeling,Collaborative system; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于概念的软件体系结构需求目标描述与识别: 4; 作者杨红杨德礼林正奎; 机构大连理工大学系统工程研究所; 出处《计算机工程》 CAS CSCD 北大核心 2007年第23期60-62,共3页; 基金国家自然科学基金资助重点项目(70031020) 辽宁省软件产业发展基金大连市软件产业发展基金共同资助项目(190-10); 文摘基于Goal-scenario coupling理念,提出了一种基于概念属性的结构化目标描述与识别方法,构造了目标模型,对目标进行了描述和识别,该方法可以与目标驱动的软件体系结构建模方法进行平滑集成,提高了信息系统的开发质量和生产效率。实验结果证明了该方法的有效性。; 关键词目标概念属性目标驱动软件体系结构建模; Keywords goal conception attribute goal-driven software architecture modeling; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	目标驱动的软件体系结构建模方法研究	杨红杨德礼	《计算机应用研究》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
2	高阶类型化软件体系结构建模和验证及案例	乌尼日其其格李小平马世龙吕江花张思卿	《软件学报》 EI CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
3	DTSArch:一种基于分散式元组空间的软件体系结构模型	郑翔覃征邢剑宽	《计算机科学》 CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
4	基于概念的软件体系结构需求目标描述与识别	杨红杨德礼林正奎	《计算机工程》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料