E.3

Algorithm for edge analysis

|$\Pi _1(e)$|The tail of a data forest edge |$e$|
|$\Pi _2(e)$|The head of a data forest edge |$e$|
|$\mathbb{PI}$|The type of a processor input
|$\mathbb{PO}$|The type of a processor output
|$\mathbb{OI}$|The type of an operation input
|$\mathbb{OO}$|The type of an operation output
|$\mathbb{WI}$|The type of a (top-level) workflow input
|$\mathbb{WO}$|The type of a (top-level) workflow output
|$\mathbb{EI}$|The type of an exogenous operator input
|$V_c$|The type of a vertex parameter that consumes data during workflow execution
|$v \in V_c$|A consumer parameter |$v$|
|$V_p$|The type of a vertex parameter that produces data during workflow execution
|$v \in V_c$|A producer parameter |$v$|
|$\varsigma $|A binary relation between some consumer parameters and some producer parameters
|$dom(\varsigma )$|The domain of the relation |$\varsigma $|
|$\rho $|A binary relation between some producer parameters and some consumer parameters
|$dom(\rho )$|The domain of the relation |$\rho $|
|$k$|The sum of the number of edges in all the data forests involved in a multi-level composition
|$X_p$|A set of producer parameters
|$Y_c$|A set of consumer parameters
|$\Pi _1(e)$|The tail of a data forest edge |$e$|
|$\Pi _2(e)$|The head of a data forest edge |$e$|
|$\mathbb{PI}$|The type of a processor input
|$\mathbb{PO}$|The type of a processor output
|$\mathbb{OI}$|The type of an operation input
|$\mathbb{OO}$|The type of an operation output
|$\mathbb{WI}$|The type of a (top-level) workflow input
|$\mathbb{WO}$|The type of a (top-level) workflow output
|$\mathbb{EI}$|The type of an exogenous operator input
|$V_c$|The type of a vertex parameter that consumes data during workflow execution
|$v \in V_c$|A consumer parameter |$v$|
|$V_p$|The type of a vertex parameter that produces data during workflow execution
|$v \in V_c$|A producer parameter |$v$|
|$\varsigma $|A binary relation between some consumer parameters and some producer parameters
|$dom(\varsigma )$|The domain of the relation |$\varsigma $|
|$\rho $|A binary relation between some producer parameters and some consumer parameters
|$dom(\rho )$|The domain of the relation |$\rho $|
|$k$|The sum of the number of edges in all the data forests involved in a multi-level composition
|$X_p$|A set of producer parameters
|$Y_c$|A set of consumer parameters
E.3

Algorithm for edge analysis

|$\Pi _1(e)$|The tail of a data forest edge |$e$|
|$\Pi _2(e)$|The head of a data forest edge |$e$|
|$\mathbb{PI}$|The type of a processor input
|$\mathbb{PO}$|The type of a processor output
|$\mathbb{OI}$|The type of an operation input
|$\mathbb{OO}$|The type of an operation output
|$\mathbb{WI}$|The type of a (top-level) workflow input
|$\mathbb{WO}$|The type of a (top-level) workflow output
|$\mathbb{EI}$|The type of an exogenous operator input
|$V_c$|The type of a vertex parameter that consumes data during workflow execution
|$v \in V_c$|A consumer parameter |$v$|
|$V_p$|The type of a vertex parameter that produces data during workflow execution
|$v \in V_c$|A producer parameter |$v$|
|$\varsigma $|A binary relation between some consumer parameters and some producer parameters
|$dom(\varsigma )$|The domain of the relation |$\varsigma $|
|$\rho $|A binary relation between some producer parameters and some consumer parameters
|$dom(\rho )$|The domain of the relation |$\rho $|
|$k$|The sum of the number of edges in all the data forests involved in a multi-level composition
|$X_p$|A set of producer parameters
|$Y_c$|A set of consumer parameters
|$\Pi _1(e)$|The tail of a data forest edge |$e$|
|$\Pi _2(e)$|The head of a data forest edge |$e$|
|$\mathbb{PI}$|The type of a processor input
|$\mathbb{PO}$|The type of a processor output
|$\mathbb{OI}$|The type of an operation input
|$\mathbb{OO}$|The type of an operation output
|$\mathbb{WI}$|The type of a (top-level) workflow input
|$\mathbb{WO}$|The type of a (top-level) workflow output
|$\mathbb{EI}$|The type of an exogenous operator input
|$V_c$|The type of a vertex parameter that consumes data during workflow execution
|$v \in V_c$|A consumer parameter |$v$|
|$V_p$|The type of a vertex parameter that produces data during workflow execution
|$v \in V_c$|A producer parameter |$v$|
|$\varsigma $|A binary relation between some consumer parameters and some producer parameters
|$dom(\varsigma )$|The domain of the relation |$\varsigma $|
|$\rho $|A binary relation between some producer parameters and some consumer parameters
|$dom(\rho )$|The domain of the relation |$\rho $|
|$k$|The sum of the number of edges in all the data forests involved in a multi-level composition
|$X_p$|A set of producer parameters
|$Y_c$|A set of consumer parameters
Close
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close

This PDF is available to Subscribers Only

View Article Abstract & Purchase Options

For full access to this pdf, sign in to an existing account, or purchase an annual subscription.

Close