[发明专利]一种基于函数契约旁路分析的准实时金融系统对账方法有效
| 申请号： | 201710547261.9 | 申请日： | 2017-07-06 |
| 公开（公告）号： | CN107492031B | 公开（公告）日： | 2020-05-29 |
| 发明（设计）人： | 杨益明;殷静雯;林恩临;李鹏;侯响响;张驰 | 申请（专利权）人： | 兴业数字金融服务（上海）股份有限公司 |
| 主分类号： | G06Q40/00 | 分类号： | G06Q40/00 |
| 代理公司： | 上海汉声知识产权代理有限公司 31236 | 代理人： | 郭国中 |
| 地址： | 200120 上海市浦东新*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于函数契约旁路分析的准实时金融系统对账方法，包括如下步骤：在系统开发阶段产生包含函数契约规则的可执行文件，通过函数注解方式、定义和账务相关的关键函数执行后需要满足的契约，并利用面向方面编程对旁路触发契约验证代码进行编译器织入；在系统运行时，由旁路监听器接受数据，在数据库运行契约验证；当发现契约被违反后，执行补偿规则并报警。本发明在不影响系统运行效率的前提下，使金融系统中错账数据被更加及时的发现，降低因为系统错误造成的经济损失。 | ||
| 搜索关键词： | 一种 基于 函数 契约 旁路 分析 实时 金融系统 方法 | ||
【主权项】：
一种基于函数契约旁路分析的准实时金融系统对账方法，其特征在于，包括如下步骤：步骤S1：在系统开发阶段产生包含函数契约规则的可执行文件，通过函数注解方式、定义和账务相关的关键函数执行后需要满足的契约，并利用面向方面编程对旁路触发契约验证代码进行编译期织入；步骤S2：在系统运行时，由旁路监听器接受数据，在数据库从库中运行契约验证；步骤S3：当发现契约被违反后，执行补偿规则并报警。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于兴业数字金融服务（上海）股份有限公司，未经兴业数字金融服务（上海）股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710547261.9/，转载请声明来源钻瓜专利网。
