基于面向服务业务流程管理的系统架构建模

信息时代对业务流程管理结合面向服务架构的需求愈发显著,针对现阶段该领域研究中,概念与建模语言相脱节、忽视计算无关模型到平台无关模型的转换、难以贯穿系统多个视图等不足,将业务流程管理(BPM)与面向服务架构(SOA)方法结合应用到面向服务系统架构的业务流程建模。通过区分本体元模型与标记元模型的概念,在两种元模型之间分别建立映射关联:语义层映射和语法层映射,并以BPMN和SoaML为具体建模语言分两步推理实现。最后将所提出的建模方法及BPMN和SoaML之间的映射规则应用于一个游乐园智能手环系统架构建模案例中,验证了方法的可行性。     

IFML到MVPJavaFX的元模型转换及代码生成研究

富互联网应用程序(RIA)用户界面的设计和实现是一项耗时、高成本、一致性低的工作。针对这个问题提出了一种基于交互流建模语言(IFML)的RIA用户界面模型驱动开发方法。该方法首先利用对象管理组织最近采用的新用户界面建模标准IFML,完成应用程序需求分析的建模设计并获得PIM Ecore元模型;然后,设计符合MVP设计模式的JavaFX元模型,利用ATL模型转换规则,将PIM Ecore元模型元素转换到MVPJavaFX平台中的元素,得到PSM Ecore元模型;接着,通过Acceleo转换工具和定义代码生成模板实现PSM Ecore元模型到代码的生成。最后以一个实例进行了方法的验证。     

基于MVC模式的嵌入式Web设计方法

为了提高嵌入式Web应用开发效率和代码重用性,提出了一种基于MVC模式的嵌入式Web应用开发模式,并基于该模式设计出一种实用的CGI应用程序模板引擎.该设计引入MVC方法,将Web应用开发分为模型、视图和控制器3个模块,从而在嵌入式Web设计过程中实现了逻辑层与表示层的分离,使嵌入式Web应用程序设计过程模块化并具有清晰的层次结构.基于此方法开发嵌入式Web应用,可以提高代码的重用性,增强系统的可扩展性和可维护性.该模式是一种通用的设计方法,可以根据实际环境应用在各种嵌入式系统平台上.     

基于UML的领域规则建模方法

为了实现领域约束规则的可视化表示,检验需求模型与领域知识之间的一致性,该文提出一种领域规则建模及需求模型验证方法.在借鉴本体定义元模型和语义网规则语言(SWRL)基础上,定义了一种领域规则定义元模型.用该元模型扩展统一建模语言,使其可用于领域规则建模.给出了领域规则模型到SWRL描述的转换方法,使需求模型验证可通过形式化推理引擎自动完成.通过模型验证案例分析,说明了该方法的可用性.     

一种用于Web应用程序测试的对象模型

Web应用程序开发的复杂性使得Web应用程序测试技术的研究成为软件测试领域的研究热点。提出了一种用于Web应用程序测试的对象模型,该模型从便于测试的角度将Web应用程序抽象成三种对象:客户端对象、服务端对象和组件对象。与以往的模型相比较,该模型不仅有助于测试人员理解Web应用程序,也有助于测试用例的直接提取。     

面向方面的两级建模技术研究与应用

提出一种基于模型/视图/控制器模式实现两级分层建模的方法, 使用模型驱动架构开发, 满足元对象设施规范, 扩展了统一建模语言, 特别是支持了面向方面的建模技术, 从而解决了建模领域中系统的不同方面和抽象的不同层次需要不同语言的问题. 该建模方法可以在元建模阶段建立领域元模型和领域语言.     

有限状态程序模型及其应用

工程实际中的大部分应用程序都可以用有限状态机来描述。论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机。并讨论了基于有限状态模型的程序框架生成和该模型的一些性质。对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法。     

用抽象语法链表示C程序中的表达式

因为缺少解释器,对程序进行自动分析和测试领域中有很多问题难以解决.设计解释器的一个核心问题是如何表示表达式,使其既便于人工检查也便于计算机自动生成和解释执行表达式.传统的表示方式主要针对编译器进行设计,不适合解释器.为此,综合运算符的特性和常见表示方法的优缺点,提出用抽象语法链EOE*表示表达式,给出了相应的提取和解释执行算法,并成功应用于本项目组开发的解释器中.     

基于ARM9的嵌入式视频采集系统设计

