A rule-based automated verification method for real estate business

Abstract

The present invention discloses a rule-based automatic verification method for real estate business, comprising the following steps: step 1: defining the definition of real estate business related words; step 2: presetting the object to be verified; step 3: converting the real estate unit U into an object description tree; step 4: decomposing a business rule r; step 5: performing satisfaction binding on the real estate unit U according to the business rule r; step 6: for each instance of the real estate unit U, traversing each leaf node of the real estate unit U, calculating the minimum business rule bound to the leaf node, if there is a minimum business rule that is not satisfied, then the instance does not satisfy r, otherwise, r is satisfied. The present invention is to realize that when handling real estate business, the attributes of the real estate involved are automatically verified for satisfaction with relevant laws and regulations, so as to reduce the workload of business handling personnel, reduce the probability of errors and missed judgments, and improve work efficiency.

Description

[Technical field]

[0001] The present invention relates to the technical field of real estate business processing, and in particular to the technical field of a rule-based automated verification method for real estate business. The method is applied to natural resource real estate related business operations to automatically determine whether business rules are met when processing natural resource business, thereby reducing the workload during manual review. [Background technology]

[0002] The real estate business of natural resources is very complex. The real estate units involved include structures, plots of land, forests, houses, seas and other major categories. Each unit (also called entity) has multiple comprehensive attributes such as rights information, title investigation, and general information. When handling real estate-related businesses, it is necessary to verify whether these attributes meet the relevant laws and regulations on real estate. Although the relevant businesses have been implemented with software, when handling these businesses, due to the large number of relevant laws and regulations and the large number of real estate attributes, manual verification of whether these attributes meet the requirements of relevant laws and regulations is quite labor-intensive and prone to errors.

[0003] If there is a system that can automatically verify whether these attributes meet the requirements of relevant laws and regulations, and then display the results in real time, and ultimately the results are determined by the processing personnel, it will greatly reduce the workload of the processing personnel, reduce the probability of errors and missed judgments, and improve work efficiency. [Summary of the invention]

[0004] The purpose of the present invention is to solve the problems in the prior art and to propose a rule-based automated verification method for real estate business, so as to realize automatic verification of the compliance of the properties of the real estate involved with relevant laws and regulations when handling real estate business, so as to reduce the workload of business processing personnel, reduce the probability of errors and omissions, and improve work efficiency.

[0005] To achieve the above object, the present invention proposes a rule-based automated verification method for real estate business, comprising the following steps:

[0006] Step 1: Define the terms related to real estate business;

[0007] Step 2: Preset the object to be verified: Let U(p1,p2,…,p x ,P1,P2,…,P y ) is a real estate unit,

[0008] is a business rule;

[0009] Step 3: Convert the real estate unit U into an object description tree;

[0010] Step 4: For a business rule To decompose;

[0011] Step 5: Perform satisfaction binding on the real estate unit U according to the business rule r;

[0012] Step 6: For each instance of real estate unit U, traverse each leaf node of real estate unit U and calculate the minimum business rule bound to the leaf node. If one minimum business rule is not satisfied, the instance does not satisfy r, otherwise, r is satisfied.

[0013] Preferably, the definition of the real estate business related words in step 1 is as follows: entity is a person or thing related to real estate business in the real world; real estate unit is the smallest real estate entity that can handle real estate business independently; object is a description of a class of entities, represented by capital letters plus subscripts, such as O1, where the subscript represents the serial number of the object; object instance represents a specific entity in a class of entities, and the representation method of object instance is the same as that of the object; attribute is a certain characteristic or other entity attached to the entity, and attributes include simple attributes and entity attributes, and the entity attribute still describes an object; Simple attributes are represented by lowercase letters plus subscripts, such as p1, where the subscript indicates the serial number of the attribute; entity attributes are represented by uppercase letters plus subscripts, such as P1, where the subscript indicates the serial number of the attribute; business rules are the conditions that the attribute values ​​of real estate objects should meet, represented by lowercase letters plus subscripts, such as r1, where the subscript indicates the serial number of the rule; a business rule verifies multiple attribute values ​​of one or more real estate objects. If a business rule r needs to verify the attribute p of an object O, it is recorded as r→O(p), or recorded as r→p. A business rule r needs to verify objects O1, O2, ..., O n Some properties of

[0014] A business rule that only validates a simple property of a real estate object is a minimal business rule.

