面向临床实践指南的诊疗模式建模与实现

对临床实践指南(Clinical Practice Guideline, CPG)中的诊疗过程进行数字化建模并使其被工作流引擎解释执行,可为医生提供针对性的临床建议,为指南的有效实施提供技术保障。由于诊疗过程的复杂业务规则和非结构化等特点,采用传统业务过程建模方法会导致模型难以理解、失去使用价值。而对于一些复杂而频繁的诊疗行为尚无可参考的有效建模方案。为此,该文从四种不同的CPG诊疗过程中提取出五个诊疗模式,并给出形式化定义和基于BPMN(Business Process Model and Notation)、DMN(Decision Management Notation)和CMMN(Case Management Model and Notation)的通用建模方法。诊疗模式的提出可为诊疗过程片段建模提供指导性建议和可复用的模板。在此基础上,对开源建模工具Camunda Modeler进行扩展,实现了支持诊疗模式的建模工具。通过配置诊疗模式,可快速得到诊疗过程片段模型,从而提高建模效率。通过对真实的CPG诊疗过程的建模和覆盖率分析验证了诊疗模式的可用性。     

面向水利信息化项目的自动代码生成器的设计与实现

提要:面向特定领域的产品类软件工程研发中,良好的功能复用和逻辑嵌套调用等功能能够很大程度上减少设计人员和开发人员的劳动成本.当前的主要研究集中在通用软件的功能复用和扩展上,忽略了特定业务领域具有鲜明的业务模式的共性.本文在建设南京市水务局信息系统数据资源项目过程中,充分挖掘以往积累的水务信息系统构建过程,实现了一套面向水利信息化项目的代码生成器.该代码生成器基于面向对象的数据模型来生成代码,允许用户根据软件系统的不同业务架构自定义代码生成模版.项目结果显示自动代码生成器大大减小了项目开发周期,在水利项目开发领域具有较好的应用价值.     

基于构件和总线集成的业务基础平台框架研究

为了提高软件复用的灵活性和软件的开发效率,提出了一个基于构件和总线集成的业务基础平台框架（CBBF）,以结构级的构件定制和复用生成业务过程,以体系结构支撑和集成软件系统。阐述了基于业务基础平台的开发模式;设计了CBBF的体系结构;分析了CBBF实现的关键设计,包括XML总线集成的内核引擎、构件分类、构件模型的形式化描述和构件组装;给出了CBBF的实现细节。实践表明CBBF可以简化软件开发过程,大幅提高软件开发效率。     

面向业务人员的动态业务过程改变方法

针对目前业务过程修改和实例迁移系统对使用者的技术背景要求较高的问题,提出了一个面向业务人员的动态业务过程改变方法,进行了一致性分析,并给出了业务过程设计器。业务过程设计器基于业务过程模型和符号2.0规范。该规范易于业务分析人员掌握及建模,并具有可执行语义。针对由于业务过程重组导致的业务过程改变的常见模式,提出了业务过程改变操作类型。业务过程设计器支持业务过程改变操作类型,将IT人员解放出来,降低了业务人员与IT人员交流的成本。     

Ar/T-Net:一种面向Artifact的业务过程概念模型

以数据为中心是业务过程管理发展的新趋势,面向Artifact的业务过程管理是一种具有代表性的以数据为中心的业务过程管理技术。概念模型设计是面向Artifact的业务过程设计的关键步骤,但目前还没有成型的建模和分析工具。利用谓词/变迁Petri-Net建模的优势,根据Artifact的特点,用嵌套关系模式定义Artifact的结构;以描述Artifact的嵌套关系模式作为谓词,提出了一种适合于概念模型设计的谓词/变迁Petri-Net,即Ar/T-Net。以可达性分析为例,讨论了Ar/T-Net的功能。     

基于业务规则的信息系统建模方法研究

信息系统的开发需要对业务过程进行建模。论文提出一种从业务规则的角度对业务过程进行建模的方法。通过对业务规则的分析,讨论了将业务规则转化为建模构件的方法,研究了构件之间的关系——元模型,并给出了利用这些构件建立业务过程的规则模型的方法。最后给出了一个业务规则模型的实例。     

支持领域复用的过程元模型

过程的复用问题如同软件本身的复用性，具有同样重要的意义．提出了一种支持领域复用的过程元模型．借鉴OO技术中的类继承概念，以表示领域业务过程间的共性以及抽象-特化父子关系；通过参数化模板机制的使用，增强过程的抽象表示能力．据此设计了独立于具体平台的过程定义语言，通过映射机制可转换为特定的过程定义语言如WSFL、WPDL等，从而可被各种工作流引擎执行．实现了过程建模工具PM Builder．     

业务过程建模中冲突消解的研究

业务过程建模是整个工作流管理的基础,在工作流执行之前,需要对业务过程模型进行分析和检测,对含有冲突的模型进行冲突消解,以协助建模人员修改业务过程模型。介绍了冲突的体系结构,对近年来在冲突消解方面的研究进行论述,并提出了含有二级检测机制的冲突消解工具结构,为业务过程模型的分析提供依据。     

基于本体的领域特征建模过程研究

软件复用的研究和实践表明特定领域的软件复用活动相对容易取得成功,这主要是由于领域的内聚性和稳定性。而系统、全面的领域分析是成功的领域级复用活动的前提和关键。在领域分析和建模的相关研究工作中,已在特征建模方法的基础上引入本体作为特征建模的基础。在此基础上对基于本体的领域分析和建模过程进行了研究,提出了一种领域分析和建模方法OBDA（Ontology Based Domain Analysis）。该方法使用专家分析和自动分析方法相结合,分析业务动作之间的分解、泛化、刻面和依赖等关系以及各种关系的可变性,从而得到完整的领域特征模型。     

