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.
Journal:Informatica
Volume 2, Issue 2 (1991), pp. 255–277
Abstract
The paper considers the analysis technique of the general and individual properties of aggregative specifications. The method is based on constructing a set of axioms describing both the aggregate specifications and the properties of the model under investigation. The resolution method using logical programming language PROLOG is applied in creating the axiom system. An example of aggregative specification analysis for the alternating bit protocol is presented.