Cause and effect logic application implementation
First Claim
Patent Images
1. A method for Cause and Effect application logic implementation, said method comprising the steps of:
- defining a formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks, wherein said defining includes generating a function block applied to control a target system that cannot be controlled by applying the Cause and Effect notation;
employing a computer-aided specification tool-set to support capture and validation of functional requirements; and
employing a software module to directly execute Cause and Effect application logic.
0 Assignments
0 Petitions
Accused Products
Abstract
A method for Cause and Effect application logic implementation includes defining a formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks and employing a computer-aided specification tool-set to support capture and validation of functional requirements. The method further includes employing a software module to directly execute Cause and Effect application logic.
37 Citations
50 Claims
-
1. A method for Cause and Effect application logic implementation, said method comprising the steps of:
-
defining a formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks, wherein said defining includes generating a function block applied to control a target system that cannot be controlled by applying the Cause and Effect notation; employing a computer-aided specification tool-set to support capture and validation of functional requirements; and employing a software module to directly execute Cause and Effect application logic. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23)
-
-
24. A computer for Cause and Effect application logic implementation, said computer configured to:
-
receive a defined formal methodology for specification of functional requirements for a target system based upon Cause and Effect notation and function blocks, wherein the function blocks are applied to control a target system that cannot be controlled by applying the Cause and Effect notation; capture at least one functional requirement; validate at least one captured functional requirement; and directly execute Cause and Effect application logic. - View Dependent Claims (25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46)
-
-
47. A database comprising:
-
data relating to Cause and Effect notation; and data relating to at least one Function block applied to control a target PLC system that cannot be controlled by applying the Cause and Effect notation. - View Dependent Claims (48, 49, 50)
-
Specification