Typetheoretic Approach to the Shimming Problem in Scientific Workflows


Typetheoretic Approach to the Shimming Problem in Scientific Workflows


When composing Internet services into scientific workflows, users usually face the so-referred to as shimming downside when connecting two connected but incompatible components. The problem is addressed by inserting a special reasonably adaptors, referred to as shims, that perform acceptable information transformations to resolve knowledge type inconsistencies. However, existing shimming techniques give limited automation and burden users with having to define ontological mappings, generate data transformations, and even manually write shimming code. Additionally, these approaches insert many visible shims that clutter workflow style and distract user’s attention from practical components of the workflow. To deal with these problems, we tend to one) cut back the shimming problem to a runtime coercion problem in the theory of kind systems, a pair of) propose a scientific workflow model and define the notion of well-typed workflows, 3) develop an algorithm to typecheck workflows, four) style a operate that inserts “invisible shims”, or runtime coercions into workflows, thereby solving the shimming problem for any well-typed workflow, 5) implement our automated shimming technique, including all the proposed algorithms, lambda calculus, sort system, and translation functions in our VIEW system and gift 2 case studies to validate our approach.

Did you like this research project?

To get this research project Guidelines, Training and Code… Click Here


Leave a Reply

Your email address will not be published. Required fields are marked *

six × = fifty four