Esprit project dat ten doel heeft pragmatische en stabiele formele beschrijvingstechnieken zoals deze in het kader van OSI worden ontworpen, vast te leggen, deze technieken toe te passen op normen, en verificatietechnieken en een verzameling van (prototype) gereedschappen te ontwikkelen ter ondersteuning van de specificatie, verificatie, simulatie, implementatie en diensten in het bijzonder en open gedistribueerde systemen in het algemeen