All ViewModels that has at least one action that show it:

Span.allinstances->select(span|span.ShowByActions->notEmpty)->collect(span|span.Name,span.Category.Name,span.ShowByActions.ListPresentationTypedDetails->ascommalist,span.CodeComment)

All actions that navigate to another view

AbstractAction.allinstances->select(aa|aa.BringUpViewModel->notEmpty)->collect(aa|aa.Name,aa.OclType.asstring,aa.ListPresentationTypedDetails,aa.MenuGroup.Name,aa.ViewModelIsModal,aa.ViewModelIsPopUp)