[发明专利]一种应用程序表示层映射的可行性与完备性证明方法

说明书

本发明公开了一种应用程序表示层映射的可行性与完备性证明方法，解决传统的WEB项目的表示层是通过HTML语言进行描述的，HTML由图片、链接、音频和视频、程序等元素组成。为了解决WEB应用软件的兼容性问题以及满足移动互联网的需要，新的HTML5标准已由万维网联盟制定完成。HTML的源文件可用“所见即所得”的基本编辑器和其他文本编辑器编写；但不能根据需要设计出复杂的表格布局；另一方面，不能在一个文件中可设计多个工作表，无法实现WEB界面的批量生成，不便于软件工程过程的管理和控制的问题。

技术领域

本发明涉及计算机科学技术领域，具体涉及一种应用程序表示层映射的可行性与完备性证明方法。

背景技术

信息化已成为国家中长期发展的重要战略之一，政务信息化对国民经济的发展和社会进步有着举足轻重的作用。

传统的WEB项目的表示层是通过HTML语言进行描述的，HTML由图片、链接、音频和视频、程序等元素组成。为了解决WEB应用软件的兼容性问题以及满足移动互联网的需要，新的HTML5标准已由万维网联盟制定完成。HTML的源文件可用“所见即所得”的基本编辑器和其他文本编辑器编写。

但不能根据需要设计出复杂的表格布局；另一方面，不能在一个文件中可设计多个工作表，无法实现WEB界面的批量生成，不便于软件工程过程的管理和控制。

发明内容

本发明要解决的技术问题是提供一种应用程序表示层映射的可行性与完备性证明方法，利用一种应用程序表示层映射的可行性与完备性证明方法解决传统的WEB项目的表示层是通过HTML语言进行描述的，HTML由图片、链接、音频和视频、程序等元素组成。为了解决WEB应用软件的兼容性问题以及满足移动互联网的需要，新的HTML5标准已由万维网联盟制定完成。HTML的源文件可用“所见即所得”的基本编辑器和其他文本编辑器编写；但不能根据需要设计出复杂的表格布局；另一方面，不能在一个文件中可设计多个工作表，无法实现WEB界面的批量生成，不便于软件工程过程的管理和控制的问题。

本发明的提供的技术方案为提供一种应用程序表示层映射的可行性与完备性证明方法，包括以下步骤：

第一步、设E_t为EXCEL表格布局，H_t为HTML布局，则E_t到H_t的映射ψ_EH:E_t→H_t；

第二步、设RE为一种规则引擎，Data为表示层数据，BL为业务逻辑，则引擎到Data与BL的映射为ψ_RE-D,BL:RE→Data,BL。

第三步、由步骤(一)和步骤(二)可得WEB应用程序WP到EXCEL表格布局Et与规则引擎组件RE的映射为

由本发明提供的方法，可以解决传统的WEB项目的表示层是通过HTML语言进行描述的，HTML由图片、链接、音频和视频、程序等元素组成。为了解决WEB应用软件的兼容性问题以及满足移动互联网的需要，新的HTML5标准已由万维网联盟制定完成。HTML的源文件可用“所见即所得”的基本编辑器和其他文本编辑器编写；但不能根据需要设计出复杂的表格布局；另一方面，不能在一个文件中可设计多个工作表，无法实现WEB界面的批量生成，不便于软件工程过程的管理和控制的问题。

具体实施方式

下面结合具体的实施例对发明进行进一步介绍：

设E_t为EXCEL表格布局，H_t为HTML布局，则存在一个E_t到H_t的映射ψ_EH:E_t→H_t，且这个映射是完备的。

证明：采用构造性证明。