Deriving transaction specifications from deductive conceptual models of information systems
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96881
Tipus de documentReport de recerca
Data publicació1994-03
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
We review the main components of a Deductive Conceptual Model (DCM) of an IS, and introduce a logic-based language for its specification. We then present a new, formal method for the derivation of transaction specifications implied by a given DCM. The method is based on the SLDNF proof procedure, and can be implemented easily in Prolog environments. The method requires the development of an Internal Events Model (IEM). We present such a model, point out how it can be automatically obtained and discuss its use in transaction derivations.
Descripció
Extended version
CitacióSancho, Maria-Ribera, Olive, A. "Deriving transaction specifications from deductive conceptual models of information systems". 1994.
Forma partLSI-94-15-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400191474.pdf | 1012,Kb | Visualitza/Obre |