基于工作流的业务过程建模研究

业务生成环境是实现信息系统的快速开发、提高业务运行维护效率的必要工具,其中业务过程的建模是业务生成环境中最为重要的方面。该文研究了工作流技术中的业务过程描述方式,设计了一个业务过程模型,并对其结构正确性和语义正确性进行了证明和分析。     

基于jBPM5的业务模型执行方法与实现

企业的发展与并购这种自底向上的发展方式常常导致企业内部业务流程的异构、冗余和不一致,严重阻碍了业务活动的运作和企业的统一决策。为解决这一问题,基于业务模式的异构业务流程整合方法将流程中的业务行为抽象为业务模式,通过对业务模式的建模得到业务模型,从而给出异构业务流程统一模型视图。辅佐以可配置的业务模式,统一视图的业务模型可根据具体的应用场景配置为具体的业务模式,得到具体的流程。然而,关于业务模型的执行方法目前仍然是一项挑战。提出了一种基于jBPM5的业务模型执行方法,通过对模型中可配置的业务模式节点引入业务规则,并借助规则引擎执行规则驱动模式的执行,从而执行整个业务模型。最后,以中国移动公司办公系统内部发文流程模型整合应用为例,基于jBPM5和Drools开发了业务模式流程整合执行机制,验证了该方法的有效性。     

基于区间代数的工作流模式的建模研究

在业务流程建模阶段,从时态角度采分析业务流程,有助于清楚地描述工作流.在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法.它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模.     

计算机工程型人才培养模式的创新与实践

随着信息技术的快速发展和国民经济结构的战略性调整,本科高校计算机工程型人才培养必须面向市场和社会办学,通过与企业的紧密合作,探索并创新校企合作教育模式。合作教育模式是以本科教学为根基,以校企合作共建实践教学基地为载体,以共同组织教学和管理为手段,以实现学生就业和企业招聘到合格员工为目标,最终实现校企双赢。     

基于模式的商业智能系统设计

首先分析了软件体系结构、设计模式与软件设计之间的关系。以复用专家的成功设计经验为出发点,试图通过软件体系结构和设计模式在需求分析与软件系统设计之间建立一条顺畅的途径,简化设计、提高质量,满足软件系统的功能性需求和非功能性需求。最后给出商业智能系统设计模型。     

基于MVC的银行中间业务系统的设计与实现

中间业务作为我国银行业务的利润增长点及重要的生存手段,越来越受到各商业银行的重视.但是银行中间业务具有需求复杂,灵活多变的特点,如何对各种需求进行抽象提取,使之成为一个统一的系统,是银行开展中间业务需要解决的一个重要问题.在详细分析系统功能的基础上,结合国内的业务情况和发展趋势,同时综合了MVC设计模式的特点,设计出一个使用广泛、便于维护和易于扩充的中间业务系统,大大提高了银行开展中间业务的能力.     

一种基于Prolog的时间约束业务流程验证方法

随着互联网技术的快速发展,对复杂系统业务流程建模的需求越来越大。针对带有时间约束的业务流程模型的正确性验证问题,提出了一种基于节点转换规则的图分解算法,将业务流程模型转换为运行时流程轨迹集合;设计了流程轨迹集合到Prolog的转换,将轨迹中的节点与时间约束转化为Prolog事实,提出了一种业务流程模型到Prolog语言的转换算法;将持续时间、周期循环与固定时刻3种时间模式转换为Prolog规则,以其支持业务流程模型3种时间模式的验证。最后对一个带有时间约束的医疗流程实例进行了验证。     

基于UML的商业建模及模型验证机制研究

传统的商业建模方法存在无法为商业系统开发提供一个集成的"从概念到代码"的方案的缺陷,为解决在商业建模中存在的问题,提出了使用基于UML的商业建模方法.用实例阐述了该方法的具体步骤,并针对基于UML模型形式化复杂、验证难的问题,进一步提出了一种模型形式化的方法.应用实例和实验结果表明,基于UML建模方法和形式化方法能够减少商业建模的工作量,提高商业软件的开发效率及质量,较好地解决了商业建模中存在的问题.     

一个基于管理信息单元的描述

先进的管理理念诸如全面质量管理、业务流程再造或是六西格马管理在企业应用过程中获得了巨大的成功。从中我们发现,这些管理创新都以业务流程改进为出发点。因此,对业务流程进行管理显得至关重要。本文描述了一个业务流程管理系统的管理信息单元组织模型和流程模型,以及系统功能模块及其实现工具,为企业进行业务流程管理提供了一定的参考。     

面向重构的企业应用系统业务模型

在分析面向重构的设计原则的基础上,提出一种基于业务规则的业务模型,并给出八类规则的表达形式。通过对业务元素的持续分解,将模型中频繁发生变化的部分分离出来并使用规则表达,提高了业务模型的动态性和灵活性。最后研究了基于该业务模型的建模过程。     

基于MVC模式的电子商务平台构造技术研究

网络设备的发展对电子商务平台系统结构设计及构造技术提出了新的要求，通过分析当前大型电子商务平台系统结构设计中的难点，基于J2EE平台MVC设计模式对电子商务系统结构进行层次化设计，阐述了MVC设计模式的原理及其优点。结合实例，提出系统架构设计方案并通过一个具体模块说明实现流程。