Skip to main content
SpringerLink
Log in

A dynamic evolution for the specifications of distributed systems

  • Conference paper
  • First Online:
Concurrency and Parallelism, Programming, Networking, and Security (ASIAN 1996)

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

Included in the following conference series:

  • 115 Accesses

Abstract

In this paper, we describe an approach for extending distributed system specifications. These specifications are structured as a parallel composition of subsystem specifications. The approach consists of building a new specification Snew by adding a new behavior described by a specification Sadded to a specification Sold with preservation of the properties of Sold and Sadded as well as the structure of Sold. Snew has all the properties of Sold and Sadded. if Snew can perform whatever Sold (and Sadded) can perform, and it does not block where Sold (or Sadded) does not block. We apply our approach for extending the functionality of a basic Automatic Teller Machine.

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. E. Brinksma, G. Scollo and S. Steenbergen, LOTOS specifications, their implement ations and their tests, Protocol Specification, testing and verification, VI, Montreal, Canada, 1986.

    Google Scholar 

  2. R. De Nicola, Extensional Equivalences for Transition Systems, Acta Informatica, 24, 1987, pp. 211–237.

    Article  Google Scholar 

  3. F. Khendenk, Merging Behavior Specifications, J. Formal Methods in System Design, No.6, pp.259–293, 1995.

    Article  Google Scholar 

  4. M. Hennessy, Acceptances Trees, J. of ACM, Vol.32, No. 4, Oct. 1985, pp.896–928.

    Article  Google Scholar 

  5. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979,418p.

    Google Scholar 

  6. H. Ichikawa, K. Yamanaka and J. Kato, Incremental Specification in LOTOS, Protocol Specification, Testing and Verification X (1990), Ottawa, Canada, Logrippo, Probert and Ural (eds.), pp. 185–200

    Google Scholar 

  7. ISO — Information Processing Systems — Open Systems Interconnection, LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, Feb. 1989.

    Google Scholar 

  8. R. Keller, Formal verification of parallel programs, Communication of the ACM 19 July 1976, pp. 371–384.

    Article  Google Scholar 

  9. R. Milner, Communication and Concurrency, Prentice-Hall International, 1989.

    Google Scholar 

  10. S. Rudkin, Inheritance in Lotos, Formal description technique (FORTE), Sydney, Australia, 1991, pp. 415–430.

    Google Scholar 

  11. C. A. Vissers, G. Scollo and M. v. Sinderen, Architecture ans Specification Style in Formal Descriptions of Distributed Systems, Protocol Specification, Testing, and Verification, VIII, North-Holland, 1988, pp.189–204.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Design, Tohoku University of Art & Design, Yamagata, Japan

    Issam A. Hamid

  2. Department of Information & Operational Research, University of Montréal, Montréal, Canada

    Ferhat Khendek

Authors
  1. Issam A. Hamid
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ferhat Khendek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Joxan Jaffar Roland H. C. Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hamid, I.A., Khendek, F. (1996). A dynamic evolution for the specifications of distributed systems. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027801

Download citation

  • DOI: https://doi.org/10.1007/BFb0027801

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62031-0

  • Online ISBN: 978-3-540-49626-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation