The invention relates to the technical field of
computer software, and discloses an
enterprise portal integration method based on a user-defined
client, and a desktop
end system and a
server end system are cooperatively executed. The desktop
end system performs signature
verification and static compilable
verification on the integrated formula
package, activates the candidate integrated formula
package when both pass the signature
verification and the static compilable verification, and returns and activates the previous effective integrated formula
package when any one does not pass the signature verification and the static compilable verification; the desktop end
system carries out constraint compiling on the
precondition expression set and the sequence state
machine definition and calculates a
satisfiability reachable relation; the desktop end
system performs consistency judgment based on the verifiable
voucher packet and the target permission range, and outputs entry permission or rejection and reason codes; the
server-side
system signs and issues a one-time link bill carrying a user after checking a formula version, an interface contract abstract and a sequence state of the bill application parameters; and the desktop end system generates
receipt abstracts and idempotent event keys, writes the
receipt abstracts and idempotent event keys into an event account book, and compensates and uploads the
receipt abstracts and idempotent event keys in batches during offline and
network recovery.