Modéliser les spécifications fonctionnelles, opérationnelles et technologiques du cahier des charges de la partie séquentielle d'un système automatisé.