-
题名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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于π演算的自治系统架构描述语言AS-ADL
- 2
-
-
作者
刘娟
张伟
赵新
王维平
-
机构
国防科技大学五院系统工程系
-
出处
《系统仿真学报》
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
- 3
-
-
作者
任洪敏
张敬周
杨志应
-
机构
上海海事大学计算机系
复旦大学计算机科学系软件工程实验室
-
出处
《计算机科学》
CSCD
北大核心
2009年第9期127-130,共4页
-
基金
上海市教委创新基金项目(09YZ224)
上海市教委科学基金项目(2008096)联合资助
-
文摘
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。
-
关键词
软件架构
动态软件架构
架构描述语言
Π演算
-
Keywords
Software architecture, Dynamic software architecture, Architecture description language, π-calculus
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
