logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--博士论文--面向服务的软件动态配置技术研究
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
基因表达式编程理论及其监督机器学
面向电子服务的访问控制关键技术研
地理信息服务组合与空间分析服务
Web服务自动组合与形式化验证
服务协同适配机制与方法研究
面向服务分布式操作系统及其上
面向对象XML数据管理技术研究
多模型驱动面向服务系统开发方法
面向服务架构寿险建议书系统
基于形式方法面向服务Web软件
面向资源信息资源整合到面向
基于SOA中小型企业业务流集成
基于接口和行为语义Web服务
可重用业务流程中人工任务集成
面向服务用户界面建模方法研究
基于动态语义服务虚拟化模型
基于SOABOSS系统服务发现
基于PDC-Agent面向服务
面向服务应用即时构造方法研究
面向服务异步消息中间件研究与
浅谈公共文化服务实现——从图书
面向服务分布式协同系统研究
分布式卫星系统仿真支撑平台研究
基于Web服务SOA应用研究
面向服务应用非功能属性描述框架
面向SOA业务驱动开发平台
面向服务架构工作流系统研究与设
一种基于SOA架构中间件平台
基于SOA企业应用集成平台Ag
希捷公司新产品导入项目管理研究
一个基于Web工作管理系统
面向资源有色Petri网模型控
面向数据软件工程方法探讨及初步
面向消息和面向对象中间件在分布式
基于SOA网上购物系统服务平台
SOA关键技术研究与应用实现
面向服务房产管理信息系统集成研
SOA中服务建模与设计原理及方
面向服务角色访问控制技术应用研
从公共服务角度看社区卫生服务
成德绵区域网络化制造资源优化配置
企业服务总线中动态服务路由技术
基于QoS约束Web服务动态
基于SOA企业系统架构研究
基于Oracle ESB服务
基于SOA宝钢协同办公系统
SOA架构下基于语义人件服务
面向对象软件设计度量研究与实现
面向服务语义模型驱动企业应用软
面向构件化软件(演化)技术研究
基于SOAIT服务管理应用集成
基于扩展主观逻辑软件行为动态
基于组件技术电厂设备检修管理系
面向服务计算(SOC)中服务
面向服务仿真支持环境关键技术研
沪蓉线合肥至武汉段供电小单元改造
固定式低温容器应变强化设计与制造
猪流行性腹泻综合防治:一个猪场
基于平沟煤矿16~#煤层瓦斯地
Photoassisted Oz
一种信息系统安全漏洞综合分析与评
农村合作医疗面临问题界定与消除
红会三矿采空区电法勘探关键技术研
无核椪柑品种选育及栽培技术研究
龙塘山三号大桥抗滑墩施工技术研究
甘肃省刘家峡水库虹鳟鱼网箱养殖技
秦巴山区板栗疫病及主要虫害防治技
20世纪90年代中国音乐作品中序
复合射孔工艺技术研究
基于青海半干旱地区公路生态恢复集
刚架拱桥实用加固技术研究
无线市话网络优化关键技术研究
上海女子优秀短距离自由泳技术优化
扬州地区沥青拌和设备规划建设和
香榧幼林营建技术研究及应用
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
面向服务的软件动态配置技术研究
 
     论文目录
 
摘要第1-7页
Abstract第7-16页
第1章 绪论第16-28页
   ·研究背景第16-21页
     ·面向服务的体系架构与Web服务第16-20页
     ·软件动态配置技术第20-21页
   ·研究动机与研究意义第21-24页
   ·研究内容与主要贡献第24-26页
   ·文章结构第26-28页
第2章 研究基础与现状第28-48页
   ·软件动态配置技术分类第28-30页
   ·软件动态配置技术研究现状第30-44页
     ·传统的动态配置方法第30-33页
       ·软件程序层面第30-31页
       ·软件构件层面第31-33页
     ·基于元模型的动态配置方法第33-35页
     ·基于动态体系结构的动态配置方法第35-41页
       ·基于进程代数的方法第36-37页
       ·基于图的方法第37-39页
       ·基于逻辑的方法第39-40页
       ·其他方法第40-41页
     ·与面向服务的软件动态配置方法相关的技术第41-44页
       ·服务可替换性与相容性第41-43页
       ·面向服务的软件动态配置技术第43-44页
   ·国内外相关研究项目与平台第44-45页
     ·CREDO第44页
     ·Rainbow第44-45页
     ·ArchStudio第45页
     ·PKUAS第45页
   ·本章小结第45-48页
