Anglais ⇄ Russe +

executable model contraintes
progr.	исполнимая модель (ssn); операционная модель (ssn)
executable models
progr.	исполнимые модели (ssn); операционные модели (ssn)