[0015] Preferably, the specific steps of converting the real estate unit U into an object description tree in step 3 are:

[0016] Step 31: Real estate unit U is the root, p1, p2, ..., p x ,P1,P2,…,P y is the first-layer child node, i=1;

[0017] Step 32: For each entity attribute P of the i-th layer, take P as the root and take the attributes of P as the child nodes of P; let i = i + 1;

[0018] Step 33: Repeat this process recursively until a new layer of child nodes is generated without any entity attributes.

[0019] Preferably, the specific steps of decomposing a business rule in step 4 are:

[0020] Step 41:

[0021] Decompose into

[0022]

[0023] Step 42: For each i=1,2,…,n, decompose it into

[0024] Step 43: Until each decomposed rule is a minimum business rule.

[0025] Preferably, the specific steps of performing satisfactory binding on the real estate unit U according to the business rule r in step 5 are:

[0026] Step 51: traverse each minimum business rule r→O(p) of the business rule r, traverse each node of the real estate unit U, if O=U, then bind r→O(p) with U(p), if O=U(P), P is a certain entity attribute of U, then bind r→O(p) with P(p);

[0027] Step 52: Delete the leaf nodes of real estate unit U that are not bound to the minimum business rules.

[0028] Beneficial effects of the present invention: Since the real estate unit U can describe a class of real estate unit objects, r can be any rule related to U. In this way, the tree representing U can be established in advance. When judging whether any instance of U satisfies r, only step six needs to be executed, thereby realizing automatic judgment of business rules.

[0029] The features and advantages of the present invention will be described in detail through embodiments in conjunction with the accompanying drawings.

Brief Description of the Drawings

[0030] Figure 1 It is an example diagram of an entity object of a real estate unit of a rule-based real estate business automated verification method of the present invention;

[0031] Figure 2 It is an example diagram of a real estate unit entity object instance of a rule-based real estate business automated verification method of the present invention;

[0032] Figure 3 Yes Figure 1 The real estate unit entity object in is rewritten into a tree-like diagram;

[0033] Figure 4 Yes Figure 2 The real estate unit entity object instance in is rewritten into a tree-like diagram;

[0034] Figure 5 It is an example diagram of a rule of a rule-based automated verification method for real estate business of the present invention;

[0035] Figure 6 Is a real estate unit object binding Figure 5 Example graph after the rules in ;

[0036] Figure 7 This is an example diagram of a real estate unit object instance being verified after binding rules.

[0037] Figure 6 In the, unit number and address cannot be empty, and the certificate number is empty; Figure 7 The unit number, area, and address cannot be empty, and the certificate number cannot be empty. [Specific implementation method]

[0038] See also Figure 1-Figure 7 , the present invention comprises the following steps:

[0039] Step 1: Define the terms related to real estate business;

[0040] Step 2: Preset the object to be verified: Let U(p1,p2,…,p x ,P1,P2,…,P y ) is a real estate unit,

[0041] is a business rule;

[0042] Step 3: Convert the real estate unit U into an object description tree;

[0043] Step 4: For a business rule To decompose;

[0044] Step 5: Perform satisfaction binding on the real estate unit U according to the business rule r;

[0045] Step 6: For each instance of real estate unit U, traverse each leaf node of real estate unit U and calculate the minimum business rule bound to the leaf node. If one minimum business rule is not satisfied, the instance does not satisfy r, otherwise, r is satisfied.

[0046] Working process of the present invention:

[0047] The working process of a rule-based automated verification method for real estate business of the present invention is explained in conjunction with the accompanying drawings.

[0048] A real estate unit object can be described as follows Figure 1 As shown, there are attributes including type, unit number, etc., among which type, area, etc. are simple attributes because they have no corresponding real-world entities, while owner and mortgagee are entity attributes because these two attributes correspond to the two entities of owner and mortgagee in the real world respectively.

[0049] The following is an example of an object of a real estate unit. Figure 2 As shown in the figure, XX property is a specific real estate unit existing in the real world, and each attribute has a specific value or corresponds to a specific entity.

[0050] Will attach Figure 1 The object in step 3 can be converted to the attached Figure 3 In the tree, each leaf node of the tree is a simple attribute, which meets the final result requirements of step three.

[0051] For a specific object, the final result of the conversion according to step 3 is as shown in the attached figure. Figure 4 As shown, with the attached Figure 3 Correspondingly, the attribute value of each leaf node is a simple value, not an entity that exists in the real world.

