Skip to main content
SpringerLink
Log in

A transformation of monitor into communication synchronized parallel processes: A systematic refinement step in design

  • Papers
  • Conference paper
  • First Online:
Transformation-Based Reactive Systems Development (ARTS 1997)

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

  • 216 Accesses

Abstract

A systematic transformation of a program formed by a set of parallel processes, which invoke a monitor, into an equivalent program formed by the same set of parallel processes, but with a new parallel communicating process simulating the proper monitor, is introduced. Monitor invocations are replaced by simple rendez-vous communications with the new monitor process. The transformation is classified as a systematic (deterministic) refinement transformation since more detail is added and uncovered.

The place and functionality of the transformation within the Ramon Llull System, a development environment for concurrent and distributed programs being used at industry and academia, is commented and related to other transformations within it. Some extensions and modifications of the basic transformation are proposed, to widen its application scope.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P.A. Buhr, M. Fortier, M.H. Coffin, ‘Monitor classification', ACM Computing Surveys, Vol. 27, No. 1, March 1995.

    Google Scholar 

  2. P.B. Hansen, Operating System Principles, Prentice-Hall, 1973.

    Google Scholar 

  3. C.A.R. Hoare, ‘Monitors: An Operating System Structuring Concept', Communications ACM, October 1974, Vol. 17, N. 10, 549–557.

    Article  MATH  Google Scholar 

  4. C.A.R. Hoare, Communicating Sequential Processes, Comm. ACM, Vol. 21, N. 8, August 1978.

    Google Scholar 

  5. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985.

    MATH  Google Scholar 

  6. A.W. Roscoe, C.A.R. Hoare, The laws of OCCAM programming, Oxford University Computing Laboratory, Programming Research Group Report, Tech. Monograph PRG-53, February 1986.

    Google Scholar 

  7. R. Milner, A Calculus of Communicating Systems, Springer-Verlag, 1980.

    Google Scholar 

  8. R. Milner, Communication and Concurrency, Prentice-Hall 1989.

    Google Scholar 

  9. Z. Navabi, VHDL, Analysis and Modeling of Digital Systems, Mc-Graw Hill, N.Y., 1993.

    Google Scholar 

  10. J. Rozenblit, K. Buchenrieder, Codesign. Computer-aided software/hardware engineering, IEEE Press, Piscataway, N.J. 1995.

    Google Scholar 

  11. Michael Yoeli, Ed., Formal Verification of Hardware Design, IEEE Computer Society Press, Los Alamitos, California, 1990.

    Google Scholar 

  12. ISO DIS 8807: Information Processing Systems. Open System Interconnection. LOTOS A Formal Description Technique based on the Temporal Ordering of Observational Behavior, July 1988.

    Google Scholar 

  13. M. Bertran, F. Oller, F. Alvarez-Cuevas, A. Duran, M. Porta, ‘The Llull system (TLS). An integration of formalism and simulation for parallel-distributed and real-time software synthesis and development', Proc. Third AMAST Workshop on Real-Time Systems, Salt-Lake City, Utha, March 6–8, 1996.

    Google Scholar 

  14. M. Bertran, F. Alvarez-Cuevas, ... ‘A design environment with simulation and formal verification', Proc. 5th IEEE Communications. Soc. Computer Aided Modeling and Design of Communication Links and Networks, CAMAD'94, Princeton, New Jersey, USA, April 24–27, 1994.

    Google Scholar 

  15. M. Bertran, F. Oller, ... ‘An Environment for DSP System Development with Extended Abstract Types, and Dimensional Design (PADDE)', Proc. IEEE Intl. Conf. A.S.Signal Processing, ICASSP-93, Minneapolis, USA, April 1993, pp. I-449 to I-452.

    Google Scholar 

  16. M. Bertran, ‘PADD: A Schema Notation Integrating Parallelism and Abstraction', Report, E.T.S.E.Telecom. (UPC), Barcelona, Autumn 1989. Also in Proc. IEEE Com. Soc. CAMAD'92, Montebello, Quebec, Canada, 29 sept.–2 oct., 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Enginyeria La Salle, Universitat Ramon Llull, Passeig de la Bonanova 8, 08022, Barcelona, Spain

    Miquel Bertran

Authors
  1. Miquel Bertran
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Miquel Bertran Teodor Rus

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertran, M. (1997). A transformation of monitor into communication synchronized parallel processes: A systematic refinement step in design. In: Bertran, M., Rus, T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63010-4_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-63010-4_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63010-4

  • Online ISBN: 978-3-540-69058-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation