Journal:Informatica
Volume 13, Issue 1 (2002), pp. 47–72
Abstract
In this paper, we present our Form-driven approach for reverse engineering of relationa databases. This methodology uses the information extracted from both form structure and instances as a database reverse engineering input using an interaction with a user. Through a combination of forms structures and data instances analysis, forms relational sub-schemas and their constraints are derived. These relational sub-schemas are mapped to object sub-schemas, which will be merging into global object-oriented schema that presents the whole underlying databases. The resulting global object-oriented schema must be validated as a rich and correct representation of the application domain.
Journal:Informatica
Volume 4, Issues 1-2 (1993), pp. 199–216
Abstract
An analysis of an event driven local area network protocol for special purposes in industrial applications is represented. The analysis is performed using the specification language ESTELLE/Ag and protocol analysis tool PRANAS-2. Validation was focused on the correctness media access algorithm, initialization of the protocol and recovery from error situations. The obtained simulation results can be used for comparison of the effectiveness of this protocol with other protocols.