In 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.
A logic database for validating system models
Asirelli P;
1996
Abstract
In 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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_411408-doc_144869.pdf
solo utenti autorizzati
Descrizione: A logic database for validating system models
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.22 MB
Formato
Adobe PDF
|
2.22 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.