Strict and extended interpretations of operation contracts in conceptual modeling

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/84840

Título:	Strict and extended interpretations of operation contracts in conceptual modeling
Autor/a:	Queralt Calafat, Anna; Teniente López, Ernest
Otros autores:	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Abstract:	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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Operation contracts -Conceptual modeling
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest

Rull Fort, Guillem; Farré Tost, Carles; Queralt Calafat, Anna; Teniente López, Ernest; Urpí Tubella, Antoni

Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest

Queralt Calafat, Anna; Teniente López, Ernest

Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest

Coordinación

Patrocinio