参数化进程网络的形式化语义研究

《参数化进程网络的形式化语义研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、＇？２０１６届硕ｄｂ研究生学位论文分类号：学校代码：１０２６９．＇：密级学号：５１１３１５０００２２Ｃｉ）＃露啼緩爲錢ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ损±导恆巧交ＭＡＳＴＥＦＴＳＤＩＳＳＥＲＴＡＴＩＯＮ参数化进程网络的形式化语义研究’院系＝计算机科学与软件工程学院专业；软件工程研究方向：形式化方法指导教师：朱惠彪教授学位申请人：李思棋２０１６年５月２０１６届研究生硕：ｔ学位论文：分类号学校代码：１０２６９密级：学号１１３１５０００２２；５護）華東砰藏乂聲

2、ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ硕±学位论文ＭＡＳＴＥＲＤＩＳＳＥＲＴＡＴＩＯＮ参数化进程网络的形式化语义研究院系：计算机科学与软件工程学院专业：软件工程研究方向：形式化方法指导教师：朱惠彪教授学位申请人：李思棋２０１６年５月Ｄｉｓｓｅｒｔａｔｉｏｎｆｏｒｍａｓｔｅｒｄｅｇｒｅｅｉｎ２０１６ＵｎｉｖｅｒｓｉｔｙＣｏｄｅ；１０２６９ＳｔｕｄｅｎｔＩＤ：５１１３巧０００２２ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＦｏｒｍａｌＳｅｍａｎｔｉｃｓｏｆＰａｒａｍｅｔｅ

3、ｒｉｚｅｄＮｅｔｗｏｒｋｓｏｆＰｒｏｃｅｓｓｅｓＤｅｐａｒｔｍｅｎｔ：ＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｇＩｎｓｔｉｔｕｔｅＭａｏｒ：ＳｏｆｔｗａｒｅＥｎｇｉｎｅｅｒｉｎｊｇＲｅｓｅａｒｃｈ化ｒ说杜ＯＩＫＦｏｒｍａｌＭｅｔｈｏｄｓｅｒｖｉｓｏｒ：ＰｒｏｆＳｕｐ．ＨｕｉｂｉａｏＺｈｕＣａｎｄｉｄａｔｅ：ＳｉｑｉＬｉＭａ２０１６ｙ，华东师范大学学位论文原创性声明郑重声明：本人呈交的学位论文《参数化进程网络的形式化语义研巧》，是在华东师范大学攻读％４：博±（请勾选）学位期间，在导师的指导下进行的研究工作及取得的研巧成／果

4、，。除文中已经注明引用的内容外本论文不包含其他个人已经发表或撰写过的研究成果。对本文的研究做出重要贡献的个人和集体，巧己在文中作了明确说明并表示谢意。作者签名：奴謀日期：化年ｒ巧ｆ日华东师范大学学位论文著作权使用声明《参数进程网络的形式化语义研巧》系本人在华东师范大学攻读学位期间在导师指导下完成的？＾／博±（请勾选）学位论文，本论文的研究成果归华东师范大学所有。本人同１意华东师范大学根据相关规定保留和使用此学位论文，并向主管部口和相关机构如国家图书＂＂馆、中信所和知网送交学位论文的印刷版和电子版；允许学位论文进入华东师范大学图书馆及数据库被查阅、借阅；同意

5、学校将学位论文加入全国博±、硕±学位论文共建单位数据库进行检索，将学位论文的掠题和摘要汇编出版，采用影印、缩印或者其它方式合理复制学位论文。本学位论文属于（请勾选）＂＂＂＂＊０１．经华东师范大学相关部口审査核定的内部或涉密学位论文，于年月日解密，解密后适用上述授权。２．不保密，适用上述授权。４ｍ导师签名：本人签名；ＭＵ年ｒ月非ｙ＊＂涉＂密学位论文应是已经华东师范大学学位评定委员会办公室或保密委员会审定过＂＂的学位论文（需附获批的《华东师范大学研究生申请学位论文涉密审批表》方为有效），未经上述部口审定的学位论文均为公开学位论文，。此声明栏不填

6、写的默认为公。开学位论文，均适用上述授权李思棋硕壬学位论文答辩委员会成员名单品Ｓ５品郭建副教授华东师范大学主席张敏副教授华东师范大学张民副教授华东师范大学摘要分布式计算（ＤｉｓｔｒｉｂｕｔｅｄＣｏｍｐｕｔｉｎｇ）是近年来计算机科学领域中十分热口的研究课题，它的主要研究对象是应用于不同场景下的分布式系统。形式化方法一被认为是对分布式系统进行描述和验证的种有效的方式。近年来，针对分布式系统的形式化语言Ｗ及进程代数演算的研究受到持续的广泛关注。一参数化进程网络模型是个面向工具的语义层面的模型语言，主要用于形式化描述和验证分布式

7、系统。此外，该模型也可为分布式系统或应用相关的语言一定义行为语义。不同于传统的进程代数演算，参数化进趕网络模型中只有个通一一一参数化进程网络节点用的并发算子，将所有并发执行的子网组合在起。尽管如此，模型中同步向量的引入，使得该模型可Ｗ表达丰富的算子和同步机制。本文研究参数化进程网络模型的形式化语义，我们通过研究参数化进程网络模型一的定义与持征，基于程序统理论（ＵＴＰ）给出参数化