信息系统中业务规则与约束的时态化研究

在OCL和ECA规则的基础上，通过对业务对象与ECA规则的时态化关系的分析，提出了业务规则与约束的一种时态化扩展建模方法，该方法引入了时态化算子和时间区间等概念来实现对时态化对象和属性的历史信息的引用和时态化建模。     

协同业务过程建模与行为验证

对协同业务过程进行建模和行为验证是确保业务过程正确实施的关键。文中提出了一种协同业务过程的建模和行为验证方法。首先,该方法使用有限状态自动机建模每个参与组织的业务过程,并通过集中式消息缓冲区,将业务过程异步组合为协同业务过程;其次,提出了行为约束的声明式模板,用于定义协同业务过程中的行为约束关系,并通过映射规则,将行为约束关系转换为LTL(Linear Temporal Logic)公式;最后,提出了行为验证框架,借助进程分析工具PAT,实现了对协同业务过程行为的自动验证。通过对电力突发公共事件应急处置系统的建模与行为验证,阐述了所提方法的可行性和有效性。     

信息系统业务规则的设计模式

业务规则普遍存在于信息系统之中，文章对信息系统的业务对象和业务规则的特点和它们之间的关系进行了分析，并对业务规则的表现形式进行了归纳和总结，最后采用设计模式对业务规则进行了设计和处理。实践证明，该研究工作具有很强的实用性和普遍性，设计出来的系统具有灵活、健壮、可复用性强等特点。     

网络业务流设计的业务级分析方法

业务流设计是网络工程的一部分,主要是进行网络性能评价和网络性能优化,我们提出了两种新的业务流分析方法－－具有路径约束的关联规则算法PRAR和具有时态路径约束的关联规则算法TPRAR,这两种算法对于全网业务进行相关性分析,是一种基于业务的分析方法,PRAR算法和TPRAR算在Aprior算法的基础上,分别引入了路径约束和时态约束与路径约束,使之更加体现网络业务的特性,使用这两种算法,可以充分利用已有数据,分析已有业务的行为,且可以预测未来业务的行为。     

一种将业务规则与BPEL有效集成的方法

业务规则是定义和约束企业业务结构与业务行为的规定或规范，是企业业务运作和管理决策所依赖的重要资源。当前，面向服务的计算变得越来越流行，Web services已经成为集成互联网上分布和异构应用程序的通用技术。使用Web服务合成语言BPEL可以将不同服务提供者提供的服务整合成新的服务。然而，这种基于流程的合成语言缺乏在合成过程中使用由不同的业务规则引擎管理的业务规则的能力。因此提出了一种将业务规则与BPEL集成的方法。     

基于时序逻辑的业务过程约束建模及验证*

提出一种可视化的约束规则建模语言(visual constraint modeling language, VCML),采用XYZ/E语言作为逻辑框架,统一定义约束规则和业务过程两种模型的形式化语义,为约束规则的自动验证提供形式化基础;然后基于模型检验(model checking)技术,简要讨论模型自动验证的实现方法;最后通过一个应用实例说明业务过程约束的建模。     

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

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

一种基于业务验证规则的通用单表更新方法的实现

提出了业务验证规则的概念,设计了存储业务验证规则的关系数据库表结构,通过将业务验证规则与业务对象数据处理方法相分离,本文设计并实现了一种通用的单表更新方法,该方法可大大减少系统实现的代码量,使得快速构建数据库应用系统成为可能。     

工作流管理系统业务约束的研究

目前，工作流管理系统得到了广泛的应用，但现有的工作流管理系统只能模拟业务流转逻辑，缺少对业务约束的模拟。鉴此，本文提出了工作流管理系统业务约束的概念，建立了业务约束模型，并给出了整合业务约束和业务流转逻辑的方案。并提出了在已有工作流管理系统中实现业务约束的方案。     

基于JAVA的业务规则管理系统设计和开发

