G - Physics – 06 – F
Patent
G - Physics
06
F
354/230
G06F 9/00 (2006.01) G06F 9/44 (2006.01)
Patent
CA 2035952
- 72 - ORDER INDEPENDENT RULE-BASED PROGRAM SPECIFICATION SYSTEM Abstract A method is disclosed of providing instructions to a compiler system for specifying rules of behavior for a program. Rules are implemented by a message passing structure, wherein messages are passed between objects of the system. Each rule is defined by a structured script identifier, that uniquely characterizes the timing, level of detail and the grouping of a rule. Each rule is further defined by preconditions that determine when the rule applies, and the state of the system after it has been applied (postconditions). The behavior of a program can be specified so that rules can be applied to a system based on timing constraints, and/or in a logical order, based on the occurrence of logical conditions. The rules are executed bytesting for preconditions subject to timing constraints, and asserting postconditions when the preconditions have been satisfied. Each rule has an attached label specifying a level of detail. Testing of the rules can be performed and displayed at any specified levels of detail.
American Telephone And Telegraph Company
Kapauan Prudence T. Z.
Kirby Eades Gale Baker
LandOfFree
Order independent rule-based program specification system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Order independent rule-based program specification system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Order independent rule-based program specification system will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1803113