next up previous

Final Report of the COST-247 Action

Using Functional Data Types in Extended Algebraic Specifications: An Experience Report

Diego Friedel

GMD Fokus
Hardenbergplatz 2
D-10623 Berlin


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.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page