Invention Grant
- Patent Title: Upgrading an application using boolean satisfiability solving
-
Application No.: US17515248Application Date: 2021-10-29
-
Publication No.: US11698784B2Publication Date: 2023-07-11
- Inventor: David Maine , Padmanabhan Krishnan , Alexander Jordan , Mahinthan Chandramohan
- Applicant: Oracle International Corporation
- Applicant Address: US CA Redwood Shores
- Assignee: Oracle International Corporation
- Current Assignee: Oracle International Corporation
- Current Assignee Address: US CA Redwood Shores
- Agency: Ferguson Braswell Fraser Kubasta PC
- Main IPC: G06F1/24
- IPC: G06F1/24 ; G06F9/445 ; G06F9/50 ; G06F9/48 ; G06F9/455 ; G06F8/65 ; G06F21/57

Abstract:
A method may including obtaining, for an application, an application dependency including called components, and obtaining, using the called components, a component compatibility graph including a set of nodes and a set of edges each connecting a pair of nodes in the set of nodes. The pair of nodes may include a calling node and a called node. Each node may correspond to a component. The method may further include generating, from the component compatibility graph, a set of constraints including a set of edge variables corresponding to the set of edges, selecting, using the set of constraints, an edge subset of the set of edges, and recommending, for the application, an upgrade solution including installing a called component corresponding to a called node connected by an edge in the edge subset.
Public/Granted literature
- US20230134419A1 UPGRADING AN APPLICATION USING BOOLEAN SATISFIABILITY SOLVING Public/Granted day:2023-05-04
Information query