Simplification of UML/OCL schemas for efficient reasoning

Xavier Oriol, Ernest Teniente. Simplification of UML/OCL schemas for efficient reasoning. Journal of Systems and Software, 128:130-149, 2017. [doi]

Abstract

Abstract is missing.