The image is an example of domain error modeling. A Start step appears at the top. Beneath the Start step is a split step called SplitAE. The split step has one incoming data flow from another role to the left and one incoming control flow from the Start step. The split step has an outgoing data flow to a consume step called ConsumeErrorAE, an outgoing control flow to a translation step called Transformation 1, and an outgoing data flow to Transformation 1. Transformation 1 has a data flow to PassValidBE, and both an outgoing control flow and data flow to step validXformP. validXformP has a return code port, an outgoing control flow (if true) to PassValidBE, and an outgoing control flow (if false) to ConsumeErrorAE. ConsumeErrorAE has an outgoing control flow to ValidOrError. PassValidBE has an outgoing data flow to the next role on the right and an outgoing control flow to ValidOrError. ValidOrError has an outgoing control flow to End.