索丙芮
- 作品数：4 被引量：6H指数：2
- 供职机构：贵州大学计算机科学与信息学院更多>>
- 发文基金：国家自然科学基金贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于程序正确性的演算方法被引量：3
- 2009年
- 为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。对最弱前置谓词变换法的过程进行分析,确定了最弱前置谓词算法的准确性。将最弱前置谓词应用到公理化方法中,即把最弱前置谓词变换法求出的前置谓词作为公理化方法的前置条件。通过一个具体实例,详细说明了其验证过程,并证明了该方法的有效性。
- 任彦芳杨静索丙芮
- 关键词：可靠性公理化方法
- 基于SSH的短信平台的设计与实现
- 近年来，随着手机用户的不断增长，短信已经在人们的日常生活中发展成为一种非常重要的交流方式，同时，由于短信的高效，低成本和无时空限制等优势受到了越来越多企业的重视。然而，目前市面上存在的短信平台因其技术古老，框架陈旧，难以...
- 索丙芮
- 关键词：SSH框架短信平台用户请求数据持久层
- 文献传递
- 基于JBPM的发票报销系统被引量：1
- 2010年
- 针对传统的发票报销模式的弊病,本文提出了以JBPM工作流技术为基础,以基于Web应用为背景,给出了发票审核和发票报销系统的解决方案。该方案具有较强的实用性和通用性,提高了企业科学决策的能力,为类似系统的设计和开发提供了思路和方法。
- 索丙芮
- 关键词：工作流JBPM
- 基于AOP的事务管理被引量：2
- 2010年
- 为了把影响多个模块的行为封装到一个单独的可重用模块中,使系统拥有更好的模块化、可扩展性和可维护性,面向方面编程(AOP)是一种行之有效的方法。本文介绍AOP的基本概念并举例比较了传统事务管理和Spring AOP在事务管理两种方法的具体应用,介绍了在面向对象的开发过程中使用AOP的方法进行事务管理的优缺点。
- 索丙芮
- 关键词：AOP事务管理SPRING
