软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．

博物馆的数字化建设方案

本文分析了博物馆数字化的应用需求特点,提出一个数字化建设的设计方案,并简要介绍了部分关键设计思路。

工作流过程元模型研究

介绍了工作流过程元模型的相关概念,着重分析了几种具有代表性的工作流过程元模型,提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI,一种新的工作流模式即转移依赖分支模式被实现,最后介绍了MINI工作流管理系统。

一种反应式SPM及其动态语义XYZ表示

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.

一种以活动为中心的软件过程元模型

在软件开发过程中,过程定义是整个软件过程工程的核心,而成功的过程定义基于一个良好的软件过程元模型。提出了一种以活动为中心的软件过程元模型,使用ECA规则处理多种活动之间的转移关系,该元模型的描述基于XML语言,并采用XML sclaema来定义和检查XML文档的语法。该元模型具有可操作性强、结构简单的特点,并且在实际软件开发中得到了初步应用。

MINI工作流管理系统的设计与实现

对当前的工作流管理系统进行了分类比较,介绍了目前的研究热点和相关项目,设计并实现了一个基于Web的、面向过程的动态MINI工作流管理系统。该系统采用基于XML的MINI工作流过程建模语言描述模型,定义了工作流中的同步和并发处理机制,MINI解析器作为一个独立的组件被单独实现,这使得系统结构灵活,便于扩展。系统主要由工作流建模工具、工作流引擎和客户端工具组成,其中工作流建模工具采用C/S结构,客户端工具采用B/S结构,工作流引擎采用J2EE技术实现。

基于XYZ/SE的软件部分正确性验证

针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性验证;进行调整和验证,即:如果推导结果与预期不一致,则需要重写相关程序或者回溯检查推导过程是否存在错误,直至程序部分正确性得到验证为止。以国库信息处理系统为对象,分析了基于XYZ/SE的统一框架性能。分析表明,基于该框架能够对软件的不同抽象层次进行规范描述,实现从抽象(静态语义)到具体(动态语义)的平滑过渡。同时,基于XYZ/SE的统一框架也可以表示Hoare逻辑推演规则。

工作流过程图形建模及基于自动机的动态语义

根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.

基于深度学习的开放领域对话系统研究综述

人机对话系统能够让机器通过人类语言与人进行交互,是人工智能领域的一项重要工作.因其在虚拟助手和社交聊天机器人等领域的商业价值而广受工业界和学术界的关注.近年来,互联网社交数据快速增长促进了数据驱动的开放领域对话系统的研究,尤其是将深度学习技术应用到其中取得了突破性进展.基于深度学习的开放领域对话系统使用海量社交对话数据,通过检索或者生成的方法建立对话模型学习对话模式.将深度学习融入检索式系统中研究提高对话匹配模型的效果,将深度学习融入生成式系统中构建更高质量的生成模型,成为了基于深度学习的开放领域对话系统的主要任务.本文对近几年基于深度学习的开放领域对话系统研究进展进行综述,梳理、比较和分析主要方法,整理其中的关键问题和已有解决方案,总结评测指标,展望未来研究趋势.

面向模式的系统架构设计

模式是作为一个对软件开发中现存的、经过充分考验的软件设计的经验而提出来的。模式的提出给我们的软件质量和效率的提高提供了一条有效的途径。在我们的系统架构中主要用了层模式。

基于UML活动图的软件过程建模合理性问题的研究

阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。分析了使用活动图进行软件过程建 模的原理,给出了软件过程模型的4种基本结构和一个过程模型实例。讨论了建模过程中需要考虑的合理性问题的3 个方面,在此基础上提出了检验模型正确性和完整性的静态、动态和整体规则。

Java语言的异常处理设计原则

异常处理是Java语言的重要语言机制,正确地处理异常对程序的可靠性、健壮性是十分重要的。回顾了异常处理技术的概念和思想,对异常处理提出了一套实用的设计原则,并针对Java语言的具体环境,分类介绍了各种异常的常用处理方式。

MINI工作流管理系统引擎的设计与实现

MINI工作流管理系统是基于MINI工作流元模型实现的。本文深入讨论了MINI工作流管理系统的核心--引擎的设计与运行,介绍了MINI引擎的结构框架和各功能模块的设计,阐述了引擎对过程实例和任务生命周期的划分与管理。

海洋温差能发电自升降平台系统建模与仿真

海洋温差能是一种持续、稳定、绿色的新型能源。设计了一种利用海洋温差供能自主上浮下潜并发电的升降平台,给出了升降平台的系统构成及工作原理,并对平台各模块进行了设计与计算。此平台对海洋环境无污染寿,工作命长,在海洋开发和军事探测等领域有很大应用前景。

一种弹性的软件过程模型验证工具

过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。

多策略相似度整合的XML模式匹配方法

模式匹配用于发现不同数据源中概念之间的语义对应关系,已成为数据集成、数据交换等领域的研究热点。研究者提出了大量的基于XML模式匹配方法,从而可以识别XML中数据的语义对应关系。XML模式匹配存在着一些挑战,例如如何将节点和结构匹配进行综合考虑,如何有效拟合多种相似度等。面对如上问题,针对XML节点和结构两方面进行相似度计算,得到相似度矩阵后整合这两个方面的相似度。随后通过多种策略组合和优化算法进行拟合,以得到优化的匹配结果。最后,通过基准测试平台对比,该方法相比于经典的模式匹配方法具有较高的精确率和召回率。

基于数据依赖的过程合理性分析

软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法。

支持复杂事件处理的业务流程建模研究

现有的流程建模语言缺少对复杂事件的支持。通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件。在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示。最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的。

OR-Mapping的一种实现方法

OR Mapping集成了面向对象语言和关系型数据库 ,使我们在开发数据库应用时能享受到面向对象设计的好处。本文提出了一种具体的OR Mapping实现方法。使用对象描述数据库中的表能够使系统的结构清晰 。

软件重新工程化方法

软件重新工程化方法与技术是九十年代软件维护自动化的重要内容,日益受到人们的重视。本文讨论软件重新工程化的概念、方法和过程。主要内容有逆向工程、系统重构和软件仓库。