akokov раскопал прелюбопытнейшую диссертацию по созданию расширения ISO 24744 метамоделью прослеживаемости (трассировки, соотнесения, traceability) базиса (baseline) --
http://oa.upm.es/2557/2/ANGELINA_ESPINOZA_LIMON.pdf Похоже, что это всплыл кусочек какой-то большой работы: case study состоит в том, что в ISO 24744 определяются какие-то специфичные методики разработки (software product lines, Scrum и XP, test-driven development и т.д.), а затем к ним добавляется метамодель прослеживаемости.
Хорошо видно, что все это моделирование при помощи ISO 24744 в диссертации используется главным образом для двух связанных целей:
а) разобраться в предмете (domain), построить такую модель предметной области, чтобы были понятны требования к софту
б) помощь в "более автоматизированном" создании классов для софта поддержки хода разработки -- раз уж эти классы уже отмоделированы по итогам пункта а)
Непохоже, чтобы авторы данного расширения имели ввиду потом публикацию гламурной (отрендеренной из модели) инструкции по методике трассировки. Это говорит о том, что либо просто не было для этого инструмента, либо такая цель вообще не ставилась. А вот для моделирования при разработке софта поддержки жизненного цикла (какого-нибудь issue tracker) достаточно любого UML-моделера.
В любом случае, весьма интересный материал -- как по ситуационному моделированию методов, так и по инженерии требований (трассировка традиционно относится к инженерии требований).