学位论文 > 优秀研究生学位论文题录展示
面向SMDA的服务建模方法及工具实现
作 者: 丁玉兰
导 师: 徐晓飞
学 校: 哈尔滨工业大学
专 业: 计算机科学与技术
关键词: 服务工程 服务模型驱动体系结构 服务模型 模型转换 建模工具
分类号: TP311.52
类 型: 硕士论文
年 份: 2008年
下 载: 95次
引 用: 2次
阅 读: 论文下载
内容摘要
伴随着全球经济的一体化,社会化分工逐步细分,跨区域协作趋势日益明显,服务不再是由单一的人或企业所提供的简单活动,而是由多参与方协同各个服务环节所构成的复杂产业链。因此,现代服务系统是一个由具有高度协同和分布特性的复杂行为构成的社会化系统。为构建复杂服务系统,需要一套覆盖服务全生命周期的方法体系来对服务系统进行架构与功能规划、描述/建模、构建及性能评价。建模的好坏直接影响到服务系统构建的效率,因此,服务建模系统对服务系统的构建有着举足轻重的作用。本文研究了面向SMDA的服务建模及其不同模型层间的模型转换。首先,本文在分析了已有服务模型及服务建模需求的基础上,结合MDA技术和构件化思想,提出了一套顾客、企业理解相一致的服务模型——服务模型驱动体系结构(SMDA)规范,介绍了SMDA模型中的三层模型:服务需求模型、服务行为与能力模型和服务执行模型,并从纵向四个维度:服务行为、参与组织、所需资源和输入输出信息,详细介绍了各个视图的描述方法及建模过程,阐述了各个视图模型构成元素的形式化定义及图形化表示,并讨论了模型的典型增强语义,最后给出了SMDA的建模方法。其次,本文研究了SMDA模型一致性规则及模型层间的转换方法。在给出了SMDA模型的形式化定义后,首先,定义了一系列模型转换的规则保证模型的一致性。然后,定义出各个模型层之间的元模型转换规则和语义转换规则,在此基础上提出了一种模型转换的方法,从而实现各层模型之间的转换,以加快建模的速度和效率。最后,本文设计并实现了一个支持SMDA的服务建模工具,对可配置的、支持服务构件复用及模型优化的服务交互建模提供支持。本文按照从粗到细的方法给出了系统设计过程,介绍了建模工具的各个模块设计及关键技术,并举例说明了系统的实现。
|
全文目录
摘要 4-5 Abstract 5-9 第1章 绪论 9-20 1.1 课题来源及研究背景 9-10 1.2 与课题相关的国内外研究现状 10-18 1.2.1 服务工程方法体系 10-12 1.2.2 服务模型 12-15 1.2.3 服务建模方法 15-16 1.2.4 模型转换 16-18 1.3 本文的主要研究内容 18-20 第2章 SMDA 模型规范及建模方法 20-61 2.1 服务工程方法体系与SMDA 的提出 20-23 2.2 SMDA 模型规范 23-29 2.2.1 三层水平的模型 24-25 2.2.2 四条垂直的主线 25-29 2.3 SMDA 模型描述方法 29-53 2.3.1 服务行为主线 29-43 2.3.2 服务组织主线 43-46 2.3.3 服务资源能力主线 46-50 2.3.4 服务信息主线 50-53 2.4 SMDA 模型的增强语义 53-58 2.4.1 语义分类 53-54 2.4.2 典型扩展语义 54-58 2.5 SMDA 建模方法 58-60 2.6 本章小结 60-61 第3章 SMDA 模型一致性及模型转换 61-80 3.1 SMDA 模型一致性规则 61-64 3.2 SMDA 模型转换 64-79 3.2.1 转换方法 65-67 3.2.2 转换规则 67-79 3.3 本章小结 79-80 第4章 SMDA 建模工具的设计与实现 80-92 4.1 需求分析 80 4.2 系统体系结构设计 80-82 4.3 功能设计和关键流程 82-87 4.3.1 模型的组织与管理 82-84 4.3.2 可视化建模 84-86 4.3.3 可配置的语义属性 86-87 4.4 实现技术 87-89 4.5 应用实例 89-91 4.6 本章小结 91-92 结论 92-93 参考文献 93-96 攻读学位期间发表的学术论文 96-100 致谢 100
|
相似论文
- 面向Seam框架的PIM到PSM转换研究,TP311.52
- 基于IP区分服务调度算法的研究,TN915.09
- 高速列车多体动力学参数提取与模型转换关键技术研究,TP391.72
- 基于SMP2的Statecharts建模框架研究,TP391.1
- 基于IPv6流标签的QoS研究,TP393.09
- 面向异构目标平台的MDA研究与实现,TP311.52
- 基于MDA的UML模型转换,TP311.52
- 基于XSLT数据模型转换的研究与实现,TP311.52
- 基于MDA的UML模型转换研究,TP311.52
- 基于MDE的UML模型到形式化模型的转换方法研究,TP311.52
- 基于语义分析的汉语短语识别方法研究,TP391.43
- 网构软件模型转换技术应用研究,TP311.52
- 新型磁悬浮系统控制方法研究,TP273
- 基于模型驱动的动态Web服务组合方法,TP393.09
- 基于SOA的报表服务模型设计,TP393.09
- 用例图到顺序图转换的研究,TP311.52
- 一种面向服务的消息中间件的研究与实现,TP311.52
- 情境建模方法和支撑工具的研究与实现,TP311.52
- 新疆高校教学资源库管理系统的设计与实现,TP311.52
- 基于网络的社区媒体精神赡养服务模型构建研究,G206.2
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|