Rights accessRestricted access - publisher's policy
To ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right in this sense. It is well known that the full expressiveness of OCL leads to undecidability of reasoning. To deal with this problem, our approach finds a compromise between expressiveness and decidability, thus being able to handle
very expressive constraints guaranteeing termination in many cases.
CitationQueralt, A. [et al.]. AuRUS: Automated Reasoning on UML/OCL Schemas. A: International Conference on Conceptual Modeling. "29th International Conference on Conceptual Modeling". Vancouver: Springer Verlag, 2010, p. 438-444.
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: email@example.com