[0052] A simple business rule is shown in the following Figure 5 As shown in the figure, the rule includes three contents that need to be verified, namely: the real estate unit number cannot be empty, the real estate address cannot be empty, and the mortgagee, which is formally expressed as: r→(O1(p1), O2(p2), O3(p3)), where O1 and O2 represent real estate objects, O3 represents the mortgagee object, p1 and p2 represent the unit number and address attributes of the real estate unit object, and p3 represents the certificate number attribute of the mortgagee object. Decomposing the rule according to step 4, the result is: r→O1(p1), r→O2(p2), r→O3(p3).

[0053] Bind the decomposed r to U. Since O1 represents the real estate object, r→O1(p1) is bound to the unit number attribute of the real estate object, r→O2(p2) is bound to the address attribute of the real estate object, and O3 represents the mortgagee, so r→O3(p3) is bound to the certificate number attribute of the mortgagee of the real estate. The binding results are shown in the attached file. Figure 6 , all leaf nodes that are not bound to r are deleted.

[0054] Verify whether a real estate object instance satisfies a rule according to step 6. Just perform minimum rule judgment on all leaf nodes of the tree corresponding to the real estate object instance. If the minimum rule corresponding to a leaf node is not satisfied, the business rule is not satisfied. Otherwise, the business rule is satisfied. Figure 7 As shown, since the mortgagee's ID number is not empty, the business rule is not satisfied.

[0055] The above embodiment is only a simple example to illustrate the present invention. Considering that a real estate unit may involve multiple entities, the tree generated in step three may have multiple levels, and complex business may be decomposed into dozens or even more minimum rules. Therefore, the application of the present invention to realize automatic business rule judgment and realize automatic verification of real estate business rules will greatly reduce the workload of manual verification and improve the accuracy and work efficiency.

[0056] The above embodiments are intended to illustrate the present invention, not to limit the present invention. Any solution that is a simple transformation of the present invention belongs to the protection scope of the present invention.

Claims

1. A rule-based automated verification method for real estate business, characterized in that: The following steps are involved: Step 1: Define the terms related to real estate business; the definitions of the terms related to real estate business are as follows: entity refers to a person or thing related to real estate business in the real world; real estate unit refers to the smallest real estate entity that can handle real estate business independently; object refers to the description of a class of entities, represented by capital letters with subscripts, and recorded as , where the subscript represents the serial number of the object; an object instance represents a specific entity in a class of entities, and the representation of an object instance is the same as that of an object; an attribute is a certain characteristic or other entity attached to an entity, and the attributes include simple attributes and entity attributes, and the entity attribute still describes an object; simple attributes are represented by lowercase letters plus subscripts, and are recorded as , where the subscript indicates the serial number of the attribute; entity attributes are represented by capital letters plus subscripts, denoted as , where the subscript indicates the serial number of the attribute; the business rule is the condition that the attribute value of the real estate object should satisfy, which is represented by lowercase letters plus subscripts, and is recorded as , where the subscript indicates the rule number; a business rule verifies multiple attribute values ​​of one or more real estate objects. To validate an object Properties , denoted as , or , a business rule To verify the object Some properties of ;A business rule that only verifies a simple attribute of a real estate object is a minimal business rule; Step 2: Preset the object to be verified: is a real estate unit, , is a business rule; Step 3: Transfer the real estate unit Converted into an object description tree; the real estate unit The specific steps to convert to an object description tree are: Step 31: Real Estate Unit For the root, is the first-layer child node, Step 32: Each entity attribute of the layer ,by As root, The properties as ; ; Step 33: Recursively proceed until a new layer of child nodes is generated without any entity attributes; Step 4: For a business rule , Decompose; the specific steps for decomposing a business rule are: Step 41: , Decompose into , ;Step 42: For each Break it down into ;Step 43: Until each decomposed rule is a minimum business rule; Step 5: Real estate unit According to business rules To perform satisfactory binding; to real estate units According to business rules The specific steps for performing satisfactory binding are: Step 51: Traverse the business rules Every minimum business rule , traverse the real estate units For each node of , then and To bind, if , yes , then and Binding is performed; Step 52: Deleting the real estate unit Leaf nodes that do not have minimum business rules bound to them Step 6: Real estate unit For each instance of For each leaf node of the instance, calculate the minimum business rule bound to the leaf node. If one minimum business rule is not satisfied, the instance does not satisfy ,otherwise, Be satisfied.

Images