Personal tools
You are here: Home → Developer → Incubation → Kepler Graphical User Interface → Archive → Semantic and Structural Type Checking Dialog Boxes
Log in


Forgot your password?
New user?
 

Semantic and Structural Type Checking Dialog Boxes

STATUS

Red TriangleThe content on this page is outdated. The page is archived for reference only. For more information about current work, please contact the GUI Group.

 

Overview

Screenshots of type checking dialog boxes and type-checking mode.

Type Checking Dialog (Kepler 1.0 Beta 2)

https://code.kepler-project.org/code/kepler-docs/trunk/legacy-documents/dev/usability/screenshots_1.0B2/type-checker.png

Visual Typechecking (preliminary design)

If user selects visual typechecking from the tools menu the workflow will display in typechecking mode:
  • All workflow objects go charcoal grey on a light grey background so that the typechecking symbols and colors will pop off the screen. The task is to identify where structural and semantic mismatches are occuring and to correct them. Also this will give a clear visual cue that the user is in typechecking mode.
  • Mismatches between actors are color coded with thick lines and distinct symbols. Additionally if a composite actor contains mismatches it will be similarly coded so users know they need to drill down to find and examine mismatches.
https://code.kepler-project.org/code/kepler-docs/trunk/legacy-documents/dev/usability/screen_designs/alt-colors-pro-typechecking.png

Typechecking Dialog (provides summary)

design in progress
Document Actions