Executable specification of adaptive open norm-governed computational systems