数据源表的大数据加工检测方法及装置制造方法及图纸

本发明专利技术提供一种数据源表的大数据加工检测方法及装置，通过使用谓词化的语言对转化过程和始态终态进行表述，并且可以定义强满足不变式(包含在conetxt部分)，自动检测不定式是否得到满足，可以完成判断是否可以加工、如何进行加工的功能。此外，还可以识别潜在的加工场景，也可对具体过程进行仿真。

Big data processing detection method and device of data source table

【技术实现步骤摘要】
数据源表的大数据加工检测方法及装置
本专利技术涉及数据加工
，更具体的，涉及一种数据源表的大数据加工检测方法及装置。
技术介绍
在进行大数据任务加工时，经常需要分析根据已有的各种源表信息是否可以获取最终加工结果表，以及如何进行加工的场景，现有技术上逻辑公式的整个转换过程比较抽象，并且没有接触过逻辑公式的人群无法对自动机性质进行表述。
技术实现思路
为了解决上述问题的至少一个，本专利技术一个方面实施例提供一种数据源表的大数据加工检测方法，包括：分析并抽象出数据源表和目标结果表的需求；基于event-b语言，用谓词化语言描述所述需求，得到多个用于描述需求性质的需求用例；根据所述需求用例生成event-b模型，并同时生成模型不变式；利用所述模型不变式验证所述需求用例，进而检测所述数据源表的大数据加工可行性。在某些实施例中，所述谓词化语言包括：select、groupby、join以及where。在某些实施例中，所述根据所述需求用例生成event-b模型，包括：根据所述需本文档来自技高网...

【技术保护点】
1.一种数据源表的大数据加工检测方法，其特征在于，包括：/n分析并抽象出数据源表和目标结果表的需求；/n基于event-b语言，用谓词化语言描述所述需求，得到多个用于描述需求性质的需求用例；/n根据所述需求用例生成event-b模型，并同时生成模型不变式；/n利用所述模型不变式验证所述需求用例，进而检测所述数据源表的大数据加工可行性。/n

【技术特征摘要】
1.一种数据源表的大数据加工检测方法，其特征在于，包括：
分析并抽象出数据源表和目标结果表的需求；
基于event-b语言，用谓词化语言描述所述需求，得到多个用于描述需求性质的需求用例；
根据所述需求用例生成event-b模型，并同时生成模型不变式；
利用所述模型不变式验证所述需求用例，进而检测所述数据源表的大数据加工可行性。


2.根据权利要求1所述的大数据加工检测方法，其特征在于，所述谓词化语言包括：select、groupby、join以及where。


3.根据权利要求2所述的大数据加工检测方法，其特征在于，所述根据所述需求用例生成event-b模型，包括：
根据所述需求用例对造成状态转换的操作进行建模得到event-b模型，同时构建模型不变式。


4.根据权利要求1所述的大数据加工检测方法，其特征在于，还包括：
对所述event-b模型进行精化操作。


5.根据权利要求4所述的大数据加工检测方法，其特征在于，所述对所述event-b模型进行精化操作，包括：
在event-b模型使用过程中，判断是否产生新的需求用例，若产生，逐步精化所述event-b模型。


6.根据权利要求1所述的大数据加工检测方法，其特征在于，还包括：
利用所述event-b模型确定由数据源表到目标结果表的转换操作以及转换操作序列。


7.一种数据源表的大数据加工检测装置，其特征在于，包括：
需求分析模块，分析并抽象出数据源表和目标结果表的需求；
需求用例生成模块，基于event-b语言，用谓词化语言描述所述需求，得到多个用于描述需求性质的需求用例...

【专利技术属性】
技术研发人员：严琳，徐雅光，李晓东，陈世强，刘利刚，俞浩，韩路，
申请(专利权)人：中国银行股份有限公司，
类型：发明
国别省市：北京;11