服务行为交互模型及可信计算方法研究

《服务行为交互模型及可信计算方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、万方数据分类号UDC密级单位代码!Q!兰!服务行为交互模型及可信计算方法研究张宁指导教师张维石职称教授学位授予单位大连海事大学申请学位级别工程硕士学科(专业)计算机科学与技术论文完成日期2014年11月答辩日期2014年11月答辩委员会主席万方数据l；沁searchonServiceInteractiveBehaviorModelandTrustedComputingMethodAthesisSubmittedtODalianMaritimeUniVersi够Inpartialfulfillmentoftherequirementsforthedegreeo

2、fMasterOfEngineeringZhangNing(ComputerScience&Technology)ThesisSupervisor：ProfessorZhangWeishiNovember．2叭4万方数据大连海事大学学位论文原创性声明和使用授权说明原创性声明本人郑重声明：本论文是在导师的指导下，独立进行研究工作所取得的成果，撰写成博／硕士学位论文：：丛盘在塑童亘搓型丛亘筐让篁直选受宜：：。除论文中已经注明引用的内容外，对论文的研究做出重要贡献的个人和集体，均己在文中以明确方式标明。本论文中不包含任何未加明确注明的其他个人或集体已经公开发表或未

3、公开发表的成果。本声明的法律责任由本人承担。学位论文作者签名：苤翌学位论文版权使用授权书本学位论文作者及指导教师完全了解大连海事大学有关保留、使用研究生学位论文的规定，即：大连海事大学有权保留并向国家有关部门或机构送交学位论文的复印件和电子版，允许论文被查阅和借阅。本人授权大连海事大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，也可采用影印、缩印或扫描等复制手段保存和汇编学位论文。同意将本学位论文收录到《中国优秀博硕士学位论文全文数据库》(中国学术期刊(光盘版)电子杂志社)、《中国学位论文全文数据库》(中国科学技术信息研究所)等数据库中，并以电子

4、出版物形式出版发行和提供信息服务。保密的论文在解密后遵守此规定。本学位论文属于：保密口在——年解密后适用本授权书。不保密√(请在以上方框内打。。√，，)论文作者签名：券宁导师签名：日期：仂肛年万方数据中文摘要摘要面向服务的体系结构作为软件集成、系统开发技术领域进步的一个里程碑，近年来凭借其自治、开放以及平台无关等特性，得到了越来越多的关注与应用。服务是构造面向服务系统的基础模块，单个服务所具有的功能存在一定的局限性，组合多个服务是面向服务的体系结构开发软件应用、实现业务过程的核心方法和技术。本文对服务组合过程中行为交互建立模型SI．M，并研究了基于sI．M模

5、型的可信计算方法。本文主要研究内容和研究成果包括以下几个方面：1)阐述了服务行为交互建模及可信计算方法研究的背景和意义，总结了国内外服务行为交互领域的研究现状。介绍了用于描述服务组合过程的业务过程执行语言(BusinessProcessExecutiveLanguage，BPEL)，并阐述了BPEL的设计原则和构成元素。研究了Petri网的基本性质和原理。2)给出了一种基于Petri网的服务行为交互模型SI．M。业务过程执行语言用于描述服务间公共消息的交换过程，没有定义流程内部行为交互细节，SI．M模型基于Petri网能够将服务交互过程形象的描述出来。SI．

6、M模型的基本模式是将BPEL的“活动”映射到SI—M模型，然后采用库所结合消除的方式完成SI．M模型基本模式的嵌套迭代。3)给出了一种基于SI—M模型，确保交互行为可信的计算方法。交互行为的可信结合实际的应用可以表现在活性和安全性两个方面。服务行为交互过程传递的元素是消息，消息序列可以表示交互的过程。结合Sl—M模型性质和Petri网原理，变迁序列同样可以描述服务间交互过程，因此消息序列同变迁序列呈现的结果是一样的。可信计算方法将实际发生的交互行为序列与基于SI．M模型的消息序列对比，判断交互行为是否违背模型的可信性。本文提出的服务行为交互模型SI—M以交互

7、消息为基础建立，适合描述服务组合过程中行为交互关系，为服务行为交互建模提供了一种参考方案。基于SI—M模型的可信计算方法可以确保服务组合在实际运行中及时发现异常交互，为服务组合的交互过程提供安全保障。关键词：Petri网；web服务；行为交互模型；可信性万方数据英文摘要ABSTRACTSenrice一0rientedArchitectureisamilestoneinthedomainofsoftwareinte蓼ationandsyStemdevelopment’stechnique．Itisattractingmorea11dmorepeople’sat

8、tentionbyitscharacteristic