Всё же метамоделирование не корректно привлекать в таком смысле. Метамоделирование — это вопрошание по некоему не полностью формализованному алгоритму. В то же время, АРИЗ весьма подробно/точно описан. Метамоделирование есть и до формулировки противоречия: на этапе (как я назвал) десемантизации и контекстуализации (в ТРИЗе - "избавление от специальных терминов", "определение оперативной зоны и оперативного времени"). Затем формулируется ключевое противоречие. Мне кажется всё-таки именно здесь будет переживание противоречия. Как бы из которого уже дальнейший алгоритм метамоделирования для разрашения противоречия будет разворачиваться.