Skip to main content
SpringerLink
Log in

The parallel abstract machine: A common execution model for FDTs

  • Papers
  • Conference paper
  • First Online:
FME '93: Industrial-Strength Formal Methods (FME 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 670))

Included in the following conference series:

  • 127 Accesses

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).

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Berry, ‘Real Time Programming: special purpose or general languages', IFIP Congress (1989).

    Google Scholar 

  2. G. Berry AND G. Gonthier, ‘The Esterel Synchronous Programming Language: Design, semantics, implementation', INRIA RR-842 (1988).

    Google Scholar 

  3. F. Boussinot, ‘Réseaux de processus réactifs', Rapport de Recherche ENSMP-CMA 12/91 (1991).

    Google Scholar 

  4. F. Boussinot AND G. Doumenc, ‘Le langage Reactive C', Rapport de Recherche ENSMP-CMA 09/91 (1991).

    Google Scholar 

  5. 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).

    Google Scholar 

  6. 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)

    Google Scholar 

  7. D. Harel AND A. Pnueli, On the Development of Reactive Systems, Logic and Models of Concurent Systems, Springer-Verlag, pp. 477–498 (1985).

    Google Scholar 

  8. E. Najm, 'LOTOMATON: A Wide Spectrum Transformation Framework For LO-TOS', LOTUSPHERE, Lo/WP11/T1.2/N0019 (1990).

    Google Scholar 

  9. ISO IS 9074. Estelle — A formal Description Technique Based on an Extended State Transition Model (1989).

    Google Scholar 

  10. G.D. Plotkin, “A structural approach to operational semantics', Lecture Notes, Aarhus Univ. (1981).

    Google Scholar 

  11. R. Milner, ‘A Calculus of Communicating Systems', LNCS 92, SPRINGER-VERLAG (1980).

    Google Scholar 

  12. RACE Project, SPECS-Semantics,’ Code Generation: Presentation of the PAM and ASA models’ MP.A61.1 (1990).

    Google Scholar 

  13. D.A. Taubner, 'Finite Representations of CCS and TCSP programs by automata and Petri nets', LNCS 369, Springer (1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Soft Mountain, Ophira 2, route des Dolines Sophia-Antipolis, 06565, Valbonne, France

    Guillaume Doumenc

  2. Centre Lannion A, C. N. E. T., 2, route de Trégastel, BP 40, 22 301, Lannion Cedex

    Jean-Francois Monin

Authors
  1. Guillaume Doumenc
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Francois Monin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation