支持分布式大数据应用建模的模型理论

A model theory for distributed application modeling on big data

针对当前尚无面向分布式大数据应用、支持多组件协作应用建模的一般实用模型理论的问题。首先,给出了分布式大数据应用问题的形式化定义和问题求解的一般表达形式;然后,引入包含多结构化状态关系代数、协议代数和交互计算总线格代数的交互式计算范畴,并由此建立了交互式计算模型MIC,作为分布式大数据应用建模的模型理论基础。目前,MIC已在住房和城乡建设部的信息资源统一规划和国家住房信息系统建设中取得了成功的应用。

There is not a universally applicable distributed big data application-oriented model theory currently for supporting multi-component collaborative application modeling. This paper gives the formalized definition of the problem of distributed application on big data and the general expression form for solving it. Next, the interactive computing category consisted of multi-structural state relational algebra, protocol algebra and interactive computing bus lattice algebra is introduced, thereby the model of interactive computing （ MIC） is set up, which is used as the model theory basis of distributed application modeling on big data. So far, the MIC has achieved success in the uni-fied information resource planning and national housing information system construction of the Ministry of Housing and Urban-Rural Development of the People＆#39;s Republic of China （ MOHURD） .