Trustworthy application integration

A system associated with trustworthy application integration, comprising:

• a formalization platform, including:
• a formalization computer processor, and
• a formalization computer memory, coupled to the formalization computer processor, storing instructions that, when executed by the formalization computer processor, cause the formalization platform to:
• (i) facilitate, by a formalization platform application integration engine, definition of pattern requirements by an integration developer,
• (ii) perform, by the formalization platform application integration engine, domain abstraction associated with a set of single patterns;
• (iii) analyze, by the formalization platform application integration engine, the set of single patterns and perform characteristics analysis to create a set of characteristics that are separated into intra data flow characteristics denoting constraints and inter data flow characteristics denoting contracts, and,
• (iv) formalize, by the formalization platform application integration engine, the set of single patterns as a single formalized pattern based in part on generated requirements,
• (v) compose, by the formalization platform application integration engine, at least some of the formalized single patterns into template-based formalized compositions of composed patterns by formalizing the constraints;
• and
• (vi) input the composed patterns to the single formalized pattern;
• a correctness platform that receives information from the formalization platform, including:
• a correctness computer processor, and
• a correctness computer memory, coupled to the correctness computer processor, storing instructions that, when executed by the correctness computer processor, cause the correctness platform to:
• (i) check for structural correctness of the formalized compositions composed by the formalization platform by verifying the contracts,
• (ii) execute a semantic transformation or binding to pattern characteristics including the intra data flow characteristics and the inter data flow characteristics and associated interactions, and
• (iii) check composition semantics including the input composed patterns to the single formalized pattern and generate a formal model associated with a timed db-net with boundaries;
• and
• an implementation platform that receives information from the correctness platform, including:
• an implementation computer processor, and
• an implementation computer memory, coupled to the implementation computer processor, storing instructions that, when executed by the implementation computer processor, cause the implementation platform to:
• (i) translate the formal model generated by the correctness platform,
• (ii) configure implementation parameters of the translated formal model, and
• (iii) execute the translated formal model in accordance with the configured implementation parameters,
• wherein a rule-based graph re-writing system applies an optimization strategy associated with pattern placement in connection with the formal model.

A non-transitory, computer-readable medium storing instructions, that, when executed by a processor, cause the processor to perform a method associated with trustworthy application integration, the method comprising:

• facilitating, by a computer processor of a formalization platform application integration engine, definition of pattern requirements by an integration developer;
• performing, by the computer processor of the formalization platform application integration engine, domain abstraction associated with a set of single patterns;
• analyzing, by the computer processor of the formalization platform application integration engine, the set of single patterns and perform characteristics analysis to create a set of characteristics that are separated into intra data flow characteristics denoting constraints and inter data flow characteristics denoting contracts;
• formalizing, by the computer processor of the formalization platform application integration engine, the set of single patterns as a single formalized pattern based in part on generated requirements;
• composing, by the computer processor of the formalization platform application integration engine, single patterns into template-based formalized compositions of composed patterns by formalizing the constraints;
• inputting the composed patterns to the single formalized pattern;
• checking, by a computer processor of a correctness platform, for structural correctness of the formalized compositions composed by the formalization platform application integration engine by verifying the contracts;
• executing, by the computer processor of the correctness platform, a semantic transformation or binding to pattern characteristics including the intra data flow characteristics and the inter data flow characteristics and associated interactions;
• checking, by the computer processor of the correctness platform, composition semantics including the input composed patterns to the single formalized pattern and generating a formal model associated with a timed db-net with boundaries;
• translating, by a computer processor of an implementation platform, the formal model generated by the correctness platform;
• configuring, by the computer processor of the implementation platform, parameters of the translated formal model;
• and
• executing, by the computer processor of the implementation platform, the translated formal model in accordance with the configured implementation parameters,
• wherein a rule-based graph re-writing system applies an optimization strategy associated with pattern placement in connection with the formal model.