On the semantics of operation contracts in conceptual modeling
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/98583
Tipus de documentReport de recerca
Data publicació2004-04
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióQueralt, A., Teniente, E. "On the semantics of operation contracts in conceptual modeling". 2004.
Forma partR04-21
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
LSI-04-21-R.pdf | 2,501Mb | Visualitza/Obre |