Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2018/07/01 Vol. E101-DNo. 7pp. 1801-1810 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: Conceptual data modeling, self checking, artifact-making process, UML,