基于MDA和进化计算之无线传感机网络软件过程概述.docVIP

　　基于MDA和进化计算之无线传感机网络软件过程概述 第一章 绪论 1.1研究背景和意义 MDA 正是应对上述问题而出现的开发解决方案，它最早是由 OMG(Object Management Group)提出的，其主旨是将不同的商业对象划分出一个统一的标准，目的是为了交换不同产品的数据和操作，防止不同厂商中商品之间的不兼容。MDA 是一种基于模型的软件开发框架，通过 MDA 开发框架实现模型化系统的同时，产生出代码框架[4]。MDA 开发框架将软件开发过程分为三个阶段，计算无关模型(CIM)、平台无关模型(PIM)和平台相关模型(PSM)，通过MDA 软件开发框架，建立出具有通用性的模型，并通过模型转换产生出代码框架，提高了项目的工作效率，降低了项目的开发成本。MDA 开发框架通过一定的映射规则和模型转换方法，将 PIM 转变为 PSM，最后将映射成的 PSM 模型转换成相应的基于无线传感器网络 TinyOS 系统特定组件的 nesC 模型，nesC模型可通过特定转换工具产生出 nesC 代码 ,而 PIM 到 PSM 模型的转换是整个 MDA 开发框架的核心[5]。进化算法(EA)是模拟生物进化过程的一种优化算法，其中自然选择学说作为进化论的核心内容，将生物的发展进化归结为三个原因，即遗传、变异和选择。进化算法(EA)的最初目的只是研究自然系统的自适应行为，没有设计出具有自适应特性的软件系统。随着进化算法的不断推广，进化算法作为一种对问题求最优解的有效工具，引起广泛的关注，同时应用于组合优化、信号处理、自适应控制、机器学习和人工生命等领域，成为现代智能计算的关键技术[8]。MDA帮助开发人员捕获系统的结构概述，但它并没有解决无线传感器网络TinyOS的软件开发过程中必须克服的一些非功能性约束集(延时、功耗、内存的使用以及模型转换过程的冗余性等)，例如，开发一个温度监视应用程序，使用无线传感器网络与一个基站的几十个温度传感器通信，开发人员可以选择从网络中的各个温度传感器或簇头(数据聚合在簇头) 收集数据，不同的选择将会产生不同的PSM模型。从非功能性的约束角度看，选择从簇头收集数据会降低功率，减少功耗，但却降低了温度数据的准确性，并且造成延迟和更多冗余的代码。选择一个适当的优化算法，将针对网络的非功能约束集在评估系统不同的约束条件和性能价值之间做出完美的权衡，因此本文提出使用进化算法，优化MDA开发框架中的不足。将MDA和进化算法相结合，通过MDA软件开发框架对无线传感器网络TinyOS的软件开发过程进行模型化表示，再使用进化算法对MDA开发框架中的中间层模型进行优化，将保证最终产生的基于特定平台的模型具有一定的准确度。 1.2国内外研究现状 无线传感器网络软件开发涉及了安全、路由、存活性、自组织性、体系结构、维护、更新等多个方面。目前无线传感器网络软件开发还处于初级阶段，没有相对成熟的软件工程理论与相应的开发工具；而且无线传感器网络应用程序开发主要集中在实现问题，大多数应用开发直接指定无线传感器网络领域特定的操作系统(TinyOS)和程序语言(nesC)， 缺乏一个软件工程方法来支持整个应用程序的开发周期，导致系统高度依赖平台的设计，难于维护、规模化和重复使用[2-3]。很多研究机构和专家在研究模型转换方法中取得不错的成绩，他们都提出各自不同的模型转换方法，但是目前还没有形成一个统一的转换标准。针对 MDA 软件开发框架，出现了一些具有不同特征的模型转换或建模语言的工具，如：(1)Atlas 转换框架。使用基于 Eclipse的 ATL(Architecture Translation Language)转换语言。ATL 是一种混合语言(说明式和命令式的混合)，设计用于表达 MDA 框架中的模型转换；(2)MOFScript 转换框架。主要用于开发模型到文本的转换，支持从 MOF 模型转换而来的具体代码，它包含以下功能：模型检查、解析和查询、输出文件管理、代码完成、语法检验等；(3)UMT-QVT 转换框架。主要用于模型到模型的转换，同时支持从 UML/XMI 模型来生成代码；(4)MTF 转换框架。用来定义模型转换规则，描述模型转换过程中的查询、视图和转换，基于 EMF 开发工具之上[6-7]；(5)Cadena转换框架。基于 Eclipse 的可扩展集成建模和基于组件的系统开发框架，用于将基于组件的nesC 模型转换成 nesC 代码，本文采用 ATL 作为实现模型转换的工具，将 Cadena 作为实现代码的工具。无线传感器网络是以自组织的方式形成网络拓扑，具有大规模、以数据为中心和低功耗的特点，这导致无线传感器网络的正常运转需要大量的成本和能耗。因此在传输数据过程中应该采用合适的路由算法，研究学者考虑将进化算法和路由算