首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

构件适配技术的形式化分析与实现

中文摘要第1-5页
Abstract第5-8页
第一章 绪论第8-12页
   ·课题背景第8-9页
     ·软件构件的概述第8页
     ·构件适配的目的与意义第8-9页
   ·国内外研究状况第9-11页
     ·国内外关于构件模型的研究第9-10页
     ·构件适配技术研究概况第10-11页
   ·论文结构第11-12页
第二章 构件适配技术的理论基础第12-23页
   ·基本构件适配技术第12-16页
     ·二进制构件适配第12-13页
     ·Wrappers第13-15页
     ·主动接口技术第15-16页
   ·规范形式语言第16-19页
     ·Z语言第16页
     ·Z语言开发工具CadiZ第16-17页
     ·Z语言开发工具Z/Eves第17-19页
   ·EJB构件模型第19-21页
     ·J2EE的介绍第19页
     ·EJB应用程序第19-20页
     ·EJB的三层结构第20-21页
   ·开发帐户EJB应用程序第21-22页
   ·本章小结第22-23页
第三章 EJB构件适配的设计方法第23-37页
   ·方法设计第23页
   ·实体EJB适配方法第23-27页
   ·Z语言规范化的主动接口适配方法第27-29页
     ·Z语言的模式框第27页
     ·主动接口回叫程序的Z语言序列表示第27-28页
     ·Z规范分析主动接口适配技术的集合表示法第28页
     ·Z规范分析主动接口适配技术关系和函数表示法第28-29页
   ·基于EJB构件应用程序的开发第29-35页
     ·EJB应用程序域第29-30页
     ·开发服务器端第30页
     ·开发应用程序客户端第30-31页
     ·建立EJB环境第31-32页
     ·在AIDE中开发EJB应用程序第32-34页
     ·运行AIDE前端工具第34-35页
   ·本章小结第35-37页
第四章 案例分析第37-48页
   ·行为建模第37页
   ·构件适配的步骤第37-47页
     ·建立Z文件和Z’文件的并验证其有效性第38-39页
     ·根据Z文件及Z’文件建立主动接口回叫程序和连接代码第39-40页
     ·研究适配后的对象的生命周期的影响第40-42页
     ·主动接口适配技术的优缺点第42-43页
     ·执行结果第43-47页
   ·本章小节第47-48页
第五章 结论及研究展望第48-50页
   ·总结第48页
   ·研究展望第48-50页
参考文献第50-53页
在校期间发表的论文、科研项目等第53-54页
致谢第54页

论文共54页,点击 下载论文
上一篇:地方性法规立法问题研究
下一篇:高血压左室肥厚的影响因素及并存的靶器官损害分析