文档介绍：
分娆吊TP3IL5
UDcE
工学硕士学位论文
面向Web组合服务的运行时监控
技术研究
硕士生姓名韩仲志
学科专业计算机科学与技术
研究方向计算机软件与理论
指导教师毛晓光教接
国防科学技术大学研究生院
二O一一年十一月
poeliL2
ResearchonRuntimeMonitoringfor
CompositeWebServices
CandidateHanZhongzhi
Adissertation
Submittedinpartialfulfillmentoftherequirements
forthedegreeofMasterofEngineering
inComputerScienceandTechnology
GraduateSchoolofNationalUniversityofDefenseTechnology
Changsha,Hunan,
November,2011
独创性声日
本人颂胺所量交的学伊泓穴是本人圭早帽播孙下衍的定工俳此联彼
的砂克应晓尽所知,院孕文中怡制招法名政潘的觉外,许文中不包合
其像人趣裂来柏过的资肌联,乙年包吴为狱国阡移学挂札大其古
探林标的学仪度证芒西傅朐竖的根林不戒一阅工作的阮志刃官朋余的余
余赖土症文中作孔吴的诚晓根沥
学识文日
学沐笃卿8烈0o年川月人8
学位论文版权使用授权书
本人窄全五郭国陶租学标术火学有关维国、倩学位文的贺,本人扑
国限林学招术大学史以俊国朝国朗关部门成林楠炳汪文的卯和电孔
文林元沥文招阆和借闻;史棣学伟沥文的全郭郭内篱入史关敌
牌逊行宗,讥根用形印、钟或招维复刑段信。玑孝文。
借学伟文杨常屏用札指权节
学余水李
学余泉宏作芍日焕MI年川月伯
伯技芒8希30V年川月匹8
国阮科学技札大学明生院页学余许
目录
摘要..
ABSTRACT
第一章绪论
1诽题研究肉景和意义、
12课额研究内
13论文结构
14论文明究成果
23运行时蛟掷技术发展
24相关技术
25本章小
第三章Web服务技术研宁
31Web服务.
32Web组合服务
33WEB服务舷控研究现状
34本章小结
第四章行为性质规约模坦
4事件演符
*
42行为性质规约建模6
6
国阮科学技札大学明生院页学余许
4
44
第五章
5
52
53
54
第六章
61
62
63
绪果
致谢
参考文献
作者在学服闵职得的学术成果.
422事伯鞅漆寇发26
途红行为
432顽朝行为途
本荣小统0
行为性质规约提取
BPEL4WS技术
5BPEL4WS技术基碳
转化椿桥设计、
522结杰化活动转化模椿设评38
转化算法实现有
本节小结心李
盎控根架和监控算法43
盟掷栋架.
监探算河
、
622监探鲸
本英小绮.
语
国阮科学技札大学明生院页学余许
表351
表52
表53
表54
表55
表57
表58
表59
表51
表512
表61
表62
表63
表64
表目录
Sinvoke谚动的转化模楚.
epB洪动的转化横枢
eceive活动的转化模柿
assigm话动的转化模投
Hhrow话动的转化模柿
waic洪动的转化横枢
squence话动的轻化横投
flow活动的转化榆林
switch洁动的转化横林
pist洪动的转化校杀
wvhie活动的转化横林仪
CRS系统合成迹程的都分BPEL4WS描运
CRS系统合成运程的事件演算表示
规则B4的模板设计
助法中的部分数接结构
规则B4模板的
规败B4模板的更新
国阮科学技札大学明生院页学余许
图2
图22
图23
图24
图25
图3。
图32
国4
图42
图43
国44
图5
图52
图6J
图62
图63
图目录
软件运行时颈控的基本视国
MaC整体像架.
JavrMaCfamework、
把横欧作为一批关
关注点识别与编织
而向服务的体系结扰
Wib服务组合方法
模型的部分事件定义
汽车租贾系统CRS结枭关系国.、
对汽年租伯系统的行为性质觅约模埕,
CRS的事似日志
Wicb朋助钦设椿
俭用BPEL4WS设计组合服务系统的开发椿式
E
曰新过程流程国
姓控算法洪程图
第Iy页
国阮科学技札大学明生院页学余许
摘要
贾着生产力和现代吴学技术的飞违发展,软件已经港通到社会吊个领域,发
怀着工要从个桥代的作坩然而随着驮件岘榄和复杂