Patent attributes
A relationship acquisition unit acquires the relationship between a plurality of sequences to be implemented to realize the functions required for a system to be designed and an object to and from which the sequences deliver and receive messages. A grouping unit groups the sequences which deliver and receive messages to and from the same object to make a group of sequences associated with the object. A duplication dissolution unit dissolves, when the same sequence belongs to different groups of sequences in duplication, the duplication of the sequence based on the relationship, between the sequence and other sequences which deliver and receive messages to and from the object to and from which the sequence delivers and receives messages, of the implementation order of the object. An output unit associates each group and outputs the sequences belonging to the group of sequences associated with the functional blocks.
