where, Fk is the number of states of configuration k and K the total number of functions in the protocol graph. The automated process must therefore consider N combinations of requirements, conditions and configurations, which is defined as:
ở đâu, Fk laø soá löôïng bang cấu hình k và K Tổng số chức năngtrong đồ thị giao thức. Quá trình tự động do đó phải xem xét kết hợp Nyêu cầu, điều kiện và cấu hình, được định nghĩa là:
nơi, Fk là số các trạng thái của cấu hình k và K tổng số chức năng trong đồ thị giao thức. Vì vậy quá trình tự động phải xem xét N kết hợp của các yêu cầu, điều kiện và cấu hình, được định nghĩa là: