【摘 要】
：
针对目前软件系统面向大规模和复杂业务处理的要求,该文的研究重点在于对业务流程和逻辑进行形式化的逻辑描述和逻辑处理.该文结合领域专用的软件开发方法和人工智能领域的逻
论文部分内容阅读
针对目前软件系统面向大规模和复杂业务处理的要求,该文的研究重点在于对业务流程和逻辑进行形式化的逻辑描述和逻辑处理.该文结合领域专用的软件开发方法和人工智能领域的逻辑表示方法和处理理论,使用状态图对业务流程进行建模,使用业务规则对业务逻辑进行形式化的描述和存储,实现了业务流程和业务逻辑的形式化和逻辑表示.在业务逻辑形式化描述的基础上,引入Prolog逻辑引擎进行业务逻辑的逻辑处理,实现业务逻辑的集中处理,以及利用计算机对业务逻辑进行部分自动化验证.业务逻辑的形式化描述和存储,提供了业务流程配置的支持.该文设计的智能业务推导系统模型,作为一个可复用的系统构架,整合了该文的主要研究成果,使用逻辑引擎实现业务逻辑的逻辑处理;通过系统的动态配置特性,提供了高效的系统实现的框架,并且实现了流程管理.最后该文证明了在线软件维护和升级的可行性和有效性.
其他文献
在该论文中,作者以商场信息系统中数据仓库系统开发为实例,对数据仓库技术,特别是对多维数据建模、星型建模技术、数据传输服务(DTS)、在线分析处理(OLAP)等数据仓库应用中的
《基于Web语言驱动足球赛》系统是从由网络终端用户用受限英语文本描写的球赛过程出发,通过分析文本的合法性,规划文本描述的过程,通过静态场景规划,角色及布景规划,以及动态
为了避免开发人员陷入系统的维护,减少维护的难度和工作量.我们为此开发出一个应用平台,对于在应用系统中容易发生变化的因数,使用不同的方法通过应用平台来进行管理.进而避
元数据指导数据仓库的开发、维护和管理，同时为从数据仓库中提取信息提供帮助。然而元数据分散在数据仓库的各个工具和软件组件中，存在不同的表现形式。为了对元数据进行有效管
首先,该文尝试重新定义了正关联规则和负关联规则,并给出了它们的兴趣度,从而统一了正、负关联规则的评价标准.在此基础上,该文尝试采用逻辑的方法查找极小矛盾集以判定关联
长期以来,遥感、遥测等对地观测技术的发展,特别是GIS的广泛使用,积累了大量丰富的地理空间信息.这些需求促进了空间数据挖掘的发展,并使之成为数据挖掘研究领域中的一个重要
该文首先对群体决策支持系统的概念、组成和发展状况作了简要介绍,对多目标决策、群体决策的一些理论和方法与群体集结函数等进行了讨论;然后将模糊集理论引入到多目标群体决
该文首先阐述了入侵检测的概念和相关技术、入侵检测系统的研究现状;分析了数据挖掘技术在入侵检测系统中的应用.讨论了Apriori数据挖掘算法及其扩展算法.为减小入侵检测系统
随着计算机网络技术的发展，以防火墙和入侵检测系统为主构成的网络安全防护体系已经不可能完全避免黑客的入侵，所以我们需要提出新的网络安全解决方案，来实现网络在受到攻击时仍
该文从软件工程角度,论述了基于Web的多层分布式代理计费系统的开发过程,主要内容包括:代理计费的实现原理、数据库设计以及应用系统的设计与实现等.文中主要探讨了C++Builde