Nets of Reactive Processes.pdfVIP

.. UNITE DE RECHERCHE INRIA-SOPHIA ANTIPOLIS Institut National de Recherche en Informatique et en Automatique Sophia Antipolis B.P. 109 06561 Valbonne Cedex France Tel.: 93 65 77 77 Rapports de Recherche No1588 Programme 2 Calcul symbolique, Programmation et Genie logiciel RESEAUX DE PROCESSUS REACTIFS Frederic BOUSSINOT Janvier 1992 Reseaux de Processus Reactifs Nets of Reactive Processes Frederic Boussinot Ecole Nationale Superieure des Mines de Paris Centre de Mathematiques Appliquees Sophia-Antipolis 06565 Valbonne, France email: fb@cma.cma.fr Resume. On introduit le modele des reseaux de processus reactifs, on decrit une implementation de ces reseaux et on leur donne une semantique mathematique dans le cadre denotationnel. On etudie limplementation des langages synchrones Lustre et Signal en considerant leurs programmes comme des exemples de reseaux reactifs. Abstract. We introduce the model of nets made of reactive processes. We describe an implementation of these nets and give them a denotational semantics. We study the implementation of the synchronous languages Lustre and Signal, considering their programs as reactive nets. 1 Introduction Reseaux de processus sequentiels. Les reseaux de processus sequentiels, introduit par G. Kahn dans [8], sont essentiellement asynchrones : ils sont formes de programmes appeles processus, qui sexecutent independament les uns des autres et qui communiquent en placant des messages dans des les \premier entre, premier sorti (FIFO). Ces les appelees canaux, sont de taille non bornee. Un processus a une memoire propre et lors de son execution, il peut mettre un message dans un de ses canaux de sortie (toujours possible puisque les canaux sont de taille non bornee) ou bien tenter de prendre un message dans un de ses canaux dentree. Les processus sont sequentiels et deterministes : il ne peuvent tenter de prendre des messages sur plusieurs canaux en concurrence et un processus qui