[kepler-dev] [Bug 1917] New: - Design and implement workflow semantic type check.

[bugzilla-daemon@ecoinformatics.org]

http://bugzilla.ecoinformatics.org/show_bug.cgi?id=1917

           Summary: Design and implement workflow semantic type check.
           Product: Kepler
           Version: 1.0.0beta2
          Platform: Other
        OS/Version: other
            Status: NEW
          Severity: normal
          Priority: P2
         Component: general
        AssignedTo: sbowers at ucdavis.edu
        ReportedBy: sbowers at ucdavis.edu
         QAContact: kepler-dev at ecoinformatics.org


Design and implement a feature similar to the Kepler type-system check (which
occurs after a workflow is executed), but for semantic annotations. 

The semantic type-check should be a component (api) that can be called by
Kepler. Need a mechanism to report (through an interface) the semantic problems
of a workflow (if any exist), and possibly a mechanism to suggest ways to
correct the problems (a la the unit type system).