SpringerLink
Log in

Global-to-Local Approach to Rigorously Develo** Distributed System with Exception Handling

  • Regular Paper
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Cooperative distributed system covers a wide range of applications such as the systems for industrial controlling and business-to-business trading, which are usually safety-critical. Coordinated exception handling (CEH) refers to exception handling in the cooperative distributed systems, where exceptions raised on a peer should be dealt with by all relevant peers in a consistent manner. Some CEH algorithms have been proposed. A crucial problem in using these algorithms is how to develop the peers which are guaranteed coherent in both normal execution and exceptional execution. Straightforward testing or model checking is very expensive. In this paper, we propose an effective way to rigorously develop the systems with correct CEH behavior. Firstly, we formalize the CEH algorithm by proposing a Peer Process Language to precisely describe the distributed systems and their operational semantics. Then we dig out a set of syntactic conditions, and prove its sufficiency for system coherence. Finally, we propose a global-to-local approach, including a language describing the distributed systems from a global perspective and a projection algorithm, for develo** the systems. Given a well-formed global description, a set of peers can be generated automatically. We prove the system composed of these peers satisfies the conditions, that is, it is always coherent and correct for CEH.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Zorzo A F, Romanovsky A B, Xu J, Randell B, Stroud R J, Welch I. Using coordinated atomic actions to design safety-critical systems: A production cell case study. Softw. Pract. Exper., 1999, 29(8): 677–697.

    Article  Google Scholar 

  2. Capozucca A, Guelfi N, Pelliccione P. The Fault-Tolerant Insulin Pump Therapy. RODIN Book, Springer-Verlag, 2006, pp.59–79.

  3. Beder D M, Romanovsky A B, Randell B, Snow C R, Stroud R J. An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling. SIGOPS Oper. Syst. Rev., October 2000, 34(4): 21–31.

    Article  Google Scholar 

  4. Campbell R H, Randell B. Error recovery in asynchronous systems. IEEE Trans. Softw. Eng., August 1986, 12(8): 811–826.

    Google Scholar 

  5. Banâtre J-P, Issarny V. Exception handling in communication sequential processes. Technical Report 660, INRIA-Rennes, IRISA, 1992.

  6. Xu J, Romanovsky A B, Randell B. Concurrent exception handling and resolution in distributed object systems. IEEE Trans. Parallel and Distributed Systems, October 2000, PDS-11(10): 1019–1032.

    Google Scholar 

  7. Xu J, Randell B, Romanovsky A B, Stroud R J, Zorzo A F, Canver E, von Henke F W. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Trans. Computers, 2002, 51(2): 164–179.

    Article  Google Scholar 

  8. Vachon J, Buchs D, Buffo M, Marzo G D, Randell S B, Romanovsky S, Stroud R, Xu J. Coala — A formal language for coordinated atomic actions. Technical Report, third year report, ESPRIT Long Term Research Project 20072 on Design for Validation, 1998.

  9. Issarny V. Concurrent exception handling. In Proc. Advances in Exception Handling Techniques, 2001, LNCS 2022, Springer-Verlag, pp.111–127.

  10. Hoare C A R. Communicating Sequential Processes. Prentice Hall, 1985.

  11. Goodenough J B. Exception handling: Issues and a proposed notation. Communications of ACM, December 1975, 18(12): 683–696.

    Article  MATH  MathSciNet  Google Scholar 

  12. Xu J, Randell B, Romanovsky A B, Rubira C M F, Stroud R J, Wu Z. Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Proc. the 25th Int. Symp. Fault-Tolerant Computing, Pasadena, CA, USA, June 27–30, 1995, pp.499–509.

  13. Qiu Z, Zhao X, Cai C, Yang H. Towards the theoretical foundation of choreography. In Proc. WWW 2007, Banff, Canada, May 8–12, 2007, pp.973–982.

  14. Cai C, Qiu Z, Yang H, Zhao X. Coordinated exception handling in Web service. Technical Report, Institute of Mathematics, Peking University, 2007. Available as Preprint 2007–23, http://www.math.pku.edu.cn:8000/en/preindex.php.

  15. Zhang L, Krintz C, Nagpurkar P. Supporting exception handling for futures in Java. In Proc. the 5th Int. Symp. Principles and Practice of Programming in Java, Lisboa, Portugal, ACM International Conference Proceeding Series, Vol. 272, 2007, pp.175–184.

  16. Randell B. System structure for software fault tolerance. IEEE Trans. Soft. Eng., 1975, SE–1(2): 220–232.

    Google Scholar 

  17. Romanovsky A. Looking ahead in atomic actions with exception handling. In Proc. the 20th Symposium on Reliable Distributed Systems, New Orleans, USA, IEEE Computer Society, Oct. 28–31, 2001, pp.142–151.

  18. Xu J, Romanovsky A B, Randell B. Coordinated exception handling in distributed object systems: From model to system implementation. In Proc. 18th Int. Conf. Distributed Computing Systems, Amsterdam, The Netherlands, May 29, 1998, pp.12–21.

  19. Romanovsky A, Kienzle J. Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems. In Proc. Advances in Exception Handling Techniques, LNCS 2022, Springer, 2001, pp.147–164.

  20. Perry D E, Romanovsky A, Tripathi A. Current trends in exception handling. IEEE Trans. Softw. Eng., 2000, 26(9): 817–819.

    Article  Google Scholar 

  21. Hagen C, Alonso G. Exception handling in workflow management systems. IEEE Trans. Softw. Eng., 2000, 26(10): 943–958.

    Article  Google Scholar 

  22. Tartanoglu F, Issarny V, Romanovsky A B, Lévy N. Coordinated forward error recovery for composite Web services. In Proc. the 22nd Symposium on Reliable Distributed Systems, Florence, Italy, Oct. 6–8, 2003, pp.167–176.

  23. Filho F C, Romanovsky A, Rubira C M F. Verification of coordinated exception handling. In Proc. SAC 2006, Dijon, France, April 23–27, 2006, pp.680–685.

  24. Carbone M, Honda K, Yoshida N, Milner R. A theoretical basis of communication-centred concurrent programming. Technical Report, W3C., 2006, Available at http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf.

Download references

Author information

Authors and Affiliations

  1. LMAM and Department of Informatics, School of Mathematical Science, Peking University, Bei**g, 100871, China

    Chao Cai, Zong-Yan Qiu (Senior Member, CCF, Member, IEEE) & **ang-Peng Zhao

  2. College of Computer Sciences, Bei**g University of Technology, Bei**g, 100124, China

    Hong-Li Yang

Authors
  1. Chao Cai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zong-Yan Qiu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hong-Li Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. **ang-Peng Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chao Cai.

Additional information

This work is supported by the National Natural Science Foundation of China under Grant Nos. 90718002 and 60573161.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cai, C., Qiu, ZY., Yang, HL. et al. Global-to-Local Approach to Rigorously Develo** Distributed System with Exception Handling. J. Comput. Sci. Technol. 24, 238–249 (2009). https://doi.org/10.1007/s11390-009-9220-9

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-009-9220-9

Keywords

Search

Navigation