Title:
|
On the semantics of operation contracts in conceptual modeling
|
Author:
|
Queralt Calafat, Anna; Teniente López, Ernest
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
Abstract:
|
This paper describes two different ways of understanding operation contracts in the context of conceptual modeling. These two points of view are based in the total and partial correctness approaches from axiomatic programming, and adapted to conceptual modeling. The main difference between them lies in the way postconditions and integrity constraints are guaranteed, which impacts on the desirable properties of operation contracts. Both approaches are characterized and then compared in a number of issues. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Conceptual modeling |
Rights:
|
|
Document type:
|
Article - Published version Report |
Share:
|
|