基于Cloud Foundry的PaaS云平台的设计与实现

随着网络和云计算的快速发展,出现了越来越多的网络资源,对网络资源的共享、管理以及按需分配是云计算的一个重要的研究方向。PaaS平台即服务是云计算的一个重要服务类型,无论是对学校研究还是企业应用都有着很大的吸引力。利用PaaS平台,可以降低项目开发的成本和周期,还可以提高项目对外提供服务的质量。针对现有的公共PaaS平台不适合大连理工大学做研究以及使用的状况,设计并实现了一套基于Cloud Foundry的PaaS平台。实践表明,本平台不仅有效地利用了资源,还使得部署其上的云应用更有弹性。     

MDA环境下可变性元建模方法研究

为模型提供可变性支持对于模型驱动软件开发的实践具有重要意义。可变性建模有利于捕捉领域概念及其特征的共性和差异性,为构造应用模型簇提供了一种模型复用的途径。在研究特征建模的可变性机制和MDA标准建模语言对可变性表示不足的基础上,提出了一种可变性元建模方法,构造可变性概要以支持原子、成组等可变性描述,开发了可变性验证和模型转换算法。通过实际项目的验证,该方法为基于可变性建模的模型内容复用提供了有效支持。     

云应用部署配置模型

云计算已经成为广泛使用的计算范型,越来越多的大规模分布式系统已经或正在向云平台部署和迁移.用户在部署和管理维护应用系统时通常需要管理底层基础设施资源细节,或者使用平台提供方的应用部署和管理服务,前者使得应用部署和运行时管理易于出错且费时费力,而后者则降低了系统管理的灵活性,很难满足用户的个性化需求.针对这一问题,本文提出了一种高层抽象模型来描述云应用的部署配置和管理需求.需求模型采用声明式机制定义期望的系统状态,而无需描述实现目标状态所需的执行步骤和细节.本文基于开源云计算平台OpenStack和自动化配置管理工具Puppet进行了原型实现,通过一个应用案例验证模型的有效性.     

嵌入式控制系统图形化元模型构建方法

研究了基于模型驱动的嵌入式控制系统开发方法,分析并归纳了嵌入式控制系统中的基本特征和体系结构,完成了该特定领域的关键元素辨识和提取,在此基础上采用可视化元建模技术构建了该领域内直观的图形化元模型体系,最后应用这种模型驱动的设计方法和技术实现了一个嵌入式语音控制系统的模型设计,得到了该系统的可视源模型。     

元模型支持下的模型转换

模型转换是MDA的核心思想,包括模型到代码的转换和模型到模型的转换。文章所提出的模型转换方法用元模型表示转换规则,通过基于图转换的模型转换,最终得到目标模型的元模型表达。元模型支持下的模型转换可以对转换规则进行精确的描述,使转换具有明确的语义,更便于工具实现。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

基于元模型的协同建模模型组装与更新方法

随着软件规模日益增大,软件复杂度不断提高,飞机、轮船等大型系统的设计与开发往往是由多个不同专业领域、具有不同职能的团队相互协同完成的.针对协同建模中局部模型之间缺失信息所导致的模型不完整问题和更新操作之间发生冲突所导致的模型不一致问题,文中首先提出了一种基于元模型的协同建模模型组装与更新方法(Model Combination and Update,MCAU),该方法在元模型上定义了协同关系与更新操作,可在协同建模过程中保证模型的完整性与一致性,并通过一个实例对所提方法进行了应用与分析.其次,文中还提出了一种基于模型驱动的软件协同建模框架(Software Collaborative Modeling Framework,SCMF),该框架可有效支持多种建模语言的扩展.最后,基于Eclipse框架开发了软件协同建模原型系统CorMo-del,并通过相关实验进一步验证了MCAU方法的有效性.     

基于元模型的虚拟样机数据建模方法研究

数据建模是虚拟样机开发的一个重要内容。首先分析了虚拟样机技术对产品数据模型定义的要求;然后从过程、产品、组织、资源和约束五个视图角度分析了虚拟样机数据模型元模型定义,并以过程视图为核心建立了各视图元模型集成模型,分析了元模型数据描述方法;最后用一个实例系统实现了虚拟样机数据模型。     

元模型驱动的企业建模

企业建模对于企业实施先进制造战略具有重要意义。文章在研究分析了多种企业建模方法的基础上,应用元模型和模型驱动等概念和方法,提出模型驱动的企业建模方法。以元—元模型为基础,采用UML中的标识符进行企业建模。     

轻量级构件部署与配置工具的研究与实现

普适计算应用运行在高度异构、复杂多变的环境中,如何便捷、高效地部署与配置此类系统,是目前普适计算领域面临的挑战之一。为有效支持构件化普适计算应用的部署与配置,基于模型驱动的思想,遵循OMG的轻量级构件规范和构件部署与配置规范,设计实现了一个轻量级构件部署与配置工具StarDCTool。StarDCTool能够通过目标运行平台建模对计算环境的异构性进行支持,通过部署计划建模支持构件化应用的部署和配置过程的重用,进而自动化地生成与部署和配置相关的元数据。通过具体的构件化导航应用案例,验证了StarDCTool的功能和特点。     

A model-driven approach for developing a model repository: Methodology and tool support

