收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于π演算的软件体系结构形式化研究

任洪敏  
【摘要】: 伴随计算机软件系统的规模和复杂程度不断提高,软件系统的结构变得日益复杂,软件设计重心从“算法+数据结构”设计转变成为体系结构设计。软件体系结构已经成为决定软件系统质量的重要因素,是软件产品线开发的关键技术之一,并因此成为当前软件工程领域的一个研究热点。 体系结构规约是软件体系结构重要的研究课题。运用自然语言和图表描述体系结构存在众多不足,难以有效实现软件体系结构预期的诸多好处。于是众多学者开始运用通用的形式化方法、提出专门的体系结构描述语言描述软件体系结构,这两类方法具有各自的特点和不足,并且它们通常在软件体系结构的演化、精化、分析和实现等方面缺乏支持,从而阻碍了软件体系结构在实践当中的应用。 据此,基于移动进程理论π演算,结合体系结构形式化方法和体系结构描述语言,我们提出软件体系结构形式化描述语言πADL,并以此作为基础,展开软件体系结构演化、精化、实现和分析等课题的探索和研究。具体如下: 1.基于移动进程代数π演算,提出软件体系结构形式化描述语言πADL,形式化描述软件系统的结构和行为。提出端口组装和六种构件组装机制及相应的组装推导算法,以有效支持体系结构层次化配置。 2.对动态体系结构进行研究,提出πADL描述动态体系结构的方法和相应的形式语义。该方法运用独立的π进程描述动态配置行为并,并与系统的计算行为交互,能够描述动态体系结构的诸多要素,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。 3.对体系结构精化进行研究,指出复合构件层次规约存在的不足,提出复合行为和体系结构行为精化的概念、规约的方法和法则及推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构。 4.对体系结构实现进行研究,指出运用现有构件技术实现体系结构存在的问题,分析体系结构领域和构件技术领域中软件构件的特点,提出面向体系结构的构件接口模型AOCIM,形式化给出AOCIM两级接口行为协议规约的方法,用以支持体系结构的实现。 5.对体系结构分析进行研究,基于π演算基本理论,结合体系结构领域的需求和特点,形式化定义有关概念和多种进程关系,并以此作为理论基础,提出πADL规约的8种静态检测方法,用以提高体系结构规约和系统组装的质量。 运用πADL及其相关研究工作,能够准确描述软件体系结构、推导系统的行为属性和分析系统规约的一致性,从而能够更好地支持体系结构驱动的软件开发方法,提升运用构件技术组装生成的软件系统的质量,向可预测系统组装这一 软件工程的宏伟目标迈进一步。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙昌爱,金茂忠,刘超;软件体系结构研究综述[J];软件学报;2002年07期
2 唐胜群,唐涛洲;软件体系结构与组件软件工程[J];计算机工程;1998年08期
3 王君珂,王柏,艾波;电信运营支撑系统的业务场景体系结构模式[J];北京邮电大学学报;2004年S2期
4 王振宇,池志强,陈利;软件体系结构讲座(八)——体系结构设计工具[J];计算机与数字工程;2000年02期
5 黄萍,陈传波;基于体系结构的测试方法研究[J];计算机与数字工程;2003年05期
6 王映辉,王英杰,王彦君,樊宏斌;基于MVC的软件界面体系结构研究与实现[J];计算机应用研究;2004年09期
7 陈豪 ,孙正义,张德富;三层客户/服务器体系结构的一个应用实例[J];计算机工程与应用;2000年03期
8 于振华,蔡远利;基于面向对象Petri网的软件体系结构描述语言[J];西安交通大学学报;2004年12期
9 史辉,李龙洙;面向对象的业务处理环节装配体系结构[J];工业工程;2005年03期
10 李振,肖书,唐胜群;实用软件体系结构研究[J];计算机工程与应用;2000年08期
11 张广泉,骆华俊,郑建丹;可视化软件体系结构描述工具XYZ/ADL的设计与实现[J];重庆师范学院学报(自然科学版);2001年02期
12 张广泉;软件体系结构的特点与研究进展[J];重庆师范学院学报(自然科学版);2002年04期
13 许毅;彭鑫;赵文耘;;基于通用连接器模型的复合构件的组装[J];计算机工程;2006年23期
14 孙昌爱,刘超,金茂忠;基于场景的软件体系结构分析[J];计算机工程与应用;2000年09期
15 莫世锋,何贤江,王秉中;一种总线型软件体系结构的设计与应用[J];计算机应用;2004年05期
16 王海燕;;一种基于构件的可动态更新的体系结构模型[J];农业网络信息;2006年03期
17 何炎祥,黄浩,石莉,张戈,李超;软件体系结构中五种常见风格的剖析[J];计算机工程;2000年10期
18 任明仑,杨善林;敏捷信息系统体系结构的研究[J];合肥工业大学学报(自然科学版);2002年01期
19 李鸣;UML在软件体系结构建模中的应用[J];科技创业月刊;2002年11期
20 李伦;用电营业系统软件体系结构建模[J];洛阳工业高等专科学校学报;2003年03期
中国重要会议论文全文数据库 前10条
1 王会霞;赵新俊;王行仁;;基于HLA的计算机生成兵力仿真框架研究[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
2 鲁士仿;陈育谦;;指挥自动化系统软件的C/S/S体系结构设想[A];中国电子学会第七届学术年会论文集[C];2001年
3 王宇;程小辉;;基于移动agent虚拟仪器系统体系结构研究[A];第三届全国虚拟仪器大会论文集[C];2008年
4 徐海;韩宇;孙永兵;韦水生;邓庆绪;于戈;;基于软硬件联合设计的嵌入式实时数据库体系结构[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
5 萧蕴诗;武广;徐立鸿;;复杂信息系统集成方法及其在智能建筑中的应用研究[A];1998中国控制与决策学术年会论文集[C];1998年
6 魏定国;;试论企业级数据传输体系结构[A];1998中国控制与决策学术年会论文集[C];1998年
7 董永贵;董恩生;贾惠波;;生物启发仪器的体系结构及实现技术[A];第二届全国信息获取与处理学术会议论文集[C];2004年
8 苗宇;程荫杭;张超;;室外自主轮式移动机器人的发展及关键技术[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
9 刘仲英;胡衍强;胡斌;;物流公共信息平台的体系结构研究[A];第11届海峡两岸信息管理发展策略研讨会论文集[C];2005年
10 李劲;;综合射频传感器的开放式系统结构[A];中国雷达行业协会航空电子分会暨四川省电子学会航空航天专委会学术交流会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
2 王醒策;基于强化学习和群集智能方法的多机器人协作协调研究[D];哈尔滨工程大学;2005年
3 李治军;美韩同盟与东亚安全:一种结构主义理论的分析[D];复旦大学;2008年
4 杨建宇;基于组件的分布式地理信息服务研究[D];中国科学院研究生院(遥感应用研究所);2005年
5 董艇舰;基于开放结构数控系统引导型二次开发仿真平台构建研究[D];天津大学;2005年
6 孟宪松;多水下机器人系统合作与协调技术研究[D];哈尔滨工程大学;2006年
7 耿文莉;中国林产工业企业管理信息化问题研究[D];东北林业大学;2007年
8 夏绪辉;逆向供应链的体系结构及其物流关键技术研究[D];重庆大学;2003年
9 林川;基于立体跨层体系结构无线传感器网络的能量问题研究[D];武汉大学;2007年
10 严勇杰;多机器人系统协调与控制研究[D];哈尔滨工程大学;2007年
中国硕士学位论文全文数据库 前10条
1 郝永春;基于排队理论的软件体系结构性能研究[D];太原理工大学;2003年
2 姜文峰;基于体系结构的复用技术研究及其在用电营业系统中的应用[D];河海大学;2003年
3 郭莹;软件体系结构及其描述初步研究[D];东北财经大学;2003年
4 苏宇;基于业务总线的软件体系结构模型设计[D];昆明理工大学;2003年
5 常武;三层分布式PACS体系结构的研究与实现[D];北京工业大学;2001年
6 王征;现场总线通信技术的研究与实现[D];大庆石油学院;2004年
7 屈红军;基于网关安全平台的虚拟线程体系结构[D];华中科技大学;2004年
8 白玉;基于供应链的采购管理系统研究[D];河北工业大学;2005年
9 朱健松;一种基于RISC及DSP双内核集成芯片系统的研究[D];广东工业大学;2005年
10 徐德宏;全集成的石化储运计量监控与管理系统研究[D];南京理工大学;2005年
中国重要报纸全文数据库 前10条
1 四川 陈路;浅谈网格的典型体系结构[N];电子报;2008年
2 ;电联关注面向用户基于业务的体系结构[N];人民邮电;2001年
3 安烨;企业门户的特点及体系结构[N];网络世界;2001年
4 ;诠释智能理念 奠基存储未来[N];计算机世界;2003年
5 刘钝;我国研究成果对新一代互联网体系结构产生重大影响[N];大众科技报;2007年
6 ;思科演示IP网络体系结构[N];中国电子报;2000年
7 ;新砖瓦精装新数据中心[N];网络世界;2006年
8 彭芳;更新ASIC体系结构[N];中国计算机报;2001年
9 李贵林;瑞星:网络杀毒取决于体系结构[N];计算机世界;2002年
10 憨墨;构画20世纪出版学的体系结构[N];中华读书报;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978