PUMA
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.
 
 
Abstract
(English)
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