Rights accessRestricted access - publisher's policy
An operation is executable if there is at least one information base in which its preconditions hold and such that the new information base obtained from applying its postconditions satisfies all the integrity constraints. A non-executable operation is useless since it may never be applied. Therefore, identifying non-executable operations and fixing up their definition is a relevant task that should be performed as early as possible in software development. We address this problem in the paper by proposing an algorithm to automatically compute the missing effects in postconditions that would ensure the executability of the operation.
CitationOriol, X.; Teniente, E.; Tort, A. Fixing up non-executable operations in UML/OCL conceptual schemas. A: International Conference on Conceptual Modeling. "Conceptual Modeling : 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014 : Proceedings". Atlanta: Springer, 2014, p. 232-245.
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