Claims Analysis
Total Claims: 17
Claim 1
Independent Claim
105 words
A method for automatically detecting and correcting logic errors in an information model, the information model defining a process flow for a software application and being executable in a process flow control engine to perform actions having expected behaviors, the method comprising the steps of: monitoring the behavior associated with execution of a given action; comparing the monitored behavior associated with execution of the given action to an expected behavior rule to detect a logic error in the information model; and executing a corrective action in the information model to correct the logic error when the monitored behavior does not follow the expected behavior rule.
Claim 2
Independent Claim
105 words
A method for automatically detecting and correcting logic errors in an information model, the information model defining a process flow for a software application and being executable in a process flow control engine to perform actions having expected behaviors, the method comprising the steps of: monitoring the behavior associated with execution of a given action; comparing the monitored behavior associated with execution of the given action to an expected behavior rule to detect a logic error in the information model; and executing a corrective action in the information model to correct the logic error when the monitored behavior does not follow the expected behavior rule.
Claim 3
Dependent Claim
22 words
The method of claim 1, wherein the expected behavior rule defines a behavior that should result from execution of the given action.
Claim 4
Dependent Claim
23 words
The method of claim 1, wherein the expected behavior rule defines a behavior that should not result from execution of the given action.
Claim 5
Dependent Claim
25 words
The method of claim 1 further includes the steps of executing the actions of the application programs in accordance with a second expected behavior rule.
Claim 6
Independent Claim
121 words
A method for automatically detecting and correcting logic errors in an object-oriented information model, the information model defining a process flow for a software application and being executable in a process flow control engine to perform actions having expected behaviors, the method comprising the steps of: monitoring the behavior associated with execution of a set of one or more actions as the information model is executed in the process flow control engine; comparing the monitored behavior associated with execution of the set to an expected behavior rule to detect a logic error in the information model; and executing a corrective action in the information model to correct the logic error when a monitored behavior does not follow the expected behavior rule.
Claim 7
Independent Claim
121 words
A method for automatically detecting and correcting logic errors in an object-oriented information model, the information model defining a process flow for a software application and being executable in a process flow control engine to perform actions having expected behaviors, the method comprising the steps of: monitoring the behavior associated with execution of a set of one or more actions as the information model is executed in the process flow control engine; comparing the monitored behavior associated with execution of the set to an expected behavior rule to detect a logic error in the information model; and executing a corrective action in the information model to correct the logic error when a monitored behavior does not follow the expected behavior rule.
Claim 8
Dependent Claim
104 words
An expected behavior control system for detecting and correcting logic errors in an information model, the information model defining a process flow for a software application and being executable in a process flow control engine to perform actions having expected behaviors, the system comprising: an expected behavior function operative as the information model is executed by the process flow control engine for detecting any logic errors in the information model; and a correction action function operative as the information model is executed by the process flow control engine for executing at least one corrective action in the information model to correct the logic error.
Claim 9
Dependent Claim
104 words
An expected behavior control system for detecting and correcting logic errors in an information model, the information model defining a process flow for a software application and being executable in a process flow control engine to perform actions having expected behaviors, the system comprising: an expected behavior function operative as the information model is executed by the process flow control engine for detecting any logic errors in the information model; and a correction action function operative as the information model is executed by the process flow control engine for executing at least one corrective action in the information model to correct the logic error.
Claim 10
Dependent Claim
26 words
The system of claim 6 wherein the expected behavior function includes a plurality of rules defining expected behavior of the actions defined by the information model.
Claim 11
Dependent Claim
28 words
The system of claim 7 wherein the corrective action function includes at least one correction action corresponding to one of the plurality of rules defining an expected behavior.
Claim 12
Dependent Claim
47 words
The system of claim 7 wherein the plurality of rules are divided into two groups, the groups comprising: missing action rules for defining valid actions associated with the execution of the actions; and invalid action rules for defining invalid actions associated with the execution of the actions.
Claim 13
Dependent Claim
25 words
The system of claim 6 wherein the expected behavior function includes at least one rule for enforcing a particular process flow in the information model.
Claim 14
Independent Claim
97 words
A method for enforcing the behavior of a model information control system having at least one information model including at least one action to enable a plurality of users to update a database at the same time, the method comprising the steps of: processing actions within the information model according to enforcement behavior rules to enforce local updates of attributes within a record of the database by the plurality of users; and updating the changes to the attributes of the record in the database by adding each of the local updates of each user to the database.
Claim 15
Independent Claim
97 words
A method for enforcing the behavior of a model information control system having at least one information model including at least one action to enable a plurality of users to update a database at the same time, the method comprising the steps of: processing actions within the information model according to enforcement behavior rules to enforce local updates of attributes within a record of the database by the plurality of users; and updating the changes to the attributes of the record in the database by adding each of the local updates of each user to the database.
Claim 16
Dependent Claim
53 words
The method of claim 11 wherein the steps of processing further includes the steps of: in response to an action requesting an update of the database, reading the database to local storage for local updates by the user; and waiting to update the database with the local updates until no user conflict exists.
Claim 17
Dependent Claim
38 words
The method of claim 11 further including the steps of: determining if multiple users have attempted to update a same attribute of a same record in the database; and resolving the conflict according to the enforcement behavior rules.