The implementation of a specification language for OSI systems

During the years 1981-7, experts from the ISO/TC97/SC21/WG1 ad hoc group on FDT (formal description techniques) subgroup C developed a very-high-level specification language for open distributed systems, called the LOTOS (language of temporal ordering specification). Its high level of abstractness precludes a direct compilation. An architectural overview is presented of a set of tools, named LIW (LOTOS implementation workbench), to assist the implementor during the implementation process. The extra information required to derive actual implementations from formal specifications is carefully integrated in a semantically consistent framework using a mechanism of annotations.<<ETX>>