Granularity
A straight forward heuristic: choose a specification construct to represent a procedure.I.e. each statement or block. Also, user defined procedure for partitioning.
Transformations can be used to improve the above strategy
- Procedure Inlining: replace procedure call by procedure’s contents making granularity coarser. Inline procedure disappears.
- Procedure cloning: makes a copy of a procedure for exclusive use by a particular caller. Ex: Multiply-called procedure if inlined might grow excess, and if not-inlined, might needs more communication. Cloning is a compromise.
-