Accepted Manuscript Simplification of UML/OCL Schemas for Efficient Reasoning Xavier Oriol, Ernest Teniente PII: S0164-1212(17)30064-X DOI: 10.1016/j.jss.2017.03.015 Reference: JSS 9944 To appear in: The Journal of Systems & Software Received date: 9 September 2016 Revised date: 20 February 2017 Accepted date: 22 March 2017 Please cite this article as: Xavier Oriol, Ernest Teniente, Simplification of UML/OCL Schemas for Effi- cient Reasoning, The Journal of Systems & Software (2017), doi: 10.1016/j.jss.2017.03.015 This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain.