Skip to main content
SpringerLink
Log in

Various simulations and refinements

  • Technical Contributions
  • Conference paper
  • First Online:
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (REX 1989)

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

Abstract

In this paper we deal with the problem of specification and design of concurrent programs. The basic notion of refinement is defined in labelled transition system. The concept of simulation is presented and proved to be sound for correctness of implementation. The paper provides a rigorous method for the formal development of communicating processes by integrating the event-based approach (such as CSP [3] and CCS [7]) with the state-based technique (such as Z [10] and VDM [4]). The methodology is illustrated by investigating various kinds of process refinement and their corresponding simulation rules.

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. He Jifeng. Specification and Design of the Transaction Processing Systems with Various Interfaces. Internal Report, Oxford University (1989).

    Google Scholar 

  2. He Jifeng. Process Refinement. In ”The Theory and Practice of Refinement” J McDermid (eds), Butterworths (1989).

    Google Scholar 

  3. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International (1985).

    Google Scholar 

  4. C.B. Jones. Software Development: a Rigorous Approach. Prentice-Hall International (1980).

    Google Scholar 

  5. M.B. Josephs. A State-Based Approach to Communicating Processes. Distributed Computing 3 (1), (1988) 9–18.

    Google Scholar 

  6. R. Keller. Formal verification of Parallel Programs. CACM 19 (7), (1976) 371–384.

    Google Scholar 

  7. R. Milner. Communication and Concurrency. Prentice Hall International (1989).

    Google Scholar 

  8. D. Park. Concurrency and Automata on Infinite Sequences. LNCS 104, (1981) 167–183.

    Google Scholar 

  9. G. Plotkin. A Structured Approach to Operational Semantics. DAINI FN-19, Computer Science Dept. Aarhus University.

    Google Scholar 

  10. J.M. Spivey. The Z Notation-A Reference Manual. Prentice-Hall International (1989).

    Google Scholar 

  11. B.A. Sufrin and He Jifeng. Specification, Analysis and Refinement of Interactive Processes. in preparation.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Research Group Oxford University, 8-11 Keble Road, OX1 3QD, Oxford, UK

    He Jifeng

Authors
  1. He Jifeng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. W. de Bakker W. -P. de Roever G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jifeng, H. (1990). Various simulations and refinements. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX 1989. Lecture Notes in Computer Science, vol 430. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52559-9_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-52559-9_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52559-2

  • Online ISBN: 978-3-540-47035-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation