AN INTERACTIVE LOTOS TOOLSET FOR USERS IN INDUSTRY

Abstract

This paper reports on an interactive toolset for editing and analyzing LOTOS specifications. It has been developed for the industrial use in telecommunication and information systems, particularly for the small-to -medium sized enterprises. In consideration of the poor environment of formal methods in Korea, it was designed to satisfy usual requirements for novice formal developers - usefulness and convenience. For this aim, easy-to-use graphical interactivity was implemented as the most remarkable feature of the toolset. The toolset consists of two individual tools: a syntax-directed editor and a visual simulator for LOTOS. The syntax-directed editor provides template-based input and dynamic syntax checking. It serves user-friendly editing methods. The visual simulator is a tool to analyze a specification through step-by-step graphical interactions and eventually check whether it behaves correctly.