Abstract:

Commencing with the drawbacks of the algebraic data type part of standard LOTOS we decided to use functional data types instead. This talk will present our approach of using data types that are written in an Haskell dialect in TIS specification. Example specifications will be given. Besides a discussion on advantages/disadvantages and experiences with this approach, we show a way of incorporating an existing data type interpreter into our SIMTIS tool. Thus, SIMTIS allows us to simulate full TIS specifications.