minimumReplications - Sigma Knowledge base Browser

appearance as argument number 1

(documentation minimumReplications EnglishLanguage "(minimumReplications ?PROGRAM ?INTEGER) means that ?INTEGER represents the minimum copies of the application ?PROGRAM required to be survivable, where a program is survivable if the failure of one or more resources does not result in the failure of the program. Either long MTTF for the system as a whole or short MTTR when failure occurs would improve the survivability of a program.")	QoSontology.kif 722-728
(domain minimumReplications 1 ComputerProgram)	QoSontology.kif 720-720	Die Zahl 1 Argument von minimumReplications ist ein fall von ComputerProgram %n{nicht}
(domain minimumReplications 2 PositiveInteger)	QoSontology.kif 721-721	Die Zahl 2 Argument von minimumReplications ist ein fall von PositiveInteger %n{nicht}
(instance minimumReplications BinaryPredicate)	QoSontology.kif 719-719	minimumReplications ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage minimumReplications "%2 %n 是 %1 的 minimum 复制")	domainEnglishFormat.kif 1747-1747
(format ChineseTraditionalLanguage minimumReplications "%2 %n 是 %1 的 minimum 複製")	domainEnglishFormat.kif 1746-1746
(format EnglishLanguage minimumReplications "%2 is %n a minimum replications of %1")	domainEnglishFormat.kif 1745-1745
(termFormat ChineseLanguage minimumReplications "最小重复")	domainEnglishFormat.kif 37889-37889
(termFormat ChineseTraditionalLanguage minimumReplications "最小重複")	domainEnglishFormat.kif 37888-37888
(termFormat EnglishLanguage minimumReplications "minimum replications")	domainEnglishFormat.kif 37887-37887

antecedent

(=>
    (minimumReplications ?Application ?MinCopies)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application))) ?MinCopies))

QoSontology.kif 733-738