Matisse: a concurrent and object-oriented system specification language
Julio Leao Da Silva, Chantal Ykman-Couvreur, Gjalt Jong · 1997
We present Matisse, a concurrent object-oriented system specification language, well-suited for protocol processing applications used in telecom networks. An industrial application used in ATM networks is introduced. From this case study, we derive the requirements that must be supported by Matisse. Matisse is the entry point for the methodology presented in [6], that bridges the gap between system specification and synthesis tools commercially available. In contrast to the system specification languages currently used in industry, Matisse is implementation-independent and permits the exploration of different embedded hardware/software realizations.