介绍了业务规则管理系统的概念，建立了业务规则管理系统模型，对业务规则管理系统所涉及的规则文件、业务数据对象、规则定制器、规则引擎和在线管理的技术作了深入讨论。在此模型的基础上使用JAVA语言开发了一个业务规则管理系统VRules。     

采用基于CORBA的事务对象开发ERP系统

介绍了用事务对象和ＣＯＲＢＡ技术结合来开发大型复杂信息系统的策略,文章在介绍了事务对象框架之后,重点讨论了基于ＣＯＲＢ的事务时对象系统的结构和一些关键技术,并介绍了该方法在ＥＲＰ系统一切中的应用。     

Towards a flexible deployment of business rules

Business rules give rise to an important set of requirements on any system being developed or procured for an enterprise. While most of the work done in this area focuses on identifying and documenting business rules, we have proposed a methodology that addresses several aspects of the business rules lifecycle: acquisition, deployment and evolution. The methodology assumes that business rules are expressed in terms of business concepts and corporate knowledge that are captured in a high level architecture. The architecture proposed consists of three interconnected components: the enterprise model, the business rules model and the decision support model. This approach permits a greater variety of rules to be specified while providing an opportunity to automate the production of deployable business rules. The ability to deal with the inconsistent and ambiguous rules is crucial in capturing the conflicting requirements placed on the operation of any large scale enterprise. This paper presents a flexible deployment of business rules, which not only supports decision making in the face of conflicting requirements, but also the evolution of those requirements in the face of changing regulatory environments, competitive markets and corporate goals.     

EJB技术及其在电子商务开发中的应用研究

EJB (EnterpriseJavaBeans)是一种基于组件的新型技术 ,它将JavaBean概念从客户端扩展到服务器端 ,支持面向对象的多层分布式应用。针对EJB的产生、体系结构及特点作了简要介绍 ,并将EJB技术与电子商务应用开发技术结合起来 ,介绍了电子商务应用开发技术的最新进展 ,阐明了EJB技术对于简化电子商务应用开发所起到的重要作用     

基于受限中文的轻型业务规则管理系统的设计与实现

业务规则管理是实现企业灵活多变的业务控制和客户服务的理想方案。本文介绍了业务规则管理系统的基本思想，并面向业务分析人员设计了一种受限中文业务规则语言，实现了一个轻型业务规则管理系统。     

状态驱动的可执行业务流程模型的设计与实现

在企业间的流程协同过程中,为了使企业的业务规则管理更灵活,防止企业私有的业务规则暴露给其他企业,并有效地监控流程的执行过程,将业务规则库和Web服务有机地整合,构建状态驱动的可执行业务流程模型（SEBPM）。通过定义抽象业务流和扩展的业务规则,得出业务规则和过程流之间的耦合策略。给出一个SEBPM的具体应用实例。     

业务规则管理在电信网管系统中的应用

主要介绍业务规则及业务规则管理的概念,讨论了业务规则管理系统的基本原理,实践一个简单的业务规则管理系统并应用于电信网络管理系统中告警过滤。     

Guidelines for Business Rule Modeling Decisions

Business process models are used heavily in practice as a basis for process improvement, systems development, and understanding business operations. While prior research has identified a clear need for integrating business rules into graphical business process models, there is little guidance on the circumstances under which business rules should be integrated into business process models. Unnecessary integration may hamper business rule reuse, increase business process model complexity, and lead to difficulties with business rule modification, to name a few. Accordingly, it is important to understand when such integration is appropriate. The aim of this article is to address this need for guidance on when business rules should be integrated in process models, and when they should remain separate. To this end, we explain 12 factors posited to influence such modeling decisions, conduct an empirical study to identify their importance, and develop empirically based modeling guidelines that inform business rule modeling decisions.     

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

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

基于业务对象模型的业务规则语言的设计及实现

面向业务人员设计了一套类自然语言的业务规则语言，并根据其语法设计了规则语句编辑的在线提示算法，该算法能迅速提供与语法语义相容的词选项列表，引导用户完成规则录入。