coherent set of Object-Process Diagrams (OPDs). However, OPDs lack control flow constructs for explicit specification of the entire process sequence, which is essential for algorithm implementation.