1. A computer-implemented method for creating a behavior pattern of a computer program, the method comprising: analyzing a computer program comprising at least one source code with a plurality of program operations arranged in a logical succession, the computer program comprising a web service and the program operations comprising web service operations; inferring annotations based on the analysis to define inferred annotations, each inferred annotation referencing at least one of the web service operations; adding the inferred annotations to the computer program to define an annotated computer program; reading the inferred annotations in the annotated computer program; generating a dynamic state chart diagram of the annotated computer program based on the inferred annotations by arranging the inferred annotations according to the logical succession of the program operations, the dynamic state chart diagram representing the behavior pattern; and providing the dynamic state chart diagram to a representing unit, the dynamic state chart diagram configured to be represented using the representing unit.
3. The method according to claim 1 , wherein the dynamic state chart diagram comprises at least one finite state machine.