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

分布式系统形式化建模技术研究

郑红  
【摘要】: 分布式计算经过近年来的迅速发展,已形成多种规范或标准,广泛应用于分布式系统设计和开发。然而,这些工业规范或标准明显缺乏坚实的理论基础,从而给分布式系统的规格说明、正确性验证、安全性等工作带来诸多不便。对分布式应用软件系统开发者而言,开发跨平台、跨地域的大型分布式系统仍然是一项相当繁重而复杂的任务。 OMG提出的CORBA(Common Object Request Broker Architecture,CORBA)作为分布式计算标准,仅仅是规范,而不是实现。形式化方法支持大型复杂的软件系统的形式模拟和验证,它可以将软件系统非形式化规范转化为具有严格语义的形式化描述,从而便于系统设计人员阅读、理解、修改、验证和设计开发。因此,从软件系统的形式模拟与验证到实际的开发应用,形式化方法都起着一个重要的桥梁作用。通过对分布式系统的形式化分析,可以查找出系统设计中的漏洞或缺陷,能够帮助设计者修改和优化系统,使其更规范、有效、合理。 形式化方法对分布式计算理论模型研究主要是将涉及分布与并发行为的各种概念形式化,从而给出这些行为的精确定义,避免系统开发人员理解上的二义性,并且为系统开发人员提供可靠的数学工具,用于说明、设计和验证分布式系统的多个方面,如系统运行的正确性、安全性等。显然,开发分布式系统比传统的集中式系统更需要一种精确的数学模型。 目前,国内外可用于分布式系统形式描述与验证的形式化方法主要分为四大类:基于模型的方法、基于逻辑方法、基于进程演算的方法,以及基于网络的方法等等。本文在综合分析并比较了它们的应用特点及不足后,以Petri网为形式化工具,研究了基于CORBA分布式系统的建模技术。本文研究工作的主要贡献表现在如下几个方面: (1) 从理论上研究并分析了CORBA对象服务规范与其扩展着色Petri网模型的动态行为一致性。分析表明扩展着色Petri网模型不仅能够清楚描述系统对象的静态行为,同时也能极好地模拟系统分布性和动态性。 (2) 对于分布式系统的安全性,本文应用标注着色Petri网模拟技术,明确描述和分析了CORBA分布式系统主体责任、证据等与安全性有关的重要性质,并研究了分布式系统不可否认性的模拟验证技术。 (3) 用时序Petri网模拟和分析了分布式系统的ACID事务处理,为构建基于CORBA的事务处理系统提供了分析方法。此外,本文综合应用时间Petri网和工作流网的概念,研究并分析了分布式系统工作流的形式化模拟技术和验证方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨夏妮;覃海生;;基于Petri网的动态负载平衡双层调度模型研究[J];广西科学院学报;2008年04期
2 金红琳;刘波;;分布式锁的Petri网建模及死锁检测[J];计算机科学;2011年08期
3 陆维明;一种分布式系统的设计原理[J];计算机学报;1992年06期
4 向胜军;;分布式系统模型管理框架研究[J];北京石油化工学院学报;2007年02期
5 赵定海;黄玺瑛;;基于造型库的分布式三维虚拟战场环境构建[J];系统仿真学报;2008年S1期
6 刘玉华;分布式系统[J];微电子学与计算机;1983年05期
7 Keith H. Bennet;杨宏戟;;分布式计算系统在英国学术界的应用[J];计算机工程与应用;1992年08期
8 李腊元;通信协议工程学进展[J];计算机研究与发展;1993年07期
9 ;分布式计算机与系统[J];电子科技文摘;1999年08期
10 张英菊;;基于UDP的群组通信构件的方案[J];无线电通信技术;2001年06期
11 王兵,黄伟,徐建民,陈昊,张明;分布式监控系统的设计与实现[J];河北大学学报(自然科学版);2002年03期
12 王嘉,王铮,童建林;对低端分布嵌入式系统中通信机制的改进[J];计算机应用;2005年03期
13 郑舒;起重机分布式系统设计[J];机电一体化;2005年04期
14 王鹏,刘绍南;基于Linux的分布式容错系统软件LDFS的设计与实现[J];装备指挥技术学院学报;2005年04期
15 孟军;张航黎;张建英;郭禾;;分布式数据流的渐增式聚集维护算法[J];微电子学与计算机;2006年10期
16 张春兰;李元;杨涛;;分布式电子实验管理信息系统的设计与实现[J];沈阳化工学院学报;2006年04期
17 夏春宁;吴峻;;基于分布式的捷联导航计算机系统设计与实现[J];江苏船舶;2006年06期
18 黄克文;;分布式系统的进程迁移[J];百色学院学报;2006年06期
19 黄颖;杜旭;;基于CPCI总线的分布式系统设计[J];微计算机信息;2006年35期
20 唐文龙;黄文明;陆月然;;中间件技术中的RMI探讨[J];思茅师范高等专科学校学报;2006年06期
中国重要会议论文全文数据库 前10条
1 刘果;邓检华;兰彦;;DAMS-Ⅳ型分布式工程安全监测系统的研制[A];中国水力发电工程学会大坝安全监测专业委员会年会暨学术交流会论文集[C];2000年
2 刘渊;姜建国;缪继东;范晓岚;;一个分布式系统通信控制软件的设计与实现[A];中国工程物理研究院科技年报(2002)[C];2002年
3 曹德亮;贾银芳;赖森贞;;梅钢冷连轧计算机过程控制系统[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
4 李佳桢;袁忠宇;倪桂强;罗健欣;;自稳定性在分布式系统中的应用[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
5 熊继平;;基于JMF的运动检测分布式系统的研究及实现[A];第七届全国信息获取与处理学术会议论文集[C];2009年
6 王燕;徐振朋;曹刘娟;;一种具有最小阻塞消息发送时间的检查点策略[A];第四届中国测试学术会议论文集[C];2006年
7 唐沬;雷利卿;;基于CS算法的频谱合成方法实现分布式雷达卫星的二维高分辨率成像[A];第二届微波遥感技术研讨会摘要全集[C];2006年
8 朱建军;祝红光;王智为;;数据传输平台JWDTP及其在客票系统中的应用[A];中国铁路客票发售和预订系统5.0版应用研讨会论文集[C];2006年
9 高杨菊梅;田平;邵红全;;基于JAVA的移动代码系统的实现技术[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
10 冯锡炜;贾传荧;杨家轩;;JMS技术在分布式系统中的应用与实现[A];促进企业信息化进程——第十届中国Java技术及应用大会文集[C];2007年
中国博士学位论文全文数据库 前10条
1 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
2 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
3 何盼;面向可靠性优化设计的分布式系统资源分配研究[D];重庆大学;2012年
4 赵英;基于异步网络环境的自适应时钟同步[D];北京化工大学;2004年
5 彭舰;基于CORBA的分布式系统中实时—容错性的研究——分布式系统中动态调度的设计与实现[D];电子科技大学;2004年
6 陈文惠;防火墙系统策略配置研究[D];中国科学技术大学;2007年
7 李美安;普适分布式互斥算法及应用[D];电子科技大学;2007年
8 冯晓宁;基于本体的语义Petri网研究及其在系统建模中的应用[D];哈尔滨工程大学;2009年
9 王湛;智能化细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2007年
10 王德俊;面向服务的分布式系统动态更新研究[D];上海交通大学;2010年
中国硕士学位论文全文数据库 前10条
1 唐燕飞;基于Petri网的用例建模研究[D];西南大学;2006年
2 刘志寒;基于QoS的煤矿安全实时监测系统通信协议研究及系统设计[D];华东师范大学;2005年
3 孟楠;分布式内存数据库系统设计实现与应用[D];南京理工大学;2005年
4 李莉丽;实时分布系统容错调度算法的设计与实现[D];电子科技大学;2005年
5 李力;分布式民航气象信息服务系统的设计与实现[D];四川大学;2005年
6 周森;WebSonar:基于关键信息的语音搜索引擎[D];浙江大学;2006年
7 毕伟;分布式互斥算法的研究与改进[D];河海大学;2006年
8 穆阳;分布式网络入侵检测系统研究[D];电子科技大学;2008年
9 刘艳辉;数据交换平台的分布式应用研究[D];中国航天第二研究院;2009年
10 曲绍云;分布式异构系统中任务调度问题的研究[D];青岛大学;2005年
中国重要报纸全文数据库 前10条
1 本报评论员 张刃;年终考评形式化虚假化歪风当刹[N];工人日报;2006年
2 杨曾宪;质疑高考改革的形式化趋势[N];发展导报;2002年
3 ;分布式系统与移动设备管理[N];计算机世界;2003年
4 里冰;学生军训亟待走出形式化误区[N];中国改革报;2005年
5 党国英 (中国社会科学院) 聂辉华 (人民大学经济学院博士);杨小凯有多重要?[N];中国图书商报;2003年
6 本报记者 李红梅;健康档案莫形式化[N];人民日报;2011年
7 ■ 李梅;RTOS新特征适应高档汽车应用[N];计算机世界;2005年
8 韩宗坡;全球综合地球观测系统解读[N];中国气象报;2008年
9 沈建苗编译;嬗变中的大型机[N];计算机世界;2006年
10 周一文;年终检查力戒形式化[N];巴音郭楞日报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978