胡良文
- 作品数：6 被引量：8H指数：1
- 供职机构：中国银联更多>>
- 相关领域：自动化与计算机技术更多>>
- 生物特征识别终端、用户终端、支付服务器及相关方法
- 本发明涉及一种应用于生物特征识别终端的支付方法，所述方法包括：获取用户的第一生物特征信息；接收与所述用户对应的用户唯一ID，所述用户唯一ID是动态变化的；以及在确定所述第一生物特征信息与支付服务器上预先存储的、对应于所述...
- 李文焯刘世民胡良文邱雪涛章政罗佳杨绪森
- 基于PDCA循环模型的项目管理系统的设计与实现
- 2013年
- PDCA循环是一个持续改进模型,它包括持续改进与不断学习的四个循环反复的步骤,即计划(Plan)、执行(Do)、检查(Check/Study)、处理(Act)。通过构建中国银联某项目管理信息系统的实例,介绍了在,NET平台下,采用PDCA循环模型构建应用系统的设计思想和实现方法。
- 刘阳孙博刘刚胡良文徐静雯孙权
- 关键词：PDCA循环项目管理
- 基于SPIN的UML模型一致性验证的研究及应用
- 随着计算机技术的高速发展，软件系统的复杂性和规模也越来越高，为了解决大型软件系统的设计和开发问题，UML提供了多种面向对象分析和设计的建模视图，支持对各种复杂系统进行可视化分析、设计和软件部署。然而，由于UML缺乏精确的...
- 胡良文
- 关键词：统一建模语言
- 文献传递
- 基于Spin的SysML时序图与活动图一致性检测被引量：1
- 2015年
- 系统建模语言(Systems Modeling Language,SysML)对复杂系统多视角建模时,容易造成多视图描述语义冲突、矛盾等不一致问题,可以通过形式化验证方法,来提高模型的一致性。然而,受制于传统的形式化检测方法不能做到完全自动化,并且需要繁杂的公式推理,导致多数验证方法仅限少数专家使用并且非常耗时。为了解决SysML时序图与活动图模型之间存在的一致性问题,提出一种自动转换验证框架。首先基于已构建的模型和转换规则,将时序图进行分解转换为活动图,然后分别映射为Spin的输入模型,并对模型的交互一致性执行自动化验证。实验结果表明,该方法可以有效识别和转换时序图,并能准确地向Promela实施映射和验证,为一致性验证的演化提供支持。
- 胡良文马金晶孙博
- 关键词：系统建模语言时序图活动图
- 生物特征识别终端、用户终端、支付服务器及相关方法
- 本发明涉及一种应用于生物特征识别终端的支付方法，所述方法包括：获取用户的第一生物特征信息；接收与所述用户对应的用户唯一ID，所述用户唯一ID是动态变化的；以及在确定所述第一生物特征信息与支付服务器上预先存储的、对应于所述...
- 李文焯 刘世民胡良文邱雪涛章政罗佳 杨绪森
- 文献传递
- 基于Spin的SysML活动图验证框架被引量：6
- 2014年
- 系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。
- 胡良文马金晶孙博
- 关键词：活动图SPINPROMELA
