【摘 要】
:
电力软件是一种特殊的软件,随着电力需求的不断增长,其技术改造和检修的投入越来越大。电力技改检修项目创造的社会效益是巨大的,但难以对其进行定量分析,通过设计电力技改信
论文部分内容阅读
电力软件是一种特殊的软件,随着电力需求的不断增长,其技术改造和检修的投入越来越大。电力技改检修项目创造的社会效益是巨大的,但难以对其进行定量分析,通过设计电力技改信息系统,可以提高电力系统的可靠性,减少突发事件的可能性,可以挽回巨大的经济损失。可靠性是软件的一个重要特征,尤其是在特定的应用领域。模型驱动开发可以较好的解决软件可靠性问题。模型驱动开发以模型为对象,模型转换为核心操作,将模型映射到具体的领域工程,从而提高软件的开发效率、软件质量和其可靠性。薛锦云科研团队研发的PAR方法及其PAR平台,能够很好地解决软件的可靠性及其开发效率。自动程序转换是PAR理论的重要组成部分,使用建模语言Apla通过模型转换工具,如Apla→C++、Apla→Java等转换成可执行的目标语言,有相应的模型转换工具支撑,因此,可以保证程序的可靠性及开发效率。将MDA的思想及相关技术应用于电力技改系统开发,开发人员重点关注业务功能设计而不是具体代码的实现。本文的主要工作是设计和开发电力技改信息系统,使用基于PAR平台的模型驱动开发思想和转换框架进行系统功能的开发和实现。系统实现主要包括两部分:(1)业务功能建模,使用PAR建模语言Apla对系统功能进行描述,反映系统功能的平台无关模型;(2)模型变换,使用模型转换工具,把系统的平台独立模型转换成与其等价的平台相关模型,最终得到系统具体代码实现。本文的创新点如下:将模型驱动的思想应用软件系统的开发,充分利用PAR平台蕴含的模型驱动开发思想,高效、快速、可靠地开发应用系统。PAR平台及其模型转换工具应用于电力软件系统,可以拓展PAR平台在实际软件开发中的应用。研究了基于PAR平台的应用系统界面化设计。
其他文献
随着多媒体技术的发展,视频已成为人们获取信息的渠道。面对海量的视频数据库,如何快速有效地进行视频检索已成为研究热点。视频中的字幕信息为视频检索提供了可能。本文主要
通信子网与网络中继设备(路由器、交换机)的测试,特别是性能测试与评价涉及到对多个观测点进行协同控制下的并发测试。迄今为止,现有的测试系统基本上采用将ISO 9646中为一致
光滑粒子流体动力学(Smoothed Particle Hydrodynamics,SPH)方法作为一种基于物理的流体模拟技术,以其能够自动保持质量守恒、善于处理自由表面和固体边界、易于捕捉水花飞溅和
软件度量是保证软件质量的重要方法,一个好的度量方法会给软件工业生产带来巨大便利,同时带来不可估量的经济效益。程序切片技术是一种重要的程序分析技术,通过确定切片准则,
随着计算机网络的广泛应用,网络连续性服务变得日益重要,要保证网络服务的连续性,就必须先保证其高可用性。而要保证其高可用,就必需使用高可用性的集群技术。即高可用性的集
随着互联网的普及,电子邮件与人们的工作生活联系日趋紧密,随之而来的垃圾邮件问题也日益严重。邮件信誉机制作为一种新兴手段在垃圾邮件过滤领域中发挥着重要作用。然而,作为邮
网络仿真(Emulation)作为网络协议的实验验证和性能评价方面一种重要的实验方法,是网络模拟和实验床两种方式的结合。它可以使研究人员在有限的实验室条件下模拟出较大规模的
办公自动化是信息化建设的重要领域,随着信息技术和计算机技术的发展,工作流技术的应用越来越受到关注,工作流技术已经成为了新一代办公自动化系统的核心组成部分。工作流管理系
当拍摄的目标和相机在曝光瞬间内存在相对运动,便会造成拍摄图像模糊,这种模糊称为运动模糊。在实际过程中,相机与目标物体之间的运动相对复杂,工作在运动平台上的相机对目标
最近几年,Internet上的流媒体传播技术得到了迅猛的发展,然而由于Internet在满足端到端系统的原始需求设计上的对流媒体传播存在着固有缺陷和限制,容易引发如流媒体服务器端