Projects:ARRA:SlicerEM:Developer:WorkflowManager

Summary

• EMSegmenter has a fairly complicated workflow
• Need a mechanism to validate user input and transition appropriately between steps of the workflow
• Should be dependent on Qt only (and not VTK)
• Current plan (subject to change) = use Qt's state machine implementation, with our own workflow manager on top (Qt Wizard doesn't quite work in harmony with the Qt state machine framework, and the UI itself can't be embedded in a pre-existing top-level)

Previous workflow manager implementation in KWWidgets

• Please see the documentation here, as it is already well described

Uses:

• KWWidgets state machines - incorporates states (ex. user interaction within a workflow step, validation of the user input within a workflow step), transitions (between states), and inputs (pushed onto a queue to trigger transitions)
• KWWidgets wizard workflow - provides additional functionality to manage workflow using a state machine (ex. bundles pairs of user interaction and validation states into a workflow "step", handles a navigation stack of steps encountered along the way that triggers updates of widgets and/or dialogs)

Transition from KWWidgets state machines to Qt state machines

• Core functionality in KWWidgets state machines that would be replicated for a "straight-forward" conversion (In Progress):

KWWidgets functionality	Present in Qt?
States have enter/leave events	???
Transitions have start/stop events	???
State events are processed before transition events	???
Clusters of states	???
Can save history of encountered steps and/or transitions	???
Can define custom inputs	???

• If some of these components are not available in Qt's state machine framework, it means some more refactoring/restructuring work

Transition from KWWidgets workflow manager to a workflow manager using Qt's state machines

• Will likely need to reimplement the four KWWidget workflow manager classes:
  • vtkKWWizardStep: a wizard step
  • vtkKWWizardWorkflow : a wizard workflow
  • vtkKWWizardWidget : a wizard widget, embedding UI (buttons) and a wizard workflow engine
  • vtkKWWizardDialog : a wizard dialog, embedding a wizard widget in a toplevel/dialog window.

GUI implementation in Qt

• qStackedWidget (and/or qTabWidget)
• simply connect signal to the stacked widget's setCurrentIndex(int) slot to change the displayed widget
• plus qDialog as well
• in Qt Designer - could have one .ui file for the entire stacked widget, or, for widgets representing complicated steps, could have a separate .ui

Concepts to keep in mind

• Undo / redo and forward/back transitions
• Branching workflows / skipped states ("GoToSelf" in KWWidgets)
• Design / output of state machines in a graphical format
• Logging state transitions, user actions, inputs and results thoughout (logging states?)

Additional ideas and questions

• Image processing throughout - need to deal with failures in image processing that are unrelated to the GUI
• Would be a good idea to make the workflow manager as general as possible for CTK - ex. use for management of IGT workflows in Slicer, where you may be coordinating several modules (ex. calibration module -> registration module -> tracking module), and may need to notify other components of current state (ex. over OpenIGTLink) (ex see this IJ paper)
  • Ex. make a workflow step more generic: instead of an "interaction" state and a "validation" state, could think about a "do stuff" state and a "validation" state, where "do stuff" can be user interaction, image processing, etc.
  • In validation states, could also have "borderline" success, where you may want to warn the user and allow them to choose whether to go ahead to the next step or to redo the current step with different inputs
• May even like to provide the option to save the MRML tree at the end of each step (to restore state if there is a crash, for example