Abstract
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for data-flow verification. Most techniques simply abstract from data while data dependencies can be the source of all kinds of errors. This paper focuses on the discovery of data-flow errors in workflows. There are many issues in the dataflow, like Redundant Data, Lost Data, Missing Data, Mismatched data, Inconsistent data, and Misdirected data. We present an analysis approach that uses so called “The RWD Boolean Table Technique” expressed in steps, I Split dataflow from control flow; II Create Boolean table for each data element/s; III Make comparative between RWD Boolean table for current task and next task until get the end of workflow; Typical errors include dataflow issue, like redundant Data, lost Data and missing Data.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