Several development approaches have been proposed to cope with the increasing complexity of embedded system design. The most widely used approaches are those using models as the main artifacts to be constructed and maintained. The desired role of models is to ease, systematize and standardize the approach to the construction of software-based systems. To enforce reuse and interconnect the process of model specification and system development with models, we promote a model-based approach coupled with a model repository. In this paper, we propose a model-driven engineering methodological approach for the development of a model repository and an operational architecture for development tools. In addition, we provide evidence of the benefits and feasibility of our approach by reporting on a preliminary prototype that provides a model-based repository of security and dependability (S&D) pattern models. Finally, we apply the proposed approach in practice to a use case from the railway domain with strong S&D requirements.     

分布式入侵检测系统的部署

本文介绍了作者自拟开发的FONIX入侵检测系统,并对其组成部分作了详细的介绍。最后给出了入侵检测系统典型的部署方案。     

充气管展开过程仿真研究

采用有限元方法就空间充气结构的基本组成部件(充气管),展开动力学响应过程进行仿真研究.在对流固耦合问题的数值求解方法进行探讨的基础上,建立了充气管的原始折叠模型,利用瞬态动力学分析软件MSC.Dytran较为准确地模拟了折叠管完全展开的全过程.随后,分析对比了折叠方式的选取和控制机制的引入等外界因素对于展开历程的影响.仿真结果表明,外在因素的变化会直接影响展开过程的动力学响应模式,并改变充入气体总量、结构内部压差等重要系统参数.仿真过程中所采用的数值计算方法以及获取的各项仿真数据为更进一步的结构仿真模拟、系统总体方案设计和具体参量设定提供了重要依据.     

基于全国计算机等级考试系统自动化部署的设计

全国计算机等级考试系统的安装测试工作基本全是手工劳动．监考员要逐台修改计算机的设置、安装考试系统、检测考试环境,工作简单重复并且易于出错。探讨如何利用自动化技术实现整个考试系统的自动化部署,把监考员从简单重复工作中解放出来,提高工作效率。     

基于全国计算机等级考试系统自动化部署的设计

全国计算机等级考试系统的安装测试工作基本全是手工劳动,监考员要逐台修改计算机的设置、安装考试系统、检测考试环境,工作简单重复并且易于出错。探讨如何利用自动化技术实现整个考试系统的自动化部署,把监考员从简单重复工作中解放出来,提高工作效率。     

云环境下的虚拟机监控和服务器部署关键技术

现代生活水平的不断提高、网络科技的迅猛发展为互联网的发展带来的机遇和挑战。随着广大用户要求越来越高,需要开发更多的互联网服务,从而从根本上降低互联网的运作成本。基于云计算为前提进行相关的服务开发、管理,最终顺利完成这一目标。云计算的前身技术是分布式、网格和并行计算,能够有效地实现动态资源分配、自动部署和配置。目前,国际上的几大互联网巨头已经逐步将发展重点放在研究云计算技术上。     

关注用户服务评价反馈的云资源再分配方法

针对以往关于云资源管理分配的研究中多从云运营商的角度出发,未充分利用用户评价来改善资源决策能力的问题,提出了一种关注用户服务评价反馈的资源再分配方法。首先,通过分析云中心资源分配的过程,抽取出影响资源决策的要素,提出关注用户服务评价的自适应云资源分配框架;其次,阐明用户服务评价参与云资源管理的基本原理,建议一种用户服务满意度的量化度量;最后,基于相似性理论,预测用户对新任务的期望满意度,合并用户任务参数以及当前环境参数,作为BP神经网络的输入,进行资源分配方案的决策。在和无用户评价参与的资源分配方案比较的仿真实验中,其平均用户满意度提高了7.4%,保持在0.8以上,总体呈稳定上升趋势;与Min-Max算法、云任务与云资源满意婚配(CTRSM)算法比较,平均用户满意度分别提高了16.7%和4.6%。实验结果表明关注用户服务评价反馈的资源再分配方法是能够自我完善的,能够提高云资源自适应管理的能力。     

基于Cloud Foundry的云计算PaaS平台拓扑展示设计与实现

云计算PaaS（platformasaservice,平台即服务）平台是互联网领域近几年来非常热的技术方向,不仅可以为用户提供开发环境、开发平台和硬件资源,还可以提高硬件资源的利用率,降低业务运营成本。然而,在提供服务的过程中,缺乏一种有效的机制来约束服务提供商的行为。文章为实现云计算PaaS平台下对应用的监测,提出了拓扑管理的概念。应用拓扑可以监测应用与资源的关系,资源拓扑可以监测资源与应用的关系,两者从不同的角度实现对应用的监测。文章采用哈希数组保存拓扑信息,采用消息总线的“发布-订阅”模式传递消息,实现拓扑信息的获取,将结果使用网页进行展示。本系统可以使服务提供商清晰地掌握系统中应用与资源的关系以及资源情况,有效提高资源利用率,因此,系统可以提升服务质量,进而保障用户利益。应用拓扑展示和资源拓扑展示可以及时反映系统中应用与资源的关系,从两种不同的角度展示出来,给云计算提供者管理应用提供了很大的方便。     

基于映像的集群部署系统设计与实现

使用基于映像的安装技术和Intel的PXE协议,基于分布式网络模型设计并实现了一个Linux集群部署系统,能够快速部署大规模集群。系统具有良好的可扩展性、单一控制点。经过实践使用表明,该系统能够简化集群安装和维护工作,降低系统管理员工作量。