A conceptual schema specifies the relevant information about the domain, and how this information changes as a result of the execution of operations. The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. This task is not fully formalizable, so it is desirable to provide the designer with a set of tools that assist him or her in the validation process. To this end, we present a method to translate a complete schema into logic, and then propose a set of validation tests that can be performed on the schema. These tests are formulated in such a way that any reasoning method can be used to check them. To show the feasibility of our approach, we use an implementation of an existing reasoning method.
CitationQueralt, A., Teniente, E. "Validating UML schemas with OCL constraints and operations". 2008.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org