8. A method of transforming a UML design model including protocol state diagrams and activity diagrams of classes into a stochastic performance evaluation model, the method comprising the steps of: transforming a static call graph into a syntax tree having a binary tree structure; transforming each of the protocol state diagrams into a stochastic process algebraic form; transforming each of the activity diagrams into a stochastic process algebraic form; obtaining a stochastic process algebraic form of each of the classes by merging the process algebraic form of the protocol state diagram, and the stochastic process algebraic form of the activity diagram; and obtaining a stochastic algebraic form of a whole system from the syntax tree, and from the stochastic process algebraic forms of the classes.
8. A method of transforming a UML design model including protocol state diagrams and activity diagrams of classes into a stochastic performance evaluation model, the method comprising the steps of: transforming a static call graph into a syntax tree having a binary tree structure; transforming each of the protocol state diagrams into a stochastic process algebraic form; transforming each of the activity diagrams into a stochastic process algebraic form; obtaining a stochastic process algebraic form of each of the classes by merging the process algebraic form of the protocol state diagram, and the stochastic process algebraic form of the activity diagram; and obtaining a stochastic algebraic form of a whole system from the syntax tree, and from the stochastic process algebraic forms of the classes. 13. The method according to claim 8 , wherein, in the step of transforming the activity diagrams, a search is started from an initialNode, and a unique identifier is assigned to a node having been visited in the step.