黎升洪
- 作品数：22 被引量：57H指数：4
- 供职机构：江西财经大学信息管理学院更多>>
- 发文基金：国家自然科学基金江西省教育厅科学技术研究项目江西省高等学校教学改革研究课题更多>>
- 相关领域：自动化与计算机技术经济管理文化科学电子电信更多>>
- 线性时态逻辑中的特性模式被引量：12
- 2006年
- 在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。
- 黎升洪缪淮扣张新林
- 关键词：线性时态逻辑SPIN
- 数据密集型Web应用的建模方法研究被引量：2
- 2004年
- 数据密集型Web应用是当前Web工程的热点。介绍了在高层表达Web应用结构的建模方法—WebML。给出了数据结构层、站点视图层和表现风格层所使用的记号和它们的含义。并给出了WebML开发过程和1个示例。
- 袁晓月黎升洪
- 关键词：WEB工程WEB建模
- 时态逻辑描述能力比较研究被引量：2
- 2006年
- 时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述,对时态逻辑描述能力进行了比较。
- 黎升洪缪淮扣
- 关键词：时态逻辑LTL
- 基于进程代数的Web服务编排方法及其类型理论研究
- 面向服务计算是下一代基于互联网的全新软件体系结构。它具有分布、共享、健壮、可扩展、可移植、互操作等特性。这些特性主要来自服务的互操作特性和复合特性。面向服务计算目前主要实现方式是基于Web服务。Web服务是分布、独立的代...
- 黎升洪
- 关键词：WEB服务进程代数
- 文献传递
- 基于XML的动态网页方法被引量：6
- 2001年
- XML给基于 Web的应用软件赋予了强大的功能和灵活性 ,本文介绍基于 XML动态网页制作方法。
- 黎升洪
- 关键词：XML动态网页DOMASP计算机网络
- 开发以工业气体为基的保护气氛
- 1998年
- 氮和其它工业气体作为热处理保护气氛,在20世纪后期已牢固建立。本文评述炉气的开发,及对它们未来使用的影响。0 引言 使用以工业气体为基的保护气氛始于60年代。从当初的小规模发展到当今占主要地位。据BOC Gases估计,在发达国家,气氛的64％(体积)用于热处理,和其它资料的估计一致。究其原因,是工业气体系统的生产能力能满足热处理厂商的要求。
- 黎升洪曾国屏蔡飞
- 关键词：工业气体氮气
- 用VB6.0对SPSS10.0进行二次开发被引量：1
- 2002年
- 通过动态链接库使VB能够读写SPSS10.0中的数据,这样可对SPSS10.0进行二次开发,将SPSS建模软件复杂性,通过VB的图形化实现,达到简单易用性。
- 黎升洪
- 关键词：VB6.0二次开发软件开发
- 在PowerBuilder中实现任意两序列间相关图被引量：1
- 2005年
- 在很多管理类应用中 ,其数据是不同指标构成的时间序列 ,为反映两指标之间的相关性 ,需按相同的时间值 ,将两列指标数据对应坐标的x轴和y轴 ,得到一个点。不同时间值下得到的多个点即为两指标间的相关图。
- 黎升洪
- 关键词：相关图时间序列POWERBUILDER
- 基于USE的OCL约束验证过程解析被引量：2
- 2006年
- 系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码,为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元模型框架,并以一个简易的模型为例,说明用USE对模型进行验证的全过程。
- 罗清胜黎升洪
- 关键词：OCL约束元模型
- 基于有限状态机的Web服务测试用例生成方法被引量：1
- 2009年
- 提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。
- 黎升洪王任
- 关键词：WEB服务有限状态机正则表达式测试用例
