Abstract
We introduce a new execution model for implementing FDTs based on the reactive approach. In this model, called the PAM, systems are divided into several reactive entities communicating by an activation mechanism. This paper introduces the PAM approach and shows how different communication mechanisms such as asynchronous fifo in ESTELLE or multiple rendezvous in LOTOS can be implemented. It then presents the analysis of an implementation of a transport protocol (CCITT T70).
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work has been realized at the Centre de Mathématiques Appliquées de l'École des Mines de Paris, place Sophie Laffitte, 06 560 SOPHIA ANTIPOLIS
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Berry, ‘Real Time Programming: special purpose or general languages', IFIP Congress (1989).
G. Berry AND G. Gonthier, ‘The Esterel Synchronous Programming Language: Design, semantics, implementation', INRIA RR-842 (1988).
F. Boussinot, ‘Réseaux de processus réactifs', Rapport de Recherche ENSMP-CMA 12/91 (1991).
F. Boussinot AND G. Doumenc, ‘Le langage Reactive C', Rapport de Recherche ENSMP-CMA 09/91 (1991).
P. Caspi and D. Pilaud and N. Halbwaks and J. Place, ‘LUSTRE, a Declarative Language for Programming Synchronous System', Proceeding ACM Conference on Principles of Programming Languages, Munich (1987).
H. Garavel AND J. Sifakis, ‘Compilation and Verification of LOTOS specification', Proc. of the 10th Int. Symposium on Protocol, Specification, Testing and Verification, IFIP North Holland (1990)
D. Harel AND A. Pnueli, On the Development of Reactive Systems, Logic and Models of Concurent Systems, Springer-Verlag, pp. 477–498 (1985).
E. Najm, 'LOTOMATON: A Wide Spectrum Transformation Framework For LO-TOS', LOTUSPHERE, Lo/WP11/T1.2/N0019 (1990).
ISO IS 9074. Estelle — A formal Description Technique Based on an Extended State Transition Model (1989).
G.D. Plotkin, “A structural approach to operational semantics', Lecture Notes, Aarhus Univ. (1981).
R. Milner, ‘A Calculus of Communicating Systems', LNCS 92, SPRINGER-VERLAG (1980).
RACE Project, SPECS-Semantics,’ Code Generation: Presentation of the PAM and ASA models’ MP.A61.1 (1990).
D.A. Taubner, 'Finite Representations of CCS and TCSP programs by automata and Petri nets', LNCS 369, Springer (1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Doumenc, G., Monin, JF. (1993). The parallel abstract machine: A common execution model for FDTs. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024652
Download citation
DOI: https://doi.org/10.1007/BFb0024652
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56662-5
Online ISBN: 978-3-540-47623-8
eBook Packages: Springer Book Archive