The inference algorithm checks these two conditions for capability C by iterating over all component dependencies and sub-capabilities of C and checking each single one (in case of sub-capabilities recursively).
อัลกอริทึมการสรุปการตรวจสอบเหล่านี้สองเงื่อนไขสำหรับ C ความสามารถโดย iterating กว่า dependencies ทั้งหมดองค์ประกอบและความสามารถในการย่อยของ C และตรวจสอบแต่ละคนเดียว (ในกรณีของความสามารถในการย่อย-recursively).
เช็คอัลกอริธึมลงความเห็นได้ที่สองเงื่อนไขเหล่านี้สำหรับความสามารถใน C โดย iterating มากกว่าโพรเซสคอมโพเนนต์ย่อยและความสามารถทั้งหมดของ C และการตรวจสอบเพียงคนเดียวแต่ละตัว(ในกรณีของคณะอนุกรรมการ - ความสามารถใน(% s ))