Safe Suggestions Based on Type Convertibility to Guide Workflow Composition

摘要

This paper proposes an interactive approach that guides users in the step-by-step composition of services by providing safe suggestions based on type convertibility. Users specify the points of the workflow (called the focus) they want to complete, and our approach suggests services and connections whose data types are compatible with the focus. We prove the safeness (every step produces a well-formed work-flow) and the completeness (every well-formed workflow can be built) of our approach.