Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/98583
Título:
|
On the semantics of operation contracts in conceptual modeling
|
Autor/a:
|
Queralt Calafat, Anna; Teniente López, Ernest
|
Otros autores:
|
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. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Conceptual modeling |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem