基于进程代数规约生成软件体系结构模型的方法 被引量：5

1

作者 祝义 黄志球 +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 职称材料

基于随机进程代数的软件体系结构建模与性能评价 被引量：3

2

作者 赵会群 徐凌宇 +1 位作者 王国仁 高远 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第1期16-19,共4页

软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评... 软件体系结构是应用系统的逻辑框架 ,在设计阶段分析软件体系结构的各种性能指标 ,可以改进软件系统设计·提出一种基于随机进程代数 (stochasticprocessalgebra简称SPA)的软件体系结构建模方法 ,该方法把软件体系结构建模与性能评价相结合 ,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单。 展开更多

关键词 软件体系结构 随机进程代数 性能评价 MARKOV过程 回报结构 软件设计 建模机制

在线阅读 下载PDF 职称材料

一种基于进程代数的软件体系结构描述语言PEADL 被引量：2

3

作者 赵会群 孙晶 高远 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页

对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。

关键词 进程代数 软件体系结构 描述语言 PEADL 面向对象 软件工程

在线阅读 下载PDF 职称材料

使用基于进程代数的方法建立软件体系结构的安全模型

4

作者 杨捷 毋国庆 齐德昱 《计算机工程与科学》 CSCD 2008年第11期111-114,共4页

安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。

关键词 进程代数 软件体系结构 安全模型

在线阅读 下载PDF 职称材料

基于进程代数的安全软件体系结构建模

5

作者 甘厚勇 毋国庆 胡涌涛 《计算机应用》 CSCD 北大核心 2005年第12期2811-2813,共3页

分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结... 分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。 展开更多

关键词 进程代数 软件体系结构描述语言 弱互模拟等价 体系结构风格

在线阅读 下载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 职称材料

硬实时软件建模与分析的进程代数方法

7

作者 祝义 黄志球 +2 位作者 张广泉 周航 肖芳雄 《计算机科学与探索》 CSCD 2014年第6期684-693,共10页

针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期... 针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。 展开更多

关键词 实时软件 硬实时 进程代数 时间通信顺序进程 模型检验

在线阅读 下载PDF 职称材料

基于进程代数EACSR-VP的通信模型的实现

8

作者 张冠华 张连华 白英彩 《计算机应用与软件》 CSCD 北大核心 2005年第9期87-88,91,共3页

介绍了进程代数EACSR-VP的基本通信原语,详细阐述了并发系统中通信模型的建立与实现,并给出了分析与讨论。

关键词 进程代数 形式化方法 并发系统 通信 通信模型

在线阅读 下载PDF 职称材料

用进程代数描述可适应工作流的模型方法 被引量：7

9

作者 魏丫丫 林闯 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1624-1628,共5页

工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模... 工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 。 展开更多

关键词 进程代数 可适应工作流 一致性 有效性 通信顺序进程

在线阅读 下载PDF 职称材料

WSC/ADL:Web Services组合系统体系结构描述语言 被引量：11

10

作者 杨鑫 陈俊亮 《软件学报》 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 职称材料

补偿通信顺序进程的扩展及失败发散语义

11

作者 陈振邦 王戟 齐治昌 《计算机工程与科学》 CSCD 北大核心 2010年第3期89-95,110,共8页

补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩... 补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩展cCSP的失败发散语义;并根据该语义,给出新引入组合操作子的重要代数规则,用于语义的理解和佐证。最后,给出一个案例描述用于展示扩展cCSP。 展开更多

关键词 补偿通信顺序进程 指称语义 失败发散语义 代数规则

在线阅读 下载PDF 职称材料

面向软件动态演化的需求建模及其模型规范化 被引量：6

12

作者 谢仲文 李彤 +3 位作者 代飞 钱晔 罗溦 王娟 《计算机科学与探索》 CSCD 2012年第6期557-576,共20页

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式... 针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。 展开更多

关键词 需求工程 软件动态演化 特征 通信进程代数 规范化

在线阅读 下载PDF 职称材料

并发计算的元模型 Ⅱ.对称通信 被引量：2

13

作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期727-731,共5页

在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其... 在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 。 展开更多

关键词 并发计算理论 进程代数 元模型 对称通信 Π演算

在线阅读 下载PDF 职称材料

基于CCS的信号量形式化建模与验证 被引量：1

14

作者 祁方民 鱼滨 +1 位作者 牟力科 窦洪喜 《计算机应用与软件》 CSCD 2011年第8期230-233,共4页

利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有... 利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。 展开更多

关键词 信号量 CCS(通信系统演算) 同步树 形式化建模 进程代数

在线阅读 下载PDF 职称材料

移动计算中协议建模的新方法-CC S形式化描述及性能评价 被引量：1

15

作者 金岩 杨孝宗 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2006年第6期877-880,959,共5页

利用CCS(Calcu lus of Commun icating System s)对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明.此方法不仅限于网络协议的证明,也能够将其推广到任何与进程通信相关的模型当中.

关键词 移动计算 CCS 协议 进程通信 进程代数 随机过程 马尔可夫链

在线阅读 下载PDF 职称材料

通用连接器模型及其形式化推导研究 被引量：1

16

作者 许毅 赵文耘 +1 位作者 彭鑫 张志 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第5期503-511,共9页

基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行... 基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色.现有的连接器模型只能支持特定软件体系结构风格的组装,缺乏统一的连接器模型的支持.提出一种通用连接器模型用以对不同连接器模型进行描述,并在此基础上对连接器模型进行了扩展,以支持不同体系结构风格的构件组装.同时,基于Wright的软件体系结构描述语言(ADL)和通信顺序进程(CSP)中对于进程的描述方法,给出了通用连接器模型的形式化推导、验证,从而为分析连接器行为,支持连接器自动生成奠定了基础. 展开更多

关键词 软件体系结构 连接器 体系结构描述语言 通信顺序进程

在线阅读 下载PDF 职称材料

分布实现完全LOTOS规范的转换方法

17

作者 谢冰 陈火旺 王兵山 《软件学报》 EI CSCD 北大核心 1999年第6期642-646,共5页

基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，推导出符合实际系统结构的模块化规范的转换方法．用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的。

关键词 进程代数 LOTOS语言 规范分解 通信协议

在线阅读 下载PDF 职称材料