【摘 要】
：
业务逻辑是软件系统的核心,然而在现有的软件开发方法研究中,却部分忽略了业务的逻辑表示的相关研究.目前,许多软件系统的失败,归根究底为系统业务逻辑的设计和实现不一致的
论文部分内容阅读
业务逻辑是软件系统的核心,然而在现有的软件开发方法研究中,却部分忽略了业务的逻辑表示的相关研究.目前,许多软件系统的失败,归根究底为系统业务逻辑的设计和实现不一致的问题,使得系统难以维护.本文研究重点在于使用产生式规则来描述软件系统的业务逻辑,实现使用陈述性语言来形式化描述业务逻辑;并且给出了状态图到产生式规则的转换算法.根据状态图到产生式规则的转换算法,直接把系统分析和设计的结果转换为系统实现中的规则集合,实现了部分的自动化系统实现.
其他文献
本文只讨论"模糊粗糙集".在扩展粗糙集的过程中,首先需要将论域的普通子集扩展为模糊子集,其次需要对论域U上的等价关系R进行扩展.可以将R扩展为模糊相似关系或Δ-传递相似关
总结高等院校计算机基础教育工作,分析医学计算机技术应用的现状和发展,结合我校计算机教学现状及面临的问题,探讨医学院校计算机课程体系与教学改革.
本文主要介绍西安交通大学理学院信息与系统科学研究所在粗糙集理论方面所获得的研究成果,并对未来的发展提出一些看法.
本文从Rough集上近似和下近似理论出发,提出一种基于Rough集的几个实函数连续定理的描述方法,并给出了其定理的描述性算法证明.
形式化软件规约与设计间的语义断层问题,是制约形式化方法从规约向设计平滑迁移的重要问题,目标操作化是解决这一问题的重要方法.KAOS是主要的支持目标操作化的规约语言之一,
软件Agent是计算机软件新技术的主流之一.本文以移动Agent技术、系统和应用为切入点,在对移动Agent关键技术,如移动机制、通信机制和安全机制等,进行突破的基础上,给出了我们
信息交流的媒介有很多,物联网是其中的一种.简单的说,物联网就是将现实世界与虚拟世界进行有机的统一,让真实存在的事物与虚拟的网络结合,其是随着科技的发展逐渐出现的新兴
本文通过梳理图书馆的发展进程,认为优秀的图书馆员是现代医院图书馆最重要的资源,探讨了现代医院图书馆员应具备的素质、知识与能力,并提出了造就优秀的现代医院图书馆员的
本文围绕强激光与等离子体相互作用三维数值模拟程序LARED-P数据输出存在的问题,给出了基于HDF5格式的数据模型,通过将计算结果进行重新组织和管理,实现了数据的实时压缩存储
本文是在[8~10]的基础上,给出了粗糙子群和粗糙不变子群的若干性质以及粗糙商群的定义,进而给出了粗糙群同态基本定理与同构定理及其证明,以此进一步补充和完善了粗糙群理论,