分布式对象计算环境下系统容错服务动态行为描述.pdfVIP

下载本文档

2
0
约1.87万字
约 7页
2017-08-31 发布于安徽
举报
版权申诉

分布式对象计算环境下系统容错服务动态行为描述.pdf

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

　2002 年 3 月系统工程理论与实践第 3 期　文章编号:(2002) 分布式对象计算环境下系统容错服务的动态行为描述 1 2 2 2 1 赵季中 , 张永进 , 解建仓 , 王小江 , 齐　勇 ( 1. 西安交通大学计算机科学与技术系, 陕西西安 710049; 2. 西安理工大学计算机与信息管理中心, 陕西西安 710048) 摘要: 　分布式对象技术是面向对象技术同分布式计算技术的结合产物大规模的分布式对象计算系统要成为高可靠性的系统, 就必须解决对象失效、节点错误、网络隔离和不可预知的通信延迟等问题本文中设计了一种名叫对象容错服务(O FS) 的解决技术, 并采用一种基于面向对象高阶Petri 网的形式化方法描述系统的动态行为形式化描述方法的采用为O FS 的实现提供了有益的帮助关键词: 　分布式计算; 高阶 Petri 网; CORBA ; 容错中图分类号: 　 311 　　　　　　　　文献标识码: 　　　　 T P A D ynam ic Fo rm al Specification of Fau lt To leran t Service on D istribu ted O b ject Compu ting Environm en t 1 2 2 , , ZHAO J i zhong ZHAN G Yong jin X IE J ian cang 2 1 , W AN G X iao jiang Q I Yong ( 1. D ep t. of Computer Science and T echno logy, X i’an J iao tong U niversity, X i’an 710049, Ch ina; 2. Info rm ation M anagem ent Center, X i’an U niversity of T echno logy, X i’an 710048, Ch ina) : 　 Abstract D istributed object techno logy is com bined w ith object o riented and distributed computing techno logy. T he h igh reliability is the base dem and of larger scale distributed object computing system. W e have to deal w ith object crashes, node