Theory and verification of operator design methodology