PURPOSE: An automatically translating device for creating a LOTOS fixing particulars from a message sequence chart and a method thereof are provided to offer an automatically translating device and method for creating a language of temporal ordering specification(LOTOS) standardization detail from a message sequency chart visualizing a user's demand and a recording medium capable of being read by a computer recording a program for executing the method. CONSTITUTION: An automatically translating device(201) automatically creates a LOTOS detail from a message sequence chart(MSC) modeling a user's demand. A character information converting device(202) converts a visual model into a character information model capable of being calculated. A semantic derivation device(203) extracts semantic information being included in the visual model from the character information model. A LOTOS detail converting device(204) creates a LOTOS standardization detail using model structure information of a visual model and information. A finite status machine is created using an executing machine creating device(205) from the LOTOS detail which is an output of the automatically translating device(201), and a simulation is performed by a LOTOS simulator(206). At this time, if an error is generated, the error is modified by an error modifying device(207).
展开▼