软件体系结构中状态方面的编织研究

	载入中...

软件体系结构中状态方面的编织研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

软件体系结构中状态方面的编织研究

论文目录
TABLE OF CONTENTS	第1-11页
摘要	第11-14页
ABSTRACT	第14-18页
缩略词对照表	第18-19页
第1章绪论	第19-26页
· 研究背景	第19-20页
· 问题的提出	第20-21页
· 主要研究内容和贡献	第21-24页
· 主要研究内容	第21-22页
· 主要贡献	第22-24页
· 论文的组织	第24-25页
· 小结	第25-26页
第2章相关研究	第26-39页
· 面向方面的软件体系结构设计	第26-29页
· 支持状态方面的编程技术	第29-31页
· 方面编织	第31-37页
· 方面编织的机制和语义	第31-35页
· 方面编织中的方面交互问题	第35-37页
· 小结	第37-39页
第3章软件体系结构状态方面建模	第39-47页
· 标记转换系统(Labelled Transition System,LTS)	第40-41页
· 基本系统的语义模型	第41-42页
· 问题的提出	第42-43页
· 软件体系结构状态方面的表示	第43-46页
· fLTS的概念和基于fLTS的切点模型	第44-46页
· 通知和方面的定义	第46页
· 小结	第46-47页
第4章状态方面编织的语义和策略	第47-92页
· 关联点的确定	第47-48页
· 通知的编织规则及操作语义	第48-52页
· 编织中的语法层方面交互问题	第52-57页
· 语法层的方面交互问题定义及判断方法	第52-53页
· 不同类型方面间的语法兼容性考查	第53-57页
· 编织的特性	第57-61页
· 编织的策略	第61-77页
· 基于基本系统运行迹模式的切点生成机制	第61-64页
· 切点的判断算法	第64-67页
· 支持状态方面编织语义的编织算法	第67-77页
· 原型编织工具-LTSbAW	第77-79页
· 实例	第79-86页
· 邮件客户端	第79-83页
· 电子商务系统	第83-86页
· 相关工作对比	第86-91页
· 与ConcurrentEAOP的实现对比	第86-88页
· 与其它面向方面软件体系结构设计方法的比较	第88-90页
· 与状态方面编程方法的比较	第90-91页
· 小结	第91-92页
第5章状态方面编织的语义校验和影响分析	第92-107页
· 语义的方面交互校验	第93-94页
· 相关定义	第93页
· 校验的方法	第93-94页
· 方面编织影响的分析和推理	第94-100页
· 基于语义一致性的方面编织影响分析	第94-96页
· 基于语义一致性的方面编织影响推理	第96-100页
· 实现及实例	第100-105页
· 方面编织的校验	第100-104页
· 方面编织影响分析	第104-105页
· 相关工作对比	第105-106页
· 小结	第106-107页
第6章结论与展望	第107-109页
· 本文总结	第107-108页
· 未来工作展望	第108-109页
参考文献	第109-121页
致谢	第121-122页
攻读学位期间发表的学术论文目录	第122-123页
攻读学位期间参与科研项目情况	第123-125页
学位论文评阅及答辩情况	第125-127页
附录英文论文	第127-169 页

本篇论文共169页，点击这进入下载页面。

更多论文
软件体系结构中状态方面的编织研究
农业技术推广模式变革的探讨
几乎临界增长的半线性椭圆方程组的
P2P工作流系统中的资源搜索及负载均
超级杂交水稻形态性状特征及其遗传
榆林市马铃薯产业发展现状及对策
竞赛图的生成三角形和包含给定弧的
Deep Web数据获取问题研究
外源基因转化南荻和籼稻的研究
高等院校农业技术推广人员激励机制
利益分析视角下的转型期国有企业劳
偏微分控制系统的精确能控性与适定
水稻与稻瘟菌互作的酶学、超微结构
我国小宗粮豆产业发展探讨
法律制度的信息费用问题
若干非线性波动方程（组）解的整体
苎麻体细胞杂交研究
农业推广人员人本化管理激励机制研
两类不确定系统基于网络的鲁棒滤波
藏族“赔命价”习惯法研究
芽前水田除草剂混用对水稻安全性的
自然保护区生态旅游规划设计
控制权度量模型及计算
现代性视野中的陈独秀文艺思想研究
辣椒高效离体再生与遗传转化体系建
再保险情形下离散时间过程的破产概
陕南秦巴山区农林复合模式效益评价
都市文化视域中的宋词研究
对称可识别模型及统计分析
用分子标记预测植物和动物杂种优势
中国高校英语专业学生二语词汇知识
西部地区城镇化过程中的生态效应研
Bubble-sort图的k-限制边连通度
中国芸芥的分布、类型划分及油菜-芸
基于区域协调发展的国内外城市化进
中国高级英语学习者二语词汇语义关
强乘积图的限制边连通度和限制弧连
苎麻的分子育种研究
西部地区城镇体系空间布局生态化导
英语作为外语磨蚀模式与原因研究
模糊泛函微分方程初值问题解的存在
西部地区小城镇建设与农村产业结构
红壤稻田脲酶研究
中国高校英语专业翻译教学研究--无
两类非线性边值问题正解的存在性和
西部小城镇建设的生态、人文、社会
速溶绿茶加工中主要风味物质变化规
山东省新农合基金分割理论、模型及
4元n方体完美匹配的若干性质
我国绿色农产品发展战略研究
山东省女性性工作者艾滋病高危行为
几类非线性竞争系统的概周期解的定
拟南芥COⅠ1互作基因的分离与鉴定
西部小城镇发展道路及对策研究
φ-Laplace方程解的存在性和多解性
葡萄子原花青素B2抗内皮细胞糖基化
榆林城镇化现状问题及对策研究
二阶常微分方程周期边值问题的解
建立用于环境及土壤微生物群落分析
刺参岩藻多糖对神经干/前体细胞的增
农牧交错区农业可持续发展战略研究
ω-伪解析函数及其权函数的性质
元宝草化学成分及离体培养的研究
DNA杂交信号的介质调控和酶法放大研
VaR模型研究及其在寿险公司资产负债
四阶微分方程Dirichlet边值问题解的
早籼稻米垩白形成的生理机理及其化
应用3T MR对食蟹猴行MRS及针刺、嗅
博弈模型及其在农业高新技术企业成
中立型泛函微分方程非振动解的存在

状态方面论文编织方面交互论文标记转换系统论文
版权申明：目录由用户zhanglife**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved