业务受理系统的功能与实现

本文在概述业务受理系统的发展历史和技术背景的基础上,着重介绍了业务受理系统的主要功能和实现方式,并对业务受理系统的建设和发展作出展望.     

基于袁单的业务系统界面逻辑模型获取的研究

为了支持界面设计的自动化，国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些工具都只是从界面本身考虑设计和编码的自动化，没有从用户需求出发考虑界面的设计。该文从需求模型出发设计用户界面逻辑，使得界面是依据用户需求设计的，并且是可以进行需求验证的。该文给出了从需求模型得到界面逻辑模型的算法，以及从界面逻辑模型反向推导需求模型元素的算法。     

基于表单的业务系统界面逻辑模型获取的研究

为了支持界面设计的自动化,国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具.但是这些工具都只是从界面本身考虑设计和编码的自动化,没有从用户需求出发考虑界面的设计.该文从需求模型出发设计用户界面逻辑,使得界面是依据用户需求设计的,并且是可以进行需求验证的.该文给出了从需求模型得到界面逻辑模型的算法,以及从界面逻辑模型反向推导需求模型元素的算法.     

业务逻辑编译器的设计与实现

本文介绍了一种应用程序中业务逻辑的实现方案。该方案使用脚本语言来定义业务逻辑,由业务逻辑编译器来生成代码,从而提高业务开发的效率和扩展性。业务逻辑编译器由业务解释模块和业务执行模块组成。该方案已在电信领域投入使用,取得了预期的效果。     

基于ACOM模型的业务逻辑变更研究

企业为适应快速发展的经济环境不断调整商业策略,要求信息系统具备快速适应业务逻辑变更的能力,称为系统的敏捷性.借助业务运作模型作为承接业务决策和系统实现的桥梁,能更好地设计管理业务流程,分析处理业务逻辑变更.通过研究分析并非所有的业务逻辑变更对于系统都是合理的.基于ACOM业务运作模型,以形式化方法描述其中的业务逻辑,关注业务逻辑变更及其引发的问题,对此作了分类归纳并论证了分类的完备性,最后按照分类,提出业务逻辑变更引发问题的判定定理及规避条件.     

业务逻辑还是业务需求？

为什么说找到企业的业务逻辑是CIO的天然使命，相信看了这一篇文章，大家应该有所了解了。     

业务逻辑层与数据访问层的Nosql模型研究

业务逻辑层(BLL)与数据访问层(DAL)是MVC的核心层,BLL与DAL的实现,使Web应用系统具有更好的低耦合度,高模块化程度,易维护,易扩展。通过对传统的BLL与DAL的模型结构的进一步研究,分析出传统BLL与DAL存在重复率高,利用率低的缺陷。因此提出在Web应用中基于JPA规范和泛型程序设计,采用Spring Data JPA的BLL与DAL层的Nosql模型。通过该模型应用和模型评估,发现该模型与传统的模型结构相比,代码量少,利用率高,提高了Web应用软件的开发效率。     

可信业务构件的框架模型及其实现机制

目前,对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面,而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提,而业务构件的可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和四大可信要素,同时给出了可信要素的实现机制,重点阐述了逻辑可信的实现机制。     

面向MDA的业务逻辑模型到代码的转换方法研究

业务逻辑自动生成是代码自动生成领域中一个匾待解决的问题。为了解决这个问题,分析了业务逻辑难于生成的原因,在MDA的基础上引入产生式规则的思想,研究PSM模型到代码的转换过程。提出一种基于产生式规则的建模方法对逻辑中业务规则及业务流程进行建横,并基于产生式系统原理,对代码生成器进行设计与实现。基于本方法实现的代码生成器,实现了业务规则及业务流程模型到代码的转换,使目标代码业务逻辑与数据分离,一定程吱上解决了业务逻辑代码自动生成问题。     

面向SaaS应用的业务逻辑定制框架的研究与实现*

