Patent Number: 7,788,636

Title: System and method for deriving stochastic performance evaluation model from annotated UML design model

Abstract: The computer program enables a computer to function as: means for transforming a static call graph into a syntax tree having a binary tree structure; means for transforming a protocol state diagram into a stochastic process algebraic form; means for transforming an activity diagram into a stochastic process algebraic form; means for obtaining a stochastic process algebraic form of each of classes by merging the stochastic process algebraic form of the protocol state diagram, and the stochastic process algebraic form of the activity diagram; and means for obtaining a stochastic algebraic form of a whole system from the syntax tree, and from the stochastic process algebraic forms of the classes.

Inventors: Nakamura; Hiroaki (Yokohama, JP), Sato; Naoto (Kawasaki, JP), Tabuchi; Naoshi (Machida, JP)

Assignee: International Business Machines Corporation

International Classification: G06F 9/44 (20060101)

Expiration Date: 8/31/12018