文档介绍：②寸阂石油六学硕±学位论文·,’腤服务动态组合建模与验证基于分层着色学科专业:计算机科学与技术研究方向:软件工程作者姓名:孙连侠指导教师:朱连章教授二。一一年五月单位代码:中图分类号:学号:/
&篠:’一一
煳聊维选聋学位论文作者签名:型杂同期:加甏踉汐学位论文使用授权书日期:砌『『年多月扣日日期:知年岁月步日本人郑重声明:所呈交的论文是本人在指导教师指导下独立进行研究魉〉玫摹成果,论文中有关资料和数据是实事求是的。尽我所知,除文中已经加以标注和致谢外,本论文不包含其他人已经发表或撰写的研究成果,也不包含本人或他人为获得中国石油大学6或其它教育机构的学位或学历证书而使用过的材料。与我一同工作的同志对研究所做的任何贡献均己在论文中作出了明确的说明。若有不实之处,本人愿意承担相关法律责任。学位论文作者签名:本人完全同意中国石油大学6有权使用本学位论文ǖú幌抻谄溆刷版和电予版褂梅绞桨ǖú幌抻冢罕A粞宦畚模垂娑ㄏ蚬矣泄夭棵机构徒谎宦畚模匝:乏流为目的赠送和交换学位论文,允许学位论文被查阅、借阅和复印,将学位论文的全部或部分内容编入有关数据库进行检索,采用影印、缩印或其他复:叫于段保存学位论文。保密学旺论文在解密后的使用授权同上。指导教师签名:
摘要随着窦际醯姆⒄梗戏⒉嫉腤服务的数量将越来越多,当单个服务无法满足用户的需求时,需要将多个功能有限的服务进行服务组合,产生增值服务。手工地去组合这些瘢槐阌诙苑褡楹弦谰萦没枨蟊浠卸髡以迫切需要对这些服务进行动态组合。,使得癜骺啥恋挠镆逍畔ⅲ梢允迪諻服务的自动发现、组合、执行和监控。但动态服务组合却是一个复杂而易错的过程,现有的组合规范缺乏有效的验证机制,因此需要建立褡楹系男问交枋瞿P停枚孕问交P的分析,验证方法来检验穸楹系恼沸院陀行浴目前已有一些形式化验证方法,主要有基于进程代数、自动机和5墙代数和自动机方法只是停留在语法层面,对语义信息描述不够,且建模过程复杂,模型抽象,缺乏直观的图形表示。由于基本挥醒丈ê头植愕母拍睿荒芫繁泶颳服务不同类型的数据,而且对于大规模复杂系统,容易出现状态空间爆炸问题。。首先研究基于甋的语义穸楹狭鞒蹋玫絎服务组合过程模型;然后提出甋描述的褡楹狭鞒讨械脑庸蹋春瞎程以及各控制结构向;墓嬖颍玫絎服务动态组合过程模型对应的分层着色P停蛔詈罄肅ぞ叨越⒌腃模型进行动态模拟仿真,并通过状态空间机制验证模型的有界性、可达性、活性讲庥形匏浪等各项性能。从而达到验证褡楹险沸院陀行缘哪康摹分层着色网建模,,引入分层概念,可以简化模型,对于大型复杂系统可以分成一些子网,每个阶段独立验证,逐步求精,对于有相同结构的子网,不必重复建模。同时也有利于避免状态空间爆炸问题。关键词:褡楹希琖服务本体描述语言,,建模,验证
琣猄,.,.猄琣琣猄,,琣瑃猻琲琤瓼..琒●’
,,,
录目第一章绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.课题研究的背景及意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.国内外研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.研究内容和研究路线⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。论文的组织结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..服务技术⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..褡楹霞际酢穸楹匣本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第三章着色攀觥基本研网⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.ㄒ濉牟愦位P汀抡婀ぞ摺刺占涔ぞ摺.
第四章甋服务组合模型到P偷淖;甋服务组合模型到P偷淖;嬖颉褡楹夏P脱橹し治觥本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第五章实例模型构建与验证⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯医院就诊服务流程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯医院就诊服务流程对应的P汀组合模型的正确性和有效性验证⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯结论与展望⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。攻读硕士学位期间取得的学术成果⋯⋯⋯⋯⋯⋯