PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Cook S., Asirelli P., Jeffery K. Validation of Extended Transition Networks Using GEDBLOG. Technical report, 1995.
 
 
Abstract
(English)
In order to prove properties of information systems, we need a formalism for representing the system, a set of construction rules for the appropriate class of system, 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. We demonstrate that the GEDBLOG logic database is a suitable tool for expressing these rules and validating ETN models.
Subject D.2.1 Requirements/Specifications: Methodologies
D.2.2 Design Tools and Techniques: Petri nets
D.2.10 Design: Methodologies
F.3.1 Specifying and Verifying and Reasoning about Programs: Mechanicalverification
F.3.1 Specifying and Verifying and Reasoning about Programs:Specification techniques
H.2.8 Database Applications
I.6.4 Model Validation and Analysis


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PS


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