期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
一种基于进程代数的软件体系结构描述语言PEADL 被引量:2
1
作者 赵会群 孙晶 高远 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
关键词 进程代数 软件体系结构 描述语言 PEadl 面向对象 软件工程
在线阅读 下载PDF
一种基于AADL错误模型的软件安全性分析技术研究 被引量:2
2
作者 成静 朱怡安 +3 位作者 屈华敏 罗文波 江叶春 张涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2014年第6期1007-1010,共4页
针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率... 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。 展开更多
关键词 Aadl模型 错误模型 软件安全性 马尔科夫链
在线阅读 下载PDF
WSC/ADL:Web Services组合系统体系结构描述语言 被引量:11
3
作者 杨鑫 陈俊亮 《软件学报》 EI CSCD 北大核心 2006年第5期1182-1194,共13页
Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系... Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系统体系结构风格,并针对这种风格设计了体系结构描述语言WSC/ADL(Webservicescomposition/architecturedescriptionlanguage),WSC/ADL是基于体系结构的、自顶向下的Webservices组合开发的研究基础,其组成包含描述Webservices的服务构件、描述Webservices之间交互的连接件以及建立服务构件和连接件实例联系的配置.给出了WSC/ADL的详细分析介绍和实例说明,并与相关工作进行了比较. 展开更多
关键词 WEB服务组合 软件体系结构 体系结构描述语言 BPEL4WS 通信顺序进程
在线阅读 下载PDF
软件体系结构描述语言研究现状分析 被引量:5
4
作者 田丽从 张莉 周伯生 《计算机科学》 CSCD 北大核心 2005年第2期109-113,共5页
软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确AD... 软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。 展开更多
关键词 adl 研究现状 分析 研究进展 主要问题 软件体系结构 描述语言 支持工具 表示 项目开发
在线阅读 下载PDF
软件体系结构性能评价研究 被引量:9
5
作者 赵会群 孙晶 +1 位作者 王国仁 高远 《计算机科学》 CSCD 北大核心 2003年第2期144-146,共3页
The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for softwa... The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment. 展开更多
关键词 软件体系结构 性能评价 软件工程 软件系统 计算机
在线阅读 下载PDF
一种将需求模型转换为软件体系结构模型的方法 被引量:5
6
作者 谢仲文 李晓燕 +3 位作者 李彤 代飞 于倩 张璇 《计算机科学》 CSCD 北大核心 2014年第5期196-203,共8页
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨... 需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。 展开更多
关键词 需求模型 软件体系结构通信进程代数 PETRI网 行为
在线阅读 下载PDF
基于随机进程代数的软件体系结构建模与性能评价 被引量:3
7
作者 赵会群 徐凌宇 +1 位作者 王国仁 高远 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第1期16-19,共4页
软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评... 软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。 展开更多
关键词 软件体系结构 随机进程代数 性能评价 MARKOV过程 回报结构 软件设计 建模机制
在线阅读 下载PDF
基于进程代数规约生成软件体系结构模型的方法 被引量:5
8
作者 祝义 黄志球 +1 位作者 周航 刘林源 《计算机研究与发展》 EI CSCD 北大核心 2011年第2期241-250,共10页
需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程... 需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性. 展开更多
关键词 进程代数规约 软件体系结构 UML-RT 实时系统 时间通信顺序进程
在线阅读 下载PDF
使用基于进程代数的方法建立软件体系结构的安全模型
9
作者 杨捷 毋国庆 齐德昱 《计算机工程与科学》 CSCD 2008年第11期111-114,共4页
安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。
关键词 进程代数 软件体系结构 安全模型
在线阅读 下载PDF
通用连接器模型及其形式化推导研究 被引量:1
10
作者 许毅 赵文耘 +1 位作者 彭鑫 张志 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第5期503-511,共9页
基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行... 基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法,给出了通用连接器模型的形式化推导、验证,从而为分析连接器行为,支持连接器自动生成奠定了基础. 展开更多
关键词 软件体系结构 连接器 体系结构描述语言 通信顺序进程
在线阅读 下载PDF
基于进程代数的安全软件体系结构建模
11
作者 甘厚勇 毋国庆 胡涌涛 《计算机应用》 CSCD 北大核心 2005年第12期2811-2813,共3页
分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结... 分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。 展开更多
关键词 进程代数 软件体系结构描述语言 弱互模拟等价 体系结构风格
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部