Validation of extended transition networks using GEDBLOG

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.