“…In this section, for the sake of completeness, we will summarize the important features of PROOF and PROOF/L which will be used in our approach. For more detailed information, the reader is referred to [1] An object-oriented programming model naturally reveals existing parallelism in the application problems [20]. Besides the advantages of modifiability, maintainability and reusability, one significant advantage of the object-oriented model over others is that the concept of an object can be used at earlier stages of software development cycles than the implementation stage.…”