新的软件开发方法论需求：软件定义的高层构造

一、研究背景多年软件开发的实践,人们积累了丰富的经验,也熟悉了软件开发过程的一些实质性的关键环节。软件开发人员知道如何去协调各个阶段的开发任务,如何强调某些步骤     

新型室内照明智能控制系统的研究与实现*

在ZigBee传感网技术的基础上提出了一种新型的室内智能照明控制系统,系统主要由若干约半个手掌大小的集成了ZigBee协议栈的网络节点组成。部分节点负责统计进入房间内人员的个数、判断人员在房间内的位置以及当前室内光线强度,并将这些信息反馈给中心控制节点,中心控制节点通过综合处理这些信息来自动设置房间的照明模式。首先在传统室内照明控制系统的基础上提出了一种基于无线传感器网络的新型室内照明控制系统的架构体系,接着分析了系统中各网络节点的硬件组成;然后从室内人员个数统计、人员位置识别、光线强弱判别以及照明模式判     

支持软件需求分析及其开发的智能环境

为了提高软件开发的效率，增强软件的可靠性与维护性，并在此基础上提供增量开发，我们结合人工智能（ＡＩ）的知识表达技术，通过内部的表达机制来支持软件的需求分析任务。在软件生存周期开发中，运用各种方法表达各类开发信息，作为计算机辅助软件工程（ＣＡＳＥ）环境的核心，依据软件工程学的开发模型，提供一种横向支持。建立需求分析工具以加强需求阶段开发，建立可视实体系统，表达和管理可视信息；应用框架系统提供文档表达     

基于专家系统开发过程的可视化方法及其应用

由于智能系统不同于常规软件系统的开发，其开发过程的可视化尤为重要，本文研究专家系统开发过程的可视化方法、关键技术及其具体的应用，并探讨了可视知识工程方法。     

Web Services技术在异构系统集成中的应用研究

文中分析了传统中间件技术在异构系统集成领域遭遇的挑战,介绍了Web Services的技术体系和优越性,并在此基础上结合具体实例探讨了该技术在异构系统集成领域应用的可行性．给出了集成异构系统的一个实例方案。     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

基于审查不确定性的预见式软件自适应

为了解决传统的被动式自适应(RSA)模型自适应不可预期的问题,提出预见式的自适应(PSA)方法.PSA方法要解决的重要问题是:模型如何能够从环境中学习.通过使用隐Markov模型(HMM),系统能够从历史行为中进行学习并生成预见式的动作.和传统的RSA模型相比,PSA方法能预见式地调整系统的运行时行为以适应新的环境.通过对系统管理的观察和PSA方法的认知能力,应用系统能够做出合理的决策.应用程序能实现预见性的自主管理过程,减少了人工干预.实验结果表明,PSA方法为应用提供了预见式的自适应管理机制,提高了应用的可管理性和服务质量(QoS).     

支持软件开发的变换方法

一、变换的意义 变换方法是指一个较为抽象的定义被重复地变换和细化,通过更加具体形式,直至一个目标系统的生成。其基本目标是实现一个程序到另一个程序的等价转换。近几年来,程序变换一直是计算机研     

一个基于可高集成界面的软件定义开发环境MHSC／E

软件开发存在着方法论需求。基于作者提出的ＭＨＳＣ方法论思想，本文提出一个支持软件定义开发的可视集成环境ＭＨＳＣ／Ｅ。通过可视界面支持软件定义的变换、求精与仿真。ＭＨＳＣ／Ｅ较好地反映出ＭＨＳＣ的核心思想。本文着重介绍ＭＨＳＣ／Ｅ的环境组成、集成界面以及高层构造技术和支持工具。