-
题名REAL:面向可靠性评估的软件架构描述语言
- 1
-
-
作者
陈未如
李磊
王军
-
机构
沈阳化工学院计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第10期2241-2245,共5页
-
基金
辽宁省教育厅基金项目(2009B149)
-
文摘
为提高软件质量减少软件开发成本,从软件可靠性评估的角度出发,对软件架构描述语言进行了研究,提出了一种基于XML和软件可靠性评估的软件架构描述语言(reliability evaluation oriented architecture description language,REAL),主要目的是用于描述软件架构以便进行给予架构的软件可靠性评估。REAL重点关注软件架构的构成关系及各组件、子架构的可靠性描述和计算。同时,实现了基于REAL语言的编译系统,并通过实例进行了测试。
-
关键词
面向可靠性评估的软件架构描述语言
软件架构
架构描述语言
组件
可扩展标记语言
-
Keywords
reliability evaluation oriented architecture description language（REAL）
software architecture（SA）
architecture description language（ADL）
component
XML
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的面向方面的架构描述概念模型研究
- 2
-
-
作者
葛君伟
唐蓉
夏英
-
机构
重庆邮电大学软件学院
重庆邮电大学中韩合作GIS研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第12期3636-3638,3641,共4页
-
基金
国家"863"计划资助项目(2007AA12Z238)
重庆教育委员会科技资助项目(KJ040511
J2006-16)
-
文摘
软件架构的描述和设计决定了软件的质量和生命。作为方面的横切关注点横跨在多个架构组件中,影响了模块间的内聚性和耦合度,从而降低了软件的可重用性,增加了维护的难度。目前提出的许多架构描述方法均未能对存在的横切关注点进行恰当的描述和定位,所以在软件的架构描述方法中引入了方面的概念机制来解决这些问题。基于IEEE 1471-2000中提出的架构描述概念模型,引入用例视图提出了一种新的面向方面的架构描述概念模型。该模型能够在架构描述中精确地描述和处理横切关注点即增加方面这一抽象层,从而提高软件系统的维护性、重用性和扩展性。
-
关键词
面向方面
架构描述
用例
面向方面的软件开发
-
Keywords
aspect-oriented
architectural description
use case
AOSD
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于π演算的自治系统架构描述语言AS-ADL
- 3
-
-
作者
刘娟
张伟
赵新
王维平
-
机构
国防科技大学五院系统工程系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第13期3946-3950,共5页
-
文摘
自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统。针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概念模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL。AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持。
-
关键词
自治系统
系统架构描述语言
Π演算
动态行为
-
Keywords
Autonomous Systems
Architecture Description Language
n-Calculus
dynamic behavior
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于π演算的动态软件架构研究
被引量：3
- 4
-
-
作者
任洪敏
张敬周
杨志应
-
机构
上海海事大学计算机系
复旦大学计算机科学系软件工程实验室
-
出处
《计算机科学》
CSCD
北大核心
2009年第9期127-130,共4页
-
基金
上海市教委创新基金项目(09YZ224)
上海市教委科学基金项目(2008096)联合资助
-
文摘
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。
-
关键词
软件架构
动态软件架构
架构描述语言
Π演算
-
Keywords
Software architecture, Dynamic software architecture, Architecture description language, π-calculus
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于本体的智能信息检索系统的构建方法
被引量：5
- 5
-
-
作者
高琳
夏清国
王黎明
-
机构
西北工业大学计算机学院
[
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第24期6309-6311,共3页
-
文摘
为了解决目前传统的信息检索工具返回大量无关的信息或漏检有用信息的问题,首先引入了本体的基本概念及其在信息检索中的用途,在此基础上提出了一种基于本体的智能信息检索系统模型。该模型首先使用基于SOM神经网络和分层聚类的两阶聚类算法自动的产生本体,免除了人工构造本体的繁琐,然后利用本体中概念及概念之间明确的关系描述,将用户提出的检索要求进行语义上的扩充,使信息检索过程更加智能化,大大提高了检索的查全率和查准率。
-
关键词
信息检索模型
本体论
智能信息检索
可扩展标记语言
资源描述架构(规范)
-
Keywords
information retrieval model
ontology
intelligent information retrieval
extensible markup language
RDF （S）
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一种基于RDF的电力监控系统模型的研究与实现
- 6
-
-
作者
陶陶
吴健
章池生
-
机构
西北工业大学计算机学院
西北工业大学自动化学院
-
出处
《科学技术与工程》
2008年第2期528-533,共6页
-
文摘
基于电力监控系统通用信息模型(CIM)的核心思想,构造了一种基于资源描述框架(RDF)的电力监控系统模型,并通过对该模型的实现与分析,验证了该模型的有效性和可行性。
-
关键词
电力监控系统
公共信息模型
资源描述架构
-
Keywords
supervisory control system common information model
resource description framework
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
