On the Semantics of Operation Contracts in Conceptual Modeling

This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them lies in the way operation postconditions and integrity constraints are guaranteed. Understanding an operation contract under each of these interpretations can result in different semantics for the same specification. Thus, assuming one or another affects the way operation contracts are specified.

• Type: Conference
• Year: 2005
• Where: CAISE
• Authors: Anna Queralt, Ernest Teniente
• Keywords: CAISE 2005, Operation Contracts, Way Operation, Way Operation Postconditions