Feature modeling application
AssigneeMicron Technology, Inc.
InventorShane Clifford
Life of this patent
Estimating the term…
Abstract
Methods and systems for generating computer-executable code are provided. Feature diagrams are utilized to help produce deterministic statecharts. Design choices and changes are accomplished by entering modifications to feature diagrams. The feature diagrams are associated with statecharts and as the feature diagrams are modified corresponding changes are made to the associated statecharts, producing deterministic statecharts. Once all the chosen modifications to the feature diagram(s) have been performed, the resulting, newly-created statechart(s) will be deterministic and can be advantageously utilized to generate computer-executable code. Computer-executable code can be generated that is useful for implemented real-time control systems, including real-time systems for controlling semiconductor equipment.
Claims45
A method for utilizing a feature diagram in the creation of a potential statechart, comprising:
- adding a state to the potential statechart for each state-type feature added to the feature diagram;
- for each added state-type feature that is an optional feature, adding a decision state to the potential statechart that has a guarded transition to the added state and adding an else transition;
- for each alternate relationship to be added to the feature diagram, adding a decision state to the potential statechart and adding a guarded transition from the added decision state to each of the states in the alternate relationship, wherein an else transition is added to the added decision state if the features in the alternate relationship are optional;
- and
- for each or-relationship to be added to the feature diagram, adding a decision state to the potential statechart for each state in the or-relationship, wherein each added decision state has a guarded transition to one of the states in the or-relationship, and each decision state has an else transition.
A method for utilizing a feature diagram in the creation of a potential statechart, comprising:
- adding a state to the potential statechart for each state-type feature added to the feature diagram;
- for each added state-type feature that is an optional feature, adding a decision state to the potential statechart that has one guarded transition to the added state and adding an else transition;
- for each alternate relationship to be added to the feature diagram, adding a decision state to the potential statechart and adding a guarded transition from the added decision state to each of the states in the alternate relationship, wherein an else transition is added to the added decision state if the features in the alternate relationship are optional;
- for each or-relationship to be added to the feature diagram, adding a decision state to the potential statechart for each state in the or-relationship, wherein each added decision state has a guarded transition to one of the states in the or-relationship, and each decision state has an else transition;
- and
- adding transitions to the potential statechart, wherein the transitions are transitions that are triggered by a signal or stimulus.
A method, comprising:
- creating a feature diagram and a corresponding potential statechart;
- modifying the feature diagram;
- and
- making modifications to the potential statechart that correspond to the modifications of the feature diagram to produce a deterministic statechart.
A method for generating computer-executable code, comprising:
- creating a feature diagram and a corresponding potential statechart;
- modifying the feature diagram;
- making modifications to the potential statechart that correspond to the modifications of the feature diagram to produce a deterministic statechart;
- and
- generating computer-executable code from the deterministic statechart.
A system, comprising:
- one or more feature diagrams;
- one or more deterministic statecharts generated from the one or more feature diagrams;
- and
- computer-executable code generated from the one or more deterministic state diagrams.
A system useful for generating computer-executable code, comprising:
- a repository having stored feature diagrams and corresponding potential statecharts;
- and
- an editor capable of making modifications to the stored feature diagrams and capable of making modifications to the potential statecharts that correspond to modifications made to the stored feature diagrams.
A system useful for generating computer-executable code, comprising:
- a repository having stored feature diagrams and corresponding potential statecharts;
- an editor capable of making modifications to the stored feature diagrams and capable of making modifications to the potential statecharts that correspond to modifications made to the stored feature diagrams;
- and
- a code generator for generating computer-executable code from deterministic statecharts.
A machine-accessible medium having associated content capable of directing the machine to perform a method, the method comprising:
- creating a feature diagram and a corresponding potential statechart;
- modifying the feature diagram;
- and
- making modifications to the potential statechart that correspond to the modifications of the feature diagram to produce a deterministic statechart.
A data signal representing computer instructions for causing a computer system to perform a method, the method comprising:
- creating a feature diagram and a corresponding potential statechart;
- modifying the feature diagram;
- and
- making modifications to the potential statechart that correspond to the modifications of the feature diagram to produce a deterministic statechart.
A computer-readable medium having computer instructions for performing a method, the method comprising:
- creating a feature diagram and a corresponding potential statechart;
- modifying the feature diagram;
- and
- making modifications to the potential statechart that correspond to the modifications of the feature diagram to produce a deterministic statechart.
Dependencies are inferred from the claim text.