SaaS（software as a service,软件即服务）是一种全球兴起的创新的软件服务模式,它的出现对中小企业的信息化产生了深远影响。目前面向SaaS应用的业务逻辑在线定制方法存在着定制复杂性高、可定制内容有限等缺点。为了解决这些问题,采用了基于领域工程的业务规则模板的方法,提出了适合SaaS应用的业务逻辑定制框架,兼顾了应用的易用性及性能。案例表明了此框架的有效性。     

服务建模基础理论研究

面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。     

服务组合中基于线性逻辑的消息语义匹配

介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。     

基于Facade模式的业务逻辑层框架设计

设计应用程序框架能使应用程序的开发对于一般的设计问题都可以直接利用现成的解决方法，避免了系统开发始终在低层次的不断重复，本文详细设计了以外观模式（Facade）为接口的业务逻辑层框架，讨论了使用Fa？ade模式设计业务逻辑层组件的优点，并对业务逻辑层组件进行了进一步扩展的设计。     

面向服务业的通用业务知识模型与逻辑表示

现有的知识管理方法多种多样,但是不存在统一的解决方法。在服务业中,借鉴都柏林核心的思想,建立一种普适的结构模型,采用分层的思想,对服务业知识进行建模。为了更清楚地表述模型,引入动态描述逻辑(DDL)的方法描述模型,对模型中的动作及模型的状态进行表示,使知识更利于计算机严格地操作。     

面向端用户的服务组合广义决策逻辑模型

服务组合中端用户的模糊和不确定的需求与服务组合过程的精确性要求之间存在着矛盾,而几乎没有相关的工作考虑了这个问题.提出一种多粒度的服务组合形式化模型.这一模型从端用户的角度来考虑服务组合中用户的需求.为了构建多粒度的服务组合视图,将Web服务描述映射成广义决策逻辑语言(GDL).GDL是由粒度计算的研究组织提出的一种形式化语言,试图用来作为定义粒度模型的规范.利用GDL构建的服务组合多粒度模型,可以使用户和服务组合代理在不同的信息粒层进行组合工作.与传统的模型相比,这一模型可以为端用户提供更容易理解的服务组合视图,符合人类感知模式.     

基于描述逻辑的主体服务匹配

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推理的形式化工具,它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能,特别是它对概念包含关系的有效判断,把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能,该文提出了基于描述逻辑的主体服务匹配算法,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配,克服了基于语义距离进行服务匹配的不足．     

智能网业务逻辑的一种验证方法

智能网业务逻辑在不同的平面中有不同的表示。在总功能平面中,有一组总业务逻辑(GSL),它说明了完成各个业务独立模块(SIB)链接在一起的次序;在分布功能平面中,分布业务逻辑(DSL)是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流;在物理平面中,包含业务控制功能(SCF)的物理实体执行业务逻辑程序。通信有限状态机模型是由表示进程的有限状态机和表示进程之间通道的先进先出队列(FIFO)组成。文章利用通信有限状态机(CFSM)模型描述智能网业务逻辑(SL),并给出了通过业务逻辑的CFSM模型验证业务逻辑正确性的一种方法。     

数字城市模型服务系统设计

提出了数字城市建设应当在"数据服务"的基础上向"应用服务"转变,指出了"应用服务"的两个方面:面向公众的信息服务和面向专业领域的信息服务.针时讨论较少的后一种应用问题,设计了数字城市的模型服务系统来支持所需的信息服务.讨论了系统在数字城市应用服务平台中的地位和作用,分析了系统的结构,提出了模型的接口规范和系统的工作流程.最后,对实现的教字城市模型服务系统原型进行了探讨.     

移动数据增值业务平台逻辑架构整合研究

摘要：移动数据增值业务的发展对业务平台提出了更高的要求,但业务平台功能的重复建设在一定程度上阻碍了业务的发展,本文在对现有移动部分增值业务平台逻辑架构进行分析的基础上提出了整合的思路。