Logic with no technical limits Any number of conditions, actions and rules: Any number of values for conditions and actions: Software-supported creation of specifications Software generation