以ARM920t内核的嵌入式微处理器S3C2440为硬件核心,以WinCE为嵌入式实时操作系统,选择图像传感器芯片OV9650,设计了一款小体积、低功耗的视频采集系统.硬件设计遵循模块化设计思想,将整个硬件系统设计成微系统核心模块、视频采集模块和外设控制模块3部分.软件设计部分论述了OV9650驱动程序的开发与应用程序的设计,驱动程序开发在Platform Builder中完成,应用程序在EVC可视化开发环境中完成.通过实验,证明了系统设计的正确与合理:视频清晰连续,系统稳定性好.     

一种基于遗传算法的多模型预测控制方案

针对时滞系统的特点,提出一种基于遗传算法的多模型预测控制方法.利用多个模型逼近整个被控对象的动态特性,针对每个子模型,设计相应的子控制器,通过加权的方式,将有限个控制量映射成最终的控制量;子控制器采用预测控制算法,利用遗传算法得到权值的全局最优解;比较该控制方案和PID控制在时滞系统中的应用效果.仿真结果表明：该算法不但克服了建模的不精确性和参数的时变性,使系统具有良好的控制性能,而且具有较强的鲁棒性.     

知识管理建模体系结构

为满足组织不同管理层次和不同专业背景人员进行知识交流的需要,采用多视角建模方法,建立知识管理的不同视角的元模型,包括战略元模型、组织元模型、组织知识流管理元模型．再利用对象建模语言对各元模型进行统一重构,建立起知识管理建模的对象概念体系．最后基于该建模体系开发了一个知识管理建模工具．由于模型体系具有面向对象和组件化的特点,因此,模型结构具有很好的重用性和可集成性．     

Implementation of WPDL Conforming Workflow Model

Workflow process definition language (WPDL) facilitates the transfer of workflow process definitions between separate workflow products. However, much work is still needed to transfer the specific workflow model to a WPDL conforming model. CIMFlow is a workflow management system developed by the National CIMS Engineering Research Center. This paper discusses the methods by which the CIMFlow model conforms to the WPDL meta-model and the differences between the WPDL meta-model and the CIMFlow model. Some improvements are proposed for the WPDL specification. Finally, the mapping and translating methods between the entities and attributes are given for the two models. The proposed methods and improvements are valuable as a reference for other mapping applications and the WPDL specification.     

面向政务流程的工作流模型

针对政务流程设计和实现过程中领域化、标准化、灵活性的要求,结合标准化的工作流模型和政务工作流应用的特点,构造政务流转系统,并在此基础上提出面向政务流程的工作流模型(简称政务工作流模型)．政务工作流模型在标准工作流模型的基础上进行扩展,通过政务流程元模型、政务文书元模型和政务机构元模型实现政务流程的建模,并把建模结果以政务流程描述语言的形式保存．在政务工作流模型的基础上,还引入两阶段设计的思想,通过使用流程设计模式简化政务流程的设计．     

基于现代企业应用的工作流过程模型研究

针对现代企业的实际经营状况,分析了工作流过程元模型在现代企业过程建模应用中存在的不足.在此基础上,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应现代企业过程建模的需求和新技术的使用.     

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.     

基于MDA的企业应用系统元建模研究

基于MDA(ModelDrivenArchitecture)方法,使用UML扩展机制,提出一个面向企业应用系统建模的元模型。探讨了元模型的构成和语义,通过模型实例,表明此元模型可以很好地应用于企业应用系统开发过程。这种以模型为驱动的开发方法能够通过模型来保持开发过程的一致性,提高了开发效率,并可以利用模型的可执行来仿真业务流程。     

基于本体的网络服务描述元模型的建立与分析

为实现网络服务的自动匹配、集成及运行时的实时监控,提出了一个基于本体的网络服务描述元模型,该模型弥补了网络服务描述语言(WSDL)在语义描述方面的不足,为网络服务提供了一个比较完整、全面的描述,能够较好地支持网络服务自动匹配、集成及运行时实时监控.     

基于嵌入式系统的应用功能重构

本文从软件平台和硬件平台两方面出发,详细的论述了一个基于uC/OS-II的嵌入式系统应用功能重构开发平台的设计思路和过程,设计了基于嵌入式系统的基本元功能模块,应用功能重构语言及其解释器。实现了一个基于嵌入式系统应用功能重构的系统原形。     

基于元模型架构的UML类图到PVS规范的转化方法

UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.     

论联络口译中译员的角色

联络口译译员应该正确定位自身在口译活动中的角色,努力做到既能够把握适度的"中立",不"过分参与",又能够适时地通过"客户教育"和"讲者教育",发挥自己在口译进程中的能动性,真正成为口译活动中语言和文化交流的促进者。