Object-Oriented Model for Estelle and Its Smalltalk Implementation

摘要

The Wise software system provides a simulation environment for Estelle, which is a formal description technique for specifying computer communication protocols. The Wise tool is based on a model of Estelle semantics that is implemented as a collection of classes in the object-oriented language Smalltalk. The report describes the model and the Smalltalk implementation in some detail, which is useful background for extending or modifying the Wise tool. A companion report, the User Guide for Wise, describes how to use the tool.