Automated analysis and identification of options in project management
First Claim
1. A method for automatically identifying options in a project that includes existing components, said method comprising:
- generating representations of existing reusable components, wherein said representations comprise predicates, including preconditions and effects;
storing said representations for retrieval;
formulating at least one decision-support issue arising in said project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one of said representations, said planning problem including;
a complete description of an initial state;
a partial description of a goal state; and
a set of executable actions, wherein an action is applicable in said initial state if a precondition of said action is satisfied in said initial state;
solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to said project, wherein a resulting state is obtained by incorporating the effects of said action in a sequence from said initial state and said resulting state contains said goal state; and
identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable components and whether to select a partial solution for said planning problem.
3 Assignments
0 Petitions
Accused Products
Abstract
The present invention relates to a method, a system and a computer program product for automatically identifying options in a project that includes existing components. The method includes the steps of generating representations of existing components (910), storing the representations for retrieval (920), formulating one or more decision problem/s or decision support issue/s arising in the project as a planning problem using one or more of the representations (930) and solving the planning problem using automated reasoning techniques to identify options relating to the project (940). Preferably, formulation of the project as a planning problem includes defining the input data specification of the project as the initial state of the planning problem, defining the functionality requirement of the project as the goal state of the planning problem and defining one or more of the existing components as actions of the planning problem.
52 Citations
31 Claims
-
1. A method for automatically identifying options in a project that includes existing components, said method comprising:
-
generating representations of existing reusable components, wherein said representations comprise predicates, including preconditions and effects; storing said representations for retrieval; formulating at least one decision-support issue arising in said project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one of said representations, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state if a precondition of said action is satisfied in said initial state; solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to said project, wherein a resulting state is obtained by incorporating the effects of said action in a sequence from said initial state and said resulting state contains said goal state; and identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable components and whether to select a partial solution for said planning problem. - View Dependent Claims (2)
-
-
3. A decision support method for management of a software project that uses existing software components, said method comprising:
-
generating models of existing reusable software components, wherein said models comprise predicates, including preconditions and effects; storing said models for retrieval; formulating at least one decision problem arising in said software project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one of said models, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state if a precondition of said action is satisfied in said initial state; solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to the management of said software project, wherein a resulting state is obtained by incorporating the effects of said action and said resulting state contains said goal state; and identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable software components and whether to select a partial solution for said planning problem. - View Dependent Claims (4, 5, 6)
-
-
7. A system for automatically identifying options in a project that includes existing components, said system comprising:
-
a first processor operable for generating representations of existing reusable components, wherein said representations comprise predicates ,including preconditions and effects; a memory unit accessible by said first processor, said memory unit operable for storing said representations for retrieval; a second processor operable for formulating at least one decision-support issue arising in said project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using one or more of said representations, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state; and a third processor operable for solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to said project, wherein said third processor is operable for identifying a set of solutions including a resulting state is obtained by incorporating the effects of said action said action in a sequence from said initial state and said resulting state contains said goal state, to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable components and whether to select a partial solution for said planning problem. - View Dependent Claims (8, 9)
-
-
10. A decision support system for management of a software project that uses existing software components, said system including:
-
a first processor operable for generating models of existing reusable software components, wherein said models comprise predicates, including preconditions and effects; a memory unit accessible by said first processor, said memory unit operable for storing said models for retrieval; a second processor operable for formulating at least one decision problem arising in said software project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one of said models, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state; and a third processor operable for solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to the management of said software project, wherein a resulting state is obtained by incorporating the effects of said action and said resulting state contains said goal state, and wherein said third processor is operable for identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable software components and whether to select a partial solution for said planning problem. - View Dependent Claims (11, 12, 13, 14)
-
-
15. A computer program product having a computer readable storage medium executing a method for automatically identifying options in a project that includes existing components, said method comprising:
-
generating representations of existing reusable components, wherein said representations comprise predicates, including preconditions and effects; storing said representations for retrieval; formulating at least one decision-support issue arising in said project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one of said representations, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state; solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to said project, wherein a resulting state is obtained by incorporating the effects of said action in a sequence from said initial state and said resulting state, contains said goal state; and identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable components and whether to select a partial solution for said planning problem. - View Dependent Claims (16, 17)
-
-
18. A computer program product having a computer readable storage medium executing a method for management of a software project that uses existing software components, said method comprising:
-
generating models of existing reusable software components, wherein said models comprise predicates, including preconditions and effects; storing said models for retrieval; formulating at least one decision problem arising in said software project as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one of said models, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state; solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to identify options relating to the management of said software project, wherein a resulting state is obtained by incorporating the effects of said action and said resulting state contains said goal state; and identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable software components and whether to select a partial solution for said planning problem. - View Dependent Claims (19, 20, 21, 22)
-
-
23. A decision support method for maintenance of a software program, said method including the steps of:
-
formulating at least one decision support issue relating to said software program as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one model of existing reusable software components, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state, wherein said at least one model comprises predicates, including preconditions and effects; solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to automatically identify options relating to said decision support issue, wherein a resulting state is obtained by incorporating the effects of said action and said resulting state contains said goal state; and identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable software components and whether to select a partial solution for said planning problem. - View Dependent Claims (24, 25)
-
-
26. A decision support system for maintenance of a software program, including:
-
a first processor operable for formulating at least one decision support issue relating to said software program as a planning problem, such that said planning problems is formulated as one of a state-space planner and a plan-space planner using at least one model of existing reusable software components, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state, wherein said at least one model comprises predicates, including preconditions and effects; and a second processor operable for solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to automatically identify options relating to said decision support issue, wherein a resulting state is obtained by incorporating the effects of said action and said resulting state contains said goal state, and wherein said second processor is operable for identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable software components and whether to select a partial solution for said planning problem. - View Dependent Claims (27, 28)
-
-
29. A computer program product having a computer readable storage medium executing a method for maintenance of a software program, said method including:
-
formulating at least one decision support issue relating to said software program as a planning problem, formulated as one of a state-space planner and a plan-space planner using at least one model of existing reusable software components, said planning problem including; a complete description of an initial state; a partial description of a goal state; and a set of executable actions, wherein an action is applicable in said initial state, if a precondition of said action is satisfied in said initial state, wherein said at least one model comprises predicates, including preconditions and effects; solving said planning problem using said one of a state-space planner and a plan-space planner and automated reasoning techniques to automatically identify options relating to said decision support issue, wherein a resulting state is obtained by incorporating the effects of said action and said resulting state contains said goal state; and identifying a set of solutions to meet an optimization criteria for said planning problem by determining whether to automatically select said existing reusable software components and whether to select a partial solution for said planning problem. - View Dependent Claims (30, 31)
-
Specification