ExSpect (EXecutable SPECification Tool) is een set van tools om gedistribueerde systemen te ontwerpen, specificeren en simuleren. Het vereenvoudigt de specificatie en simulatie van alle soorten gedistribueerde systemen en het genereert prototypes die uitgevoerd kunnen worden. Bibliotheken met voorgedefinieerde bouwstenen zijn beschikbaar om complexe systemen samen te stellen.
De software is geschikt voor top-down modelleren via een grafische editor waarmee je systeem elementen en hun relaties kunt definiëren, voordat er een regel code geschreven wordt. Na het definiëren van de nodige types en functies kan de specificatie automatisch worden vertaald en geinterpreteerd. Het simuleren kan interactief gebeuren via het run time interface.
Wanneer specificaties veranderen ten gevolge van nieuwe informatie of nieuwe eisen, is het vrij eenvoudig het gemaakte ExSpect model aan te passen: bestaande componenten en structuren kunnen gewijzigd worden en nieuwe kunnen worden toegevoegd.
In het kort bestaat de set van tools van ExSpect momenteel uit:
De tools zijn geimplementeerd in C en draaien onder UNIX (Solaris) en MS-Windows (3.x en 95).
De software wordt op de markt gebracht in samenwerking met Bakkenist Management Consultants te Diemen.