Modeling and validating Mondex scenarios described in UML and OCL with USE

Mirco Kuhlmann, Martin Gogolla. Modeling and validating Mondex scenarios described in UML and OCL with USE. Formal Asp. Comput., 20(1):79-100, 2008. [doi]

Abstract

Abstract is missing.