Specifying and validating structural constraints of analysis class models using OCL

Heung Seok Chae, Keunhyuk Yeom, Tae Yeon Kim. Specifying and validating structural constraints of analysis class models using OCL. Information \& Software Technology, 50(5):436-448, 2008. [doi]

Abstract

Abstract is missing.