Goal-oriented approach to creating class diagrams with OCL constraints. - Sombat Chanvilai; Kozo Honda; Hiroyuki Nakagawa; Yasuyuki Tahara; Akihiko Ohsuga (SAC, 2012)