Bidirectional Processes, Poly, Systems Engineering