Method for proving feasibility and completeness of application program presentation layer mapping
A technology of application program and presentation layer, applied in the field of computer science, can solve problems such as inconvenient management and control of software engineering process, inability to realize batch generation of WEB interface, inability to design table layout, etc.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Examples
Embodiment Construction
[0011] The invention is further described below in conjunction with specific embodiments:
[0012] Let E t For EXCEL table layout, H t For HTML layout, there is an E t to H t The mapping ψ EH :E t →H t , and this mapping is complete.
[0013] Proof: Constructive proof is adopted.
[0014] HTML layout H t Defined by an HTML table, except the top-level element of the HTML table Outside, from one to many rows of H row Composed of, marked by, in each row, contains one or more columns H col , marked by .
[0015] Remember EXCEL table layout E t Behavior E in row , listed as E col , and build E row to H row The one-to-one mapping of E col to H row The mapping is E t to H t The mapping ψ EH :E t →H t , existence is proved. And it can be seen from the construction process that this mapping is complete.
[0016] Suppose RE is a rule engine, Data is presentation layer data, and BL is business logic, then there is a mapping ψ from rule engine to Data and BL RE-...
PUM
Login to View More Abstract
Description
Claims
Application Information
Login to View More