TEMPORAL LOGIC EXPRESSION GENERATION APPARATUS AND TEMPORAL LOGIC EXPRESSION GENERATION PROGRAM

摘要

PROBLEM TO BE SOLVED: To generate object descriptions described in temporal logic expressions.;SOLUTION: An object number calculation unit 120 calculates the sum of multiplicity as the number of objects for each stereotype by using class diagram information data including stereotype and multiplicity for each class. An object description generation unit 130 obtains a description rule from a temporal logic expression pattern for each stereotype and generates an object description including the same number of object names as the number of objects using the obtained description rule.;SELECTED DRAWING: Figure 1;COPYRIGHT: (C)2018,JPO&INPIT