文档介绍：立坠缝军苏州大学学位论文独创性声明丝出墨:唾本人郑重声明:所提交的学位论文是本人在导师的指导下,独立进行研究工作所取得的成果。除文中已经注明引用的内容外,本论文不含其他个人或集体已经发表或撰写过的研究成果,也不含为获得苏州大学或其它教育机构的学位证书而使用过的材料。对本文的研究作出重要贡献的个人和集体,均已在文中以明确方式标明。本人承担本声明的法律责任。论文作者签名:期:
日期:┟在——年一月解密后适用本规定。苏州大本人完全了解苏州即:学位论文著作权归属苏州大学。本学位论文电子文档的内容和纸质论文的内容相一致。苏州大学有权向国家图书馆、中国社科院文献信息情报中心、中国科学技术信息研究所蚍绞莸缱映霭嫔、中国学术期刊馀贪电子杂志社送交本学位论文的复印件和电子文档,允许论文被查阅和借阅,可以采用影印、缩印或其他复制手段保存和汇编学位论文,可以将学位论文的全部或部分内容编入有关数据库进行检索。本学位论文属论文作者签名:导师签名:涉密论文口非涉密论文口
数据和时间感知的褡楹闲问交S胙橹ぱ芯中文摘要近年来,随着互联网的普及与电子商务技术的发展,面向服务的计算兔向服务的体系结构鸩奖湮N蠢慈砑⒄沟囊恢智魇疲惨殉晌Q踅绾凸业界共同关注的一个研究热点。作为一种全新的计算模式,行Ы饩鲈诜植肌动态以及异构环境下分布式应用集成问题,而魑R恢中碌娜砑7⒛J剑过松耦合方式有效支持和实现软件资产的集成与复用。目前窦际醯牟欢铣熟与发展使其成为闹髁魇迪址绞剑参猄提供了最佳技术支撑。袷且恢只谕绲淖悦枋觥⒆园娜砑辜哂兴神詈稀⒍懒⑿郧等特点。它以、以及等标准协议为核心,采用面向服务的体系结构,通过服务发布、查找以及绑定等基本操作,实现分布式环境中动态、开放的互操作以及跨平台应用。由于单个竦墓δ苡邢蓿ü延械姆窆辜跃蔡或动态的方式组合成一个新的服务来满足企业特定的个性化需求已成为目前动态电子商务领域的发展趋势,并且已影响到当今服务产业的产品开发方式。然而,由于网络环境的动态、异构以及分布式等特性,如何确保组合后的服务能够实现企业要求的业务功能,同时在运行过程中不会出现企业不期望的情况,已成为构建和运行面向服务架构系统、实现企业应用集成的根本。形式化技术作为软件质量保证的一种重要方法,为解决以上问题提供了有效途径。本文采用形式化技术,围绕服务组合研究领域所涉及的三个核心科学问题:服务组合的建模、静态验证及运行时动态验证展开研究。首先,以自动机理论为基础,建立一个可以有效刻画数据及时间等信息的褡楹闲问交P停黄浯危阅型检测技术为核心思想,提出一种能够对褡楹系男形J粜浴⑹奔涫粜砸约数据属性等进行静态验证的理论方法;最后,以运行时监控褡楹弦话惴椒为基本思路,给出一套能够在褡楹隙诵泄讨谐鱿忠斐J苯杏行Т理的故障诊断机制。对服务组合建模与验证技术的深入研究可以有效提高组合的可信性,推动面向服务概念的发展。关键词:褡楹希恍问交际酰皇菔粜裕皇奔涫粜作者:狄浩军指导教师:张广泉数据和时间感知的褡楹闲问交!验证研究
猘—垦竺塾竺墅图崂鹨祅.——,琣琖,.,瓵瑃瓾’,.痶
恸籉5膕鷖.,.:;;’,篺,.;,,
目录第一章绪论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..研究背景及意义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯国内外研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯本文研究内容⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.本文组织结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第二章褡楹霞际醺攀觥裼隨⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯褡楹稀骸业务流程执行语言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..第三章形式化技术概述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯形式化方法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯模型检测技术⋯。⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯第四章数据和时间感知的褡楹闲问交!问题描述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..眯性ざ┓┕⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..莺褪奔涓兄5腤服务组合模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.实例分析⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯本章小结⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯
⋯⋯⋯⋯⋯⋯⋯⋯