This paper describes two different ways of understanding operation contracts in conceptual modeling. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed, which impacts on the desirable properties of operation contracts according to recommended
good practices for requirements specification. Both approaches are formalized and then compared in a number of issues.
CitationQueralt, A., Teniente, E. "Strict and extended interpretations of operation contracts in conceptual modeling". 2005.
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