Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Cook S., Jeffery K. A logic database for validating system models. In: DDLP'96 - Proceedings of Workshop DDLP'96 on Deductive Databases and Logic Programming (Bonn, Germany, 5-6 September 1996). Proceedings, pp. 119 - 134. D. Boulanger [et al ... ] (ed.). GMD, 1996.
order to prove properties of inforrnation systerns, we need a forrnalism for representing the systern, a set of construetion rules for the appropriate CIMS of systern and a suitable environment for testing the proof. This paper builds on earlier work on the Extended Transition Network (ETN) formalism and proposes some generic construction rules for information systems specified using ETN. Ve dernonsttate that deductive databases are suitable for expressing these rules and validating ETN models by presenting our implernentation in the Iogic database GEDBLOG.
Subject Logic database

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional