Modular, Visual Specifications of Software Processes