Predefined Process Function Definition Algebra