一种面向服务的领域特征模型

针对面向服务的领域需求表达与规约化组织,提出一种扩展的服务特征概念与服务特征模型,以及基于OWL本体描述语言的服务特征本体元模型。扩展的服务特征概念可更为完整地表征面向服务领域的服务需求语义,而扩展的服务特征模型则为面向服务领域需求提供了一种易于扩展的规约化组织模型。模型通过特征关系映射,既克服了传统特征模型的特征组织形式的局限性,也丰富了服务特征间的语义关系,并可更好地支持基于特征的领域需求配置管理与定制。最后,通过给出的一个原型辅助建模工具实现,验证了模型的适用性。     

实时构件合成的语义研究

实时构件合成是实时应用系统中软件合成的基础,是实现软件复用思想的软件生产活动,其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开,规约为实时构件合成中的分析理论。     

基于进程代数规约生成软件体系结构模型的方法

需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.     

基于反射的实时构件模型规约描述研究

以现有的构件模型为研究基点,应用反射技术,针对实时应用系统的开发,提出一类新的构件模型——反射式实时构件模型,由反射式实时构件语义模型和反射式实时构件语法模型组成。该模型在规约构件应有的功能需求特征的基础上,有效地标识构件的时间约束特征,使得与传统的功能性构件区别开来,能被系统开发者更好地选用。同时,该模型结合反射技术,能根据用户需求的变化,对实时构件进行动态修改,以便更准确地保障实时应用系统的构建与开发,并增强构件设计的活性,达到构件更好实现的效果。反射式实时构件模型既是一个构件理论模型,也是一个工程模型。     

基于设计演算的形式化用例分析建模框架

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.     

涉众驱动的服务软件系统需求语义协作式获取方法

基于需求语义的服务工程旨在将无序需求变为有序规约,并最终关联到服务生产,以期提供按需服务能力,本文关注面向服务的软件需求语义的分布式协作获取方法的研究,针对基于服务资源聚合而成的网络化软件使用涉众的全球广域分布的特征,以面向服务软件的需求语义模型为核心,采用语义WIKIS引擎为协作平台基础,充分发挥涉众群体智能参与实例化需求要素标注,同时提供需求验证和推理功能以及与连接开放数据的映射关系,可即时生成阶段性需求语义制品.需求语义由网上涉众分布式协作获取,即用户需求(知识)表示,一致的、大众认可的需求语义为后续按需服务聚合与资源定制提供了自动化按需服务能力.理论与实证研究也证明了所提方法的有效性和可操作性,完成与现有的以需求主导、面向领域的应用系统的全面整合,支持实现需求语义为核心的按需服务工程应用.     

特征模型中非功能需求建模初探

在需求模型中准确、完整地规约与非功能需求(NFR)相关的语义是实现NFR的前提,也是需求建模的难点.本文探讨了特征模型中NFR的建模方法,该方法显式区分功能和非功能特征,根据精化关系将处于不同抽象层次上的非功能特征组织成树状结构,支持对NFR的系统化处理.该方法扩展特征模型以显式描述特定于NFR的语义,还给出了基于知识库(特别是中间件特征模型构成的知识库)识别并精化NFR的过程.该方法在奥运信息系统建模中得到了应用.     

面向嵌入式实时软件的需求规约语言及检测方法

针对嵌入式实时软件需求规约及其检测问题,提出了基于层次并发有穷状态机的可合成的图形化建模语言RTRSM*(real-time requirements specification model*),利用转换有效期和事件预定机制来描述时间限制,能够较好地支持系统交互性和实时性的建模.为弥补RTRSM*作为操作性规约语言不便于性质描述的问题,提出了命题时序逻辑RITL(real-time interval temporal logic).该语言以时间状态序列为语义模型,具有基于区间和时间点的量化时间属性描述功能,能自然、全面地描述RTRSM*模型性质.介绍并讨论了基于两种语言的规约检测方法和技术,主要包括系统状态空间有穷的RTRSM*模型状态可达图的相关问题和规约的模拟执行.     

领域工程概述

一、引言领域工程是为一组相似或相近系统的应用工程建立基本能力和必备基础的过程,它覆盖了建立可复用的软件构件的所有活动。其中“领域”是指一组具有相似或相近软件需求的应用系统所覆盖的功能区域。领域工程对领域中的系统进行分析,识别这些应用的共同特征和可变特征,对刻画这些特征的对象和操作进行选择和抽象,形成领域模型,依据领域模型产生出领域中应用共同具有的体系结构(即特定领域的软件构架,缩写为DSSA)或生成过程,并以此为基础识别、开发和组织可复用构件。这样,当开发同一领域中的新应用时,可以根据领域模型,确定新应用的需求规约,根据特定领域的软件构架形成新应用的设计,并以此为基础选择可复用构件进行组装,从而形成新系统。     

包含协议和语义的构件一致性验证方法

