Skip to main content
SpringerLink
Log in
Book cover

Program Transformation and Programming Environments pp 245–250Cite as

Verification of Processes Using Program Transformation

  • Conference paper

  • 70 Accesses

Part of the book series: NATO ASI Series ((NATO ASI F,volume 8))

Abstract

If we look at the rapid progress in computer applications with all these low-priced and powerful micro computers and signal processors, we can see a clear trend towards distributed systems, where many autonomous (often small) computers work together somehow to perform a given processing task, for example in plant control, communication systems, radar tracking etc. Logically, such systems are by very nature composed of a set of parallel interacting processes and the decomposition of the system software into processes, the specification of processes and systems and their verification are important topics.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. J. Goldsack, J. Kramer. “Invariants in the Application-oriented Specification of Control Systems”, Automatica, Vol 18, No 2, 1981, 71–76.

    Google Scholar 

  2. L Lamport. “Time, Clocks and the Ordering of Events in a Distributed System”, CACM, Vol. 21, No 7, 558–565.

    Google Scholar 

  3. M. Jackson. “Structure-oriented Programming” in this volume.

    Google Scholar 

  4. F. L. Bauer. “Report on a Wide Spectrum Language for Program Specification and Development”, TUM - 18104, 1981, TU München.

    Google Scholar 

  5. C. A. R. Hoare. “An Axiomatic Basis for Computer Programming”, CACM, Vol 12, No 10, 1969, 576–583.

    MATH  Google Scholar 

  6. E. W. Dijkstra. “A Discipline of Programming”, Prentice Hall, 1976

    MATH  Google Scholar 

  7. C. A. R. Hoare. “Communicating Sequential Processes”, CACM, Vol. 21 No 8, 1978, 666–677.

    MATH  Google Scholar 

  8. Reference Manual for the ADA Programming Language”, ACM, Spec. Pub., July 82.

    Google Scholar 

  9. C. A. R. Hoare. “A Calculus of Total Correctness for Communicating Processes”, Techn. Mon., PRG-23, April 81, Oxf. Univ., Comp. Lab.

    Google Scholar 

  10. B. Krieg-Brückner, D. C. Luckham. “ANNA: Towards a Language for Annotating ADA Programs”, ACM Sigplan Symp. on the ADA Programming Language, Dez. 80.

    Google Scholar 

  11. G. R. Andrews. “Distributed Programming Languages”, Proc. ACM 82, Conf., Okt. 82, 113–117.

    Google Scholar 

  12. M. Broy. “On Language Constructs for Concurrent Programs”, C0NPAR 81, Lecture Notes in Computer Science, Springer 81, 141–154.

    Google Scholar 

  13. J. L Petersen. “Petri Nets”, ACM Computing Surveys Vol. 9, No 3, 1977, 223–251

    Article  Google Scholar 

  14. M. Clint. “On the Use of History Variables”, Acta informatica 16 (1981), 15–30.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AEG-Telefunken Research Institute Ulm, Postfach 1730, D-7900, Ulm, W-Germany

    A. Kley

Authors
  1. A. Kley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Federal Republic of Germany

    Peter Pepper

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kley, A. (1984). Verification of Processes Using Program Transformation. In: Pepper, P. (eds) Program Transformation and Programming Environments. NATO ASI Series, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46490-4_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-46490-4_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-46492-8

  • Online ISBN: 978-3-642-46490-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation