摘要 |
A persistence identifying system includes: a system persistence managing means 110 for managing proven persistence theorems for different configurations of systems, and a system persistence identification means 120 for identifying the persistence of a target system by the configuration of the target system and the proven persistence theorem of the configuration if the theorem is available and determining the target system is persistent if all of its components are always relevant in the system, and otherwise the target system is non-persistent. |