第3章 支持动态配置的面向服务的软件体系结构第48-60页
   ·反射技术第48-51页
     ·反射及相关概念第48-49页
     ·反射系统及分类第49-51页
   ·支持动态配置的面向服务的软件体系结构(DSOS)第51-58页
     ·设计思路第51-53页
     ·DSOS的基本组成第53-55页
     ·DSOS运行时体系结构第55-57页
     ·DSOS的反射机制第57-58页
   ·本章小结第58-60页
第4章 面向服务的软件动态配置正确性判定第60-102页
   ·问题概述第60-61页
   ·类型理论基础第61-65页
     ·Martin_Lof类型论简介第61-63页
     ·依赖记录类型与强制子类型第63-65页
   ·支持大粒度Web服务的形式化建模第65-84页
     ·大粒度服务与面向服务的软件第66-67页
     ·OWL-S的扩展第67-71页
       ·服务反向接口依赖关系第67-68页
       ·OWL-S扩展的实现第68-71页
     ·Web服务外部行为建模第71-76页
     ·Web服务内部行为建模第76-84页
       ·Martin_Lof类型论的扩展第77-79页
       ·服务行为类型第79-84页
   ·面向服务的软件动态配置的正确性判定第84-98页
     ·服务可替换性的定义与判定第85-90页
       ·服务可替换性的定义第85-87页
       ·服务可替换性的判定规则第87-90页
     ·服务兼容性的定义与判定第90-93页
       ·服务兼容性的定义第90-92页
       ·服务行为类型的对偶规则第92-93页
     ·实例研究第93-98页
   ·相关工作比较第98-99页
   ·本章小结第99-102页
第5章 基于DSOS的面向服务的软件动态配置第102-132页
   ·DSOS中的动态配置方法第102-106页
     ·自顶向下的动态配置机制第103-105页
     ·自底向上的动态配置机制第105-106页
   ·面向功能性动态配置的服务即时组装方法—证明即组装第106-116页
     ·面向动态配置的服务即时组装方法的基本步骤第107-108页
     ·服务即时组装需求的表达第108页
     ·证明规则与策略第108-110页
     ·实例研究第110-116页
   ·面向非功能性动态配置的目标选择方法第116-129页
     ·Web服务的非功能属性模型第117-118页
     ·面向非功能性动态配置的目标选择方法第118-127页
       ·面向非功能性动态配置的目标选择算法第118-119页
       ·单个和多个成员服务的替换第119-125页
       ·关键值计算方法第125-127页
     ·实例研究第127-129页
   ·相关工作比较第129-131页
   ·本章小结第131-132页
第6章 面向服务的软件动态配置平台第132-142页
   ·面向服务的软件动态配置平台的设计第132-136页
     ·体系结构第132-133页
     ·核心组件第133-135页
     ·主要过程第135-136页
   ·面向服务的软件动态配置原型平台-JTangSDR第136-141页
     ·JTangSDR的基础服务模块第137-139页
     ·JTangSDR的面向服务的软件集成开发环境第139-140页
     ·动态配置管理工具第140-141页
   ·本章小结第141-142页
第7章 总结与展望第142-146页
   ·本文工作总结第142-143页
   ·未来工作展望第143-146页
参考文献第146-155页
攻读博士学位期间的科研成果第155-157页
攻读博士学位期间参与的科研项目第157-158页
致谢第158-159页

 
 
论文编号BS420036,这篇论文共159
会员购买按0.35元/页下载,共需支付55.65元。        直接购买按0.5元/页下载,共需要支付79.5元 。
我还不是会员,注册会员
会员下载更优惠!充值送钱!
我只需要这篇,无需注册!
直接网上支付,方便快捷!
 您可能感兴趣的论文
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。
 
 
| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有 教育论文中心 Copyright(C) All Rights Reserved
联系方式: QQ:277865656 或写信给我