Tools for LOTOS Specification Style Transformation
Peter van Eijk · 1989
Specification styles are an approach for structuring the design process of distributed systems. For different phases of the design process different specification styles are employed. In this paper we study tools that support the design process through support for specification style transformation. Tools were made for a subset of LOTOS. 1. Introduction Tools support a design process if they make certain activities possible or easy. In this paper we study tools that support a design process based on LOTOS [17] specification styles. The starting point is [23] which discusses specification styles extensively and presents a number of transformations of an example in basic LOTOS. This transformation constitutes a proof of equivalence. We have worked on tools to support such proof by transformation. In this paper we give the backgrounds of these tools. We discuss their functionality and role in the design process, explain their theoretical basis, and show possible implementation technology...