在基于构件的系统设计中,需要对构件的一致性进行验证。构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证。而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证。为此提出了一种包含协议和语义的构件一致性验证方法。所提方法将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约。通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程。该算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性。该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形。     

MAX1480在蓄电池参数检测系统中的应用

介绍了一种大容量蓄电池的实时参数检测系统。该系统实现了对蓄电池组中每块蓄电池的电压、温度、电解液液面高度限等参数的实时检测。控制器以LPC2104为核心,在μC／OS-Ⅱ基础上开发应用软件,传感装置以PIC18F2420为核心,软件采用前后台方式运行。     

基于模型驱动的软件集成平台研究与实现

针对当前管理软件业务需求快速变化的特点,提出了"以用户为中心"的面向业务的软件集成平台.分析了当前管理软件开发遇到的问题,提出面向业务的软件集成平台(BOSIP)作为求解的基本思想;提出采用模型驱动作为BOSIP的实现技术体系,研究了模型驱动原理,给出了运行期模型驱动观点;根据运行期模型驱动思想,给出BOSIP实现框架;最后针对油气勘探业务领域实现了数据管理平台,对基于运行期模型驱动的BOSIP进行了验证.     

基于S3C2440的真空差压铸造控制系统

介绍一种以S3C2440为核心的真空差压铸造控制系统的设计,描述控制和铸造的实现原理、系统的硬件组成及对应的应用软件设计。利用该系统的应用程序软件可有效地实现对铸罐压力的精确控制。系统能够实时显示铸造过程中的参数变化曲线,具有网络传输、存储打印等功能,能够提高铸造的人机互动性和可靠性。     

电力软交换系统及其安全性研究

电力行政和调度电路交换网向软交换系统演进是必然趋势。软交换是承载于IP分组网上的数据通信系统,可同时传输数据、语音和视频等信息。但同时软交换由于其开放、复杂等特点,无论在网络硬件开发、协议设计还是应用软件开发上,都面临着各种各样的安全威胁。在分析电力软交换系统安全威胁的基础上。从业务安全、信息安全、设备安全和网络安全等多方面提出安全方案,保证电网稳定运行。     

PC工作站在DWCS软基站中的应用

分布式无线通信系统（Distributed Wireless Communication System,DWCS）是近几年提出的一种新型无线通信体系结构,系统采用网络无线电技术,信号处理和控制模块均在PC工作站中完成.本文结合软件无线电相关技术,研究PC工作站在DWCS基站中的应用.本文将详细分析软基站设计及实现的关键问题,并给出软基站系统的实测性能.     

UML-BD在C3I系统中的应用

DEVS是对离散事件系统的一种形式化描述,它提供了一种层次的模块化的系统说明方法。该文中的UML-BD（UML Based on DEVS）方法就是在UML中结合DEVS这一特点,对UML进行一定的扩展;同时还在UML中还增加了时间的约束．满足系统的实时性的要求。基于C3I系统的层次性、实时性的特点,该文采用UML-BD方法对系统进行建模,构建出系统模型能够充分地展现系统特点。     

基于ARM和Minigui的嵌入式数控标记机系统设计

为满足市场对标记机系统小型化、便携化的要求,提出了一种基于ARM和MiniGUI的嵌入式数控标记机的解决方案.设计了系统的软件体系结构和矢量字库,采用实时层和非实时层的分层软件结构保障实时任务的及时处理,提供了USB和TCP/IP接口与其它系统进行数据交换,采用MmiGUI设计了系统的图形用户界面,完成了MiniGUI在ARM2410上的移植.所设计的系统有效地改善了人机接口,提高了步进电机的控制效率和质量,能够满足标记机系统的应用要求.     

基于μC/OS-Ⅱ的1553B和ARINC429总线实时协议转换系统的设计

设计了1553B和ARINC429总线实时协议转换系统。系统硬件部分采用"MCU+FPGA+外围芯片"进行构建;软件部分是将嵌入式实时内核μC/OS-II移植到DSP控制器上从而构建一个低成本的通用嵌入式实时软件平台,基于此平台以C语言和汇编语言在DSP集成化软件开发环境CCS上加以实现。对协议转换系统进行了测试和联机验证,结果表明该系统完全符合设计要求。     

一种基于构件组装方式的特征干扰检测方法

随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点。基于软件构件的特点。提出采用时序逻辑语言XYZ／E形式化构件,并根据构件组装的不同方式对特征干扰问题进行检测。     

基于ZigBee—WSN的温湿度监测系统

摘要：针对环境监测系统布线复杂、数据的实时性和准确性低等问题,提出了一种基于ZigBee技术的分布式传感器网络平台。选用SHT75传感器实现对监测点温湿度信息的精准采集,并通过由CC2530芯片和CC2591射频前端组建的ZigBee网络完成数据的远距离传输和汇聚。数据经过阈值比较,可以进行声光报警或GSM短信报警。同时,采集的温湿度信息将通过Z—SensorMonitor软件在PC端实时显示和存储。本系统提高了数据的实时性和可靠性,降低了环境监铜11出太