article

Formalization of an architectural model for exception handling coordination based on CA action concepts

Authors:

David P. Pereira,

Ana C. V. de MeloAuthors Info & Claims

Science of Computer Programming, Volume 75, Issue 5

Pages 333 - 349

https://doi.org/10.1016/j.scico.2009.12.006

Published: 01 May 2010 Publication History

Abstract

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-inCommunicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors.

References

[1]

Abrial, J.R., The B-Book: Assigning Programs to Meanings. 2005. Cambridge University Press.

[2]

Anderson, T. and Lee, P.A., Fault Tolerance: Principles and Practice. 1990. 2nd edition. Springer-Verlag.

[3]

Arbab, F., Reo: A channel-based coordination model for component composition. Math. Struct. Comput. Sci. v14 i03. 329-366.

[4]

Beder, D.M., Romanovsky, A., Randell, B., Snow, C.R. and Stroud, R.J., An application of fault tolerance patterns and coordinated atomic actions to a problem in railway scheduling. SIGOPS Oper. Syst. Rev. v34 i4. 21-31.

[5]

P.H.S. Brito, R. de Lemos, F. Castor Filho, C.M.F. Rubira, Architecture-centric fault tolerance with exception handling. Technical Report IC-07-04, Unicamp, February 2007

[6]

Campbell, Roy H. and Randell, Brian, Error recovery in asynchronous systems. IEEE Trans. Softw. Eng. v12 i8. 811-826.

[7]

A. Capozucca, N. Guelfi, P. Pelliccione, The fault-tolerant insulin pump therapy, in: Proceedings of FM¿2005 REFT Workshop, 2005

[8]

F. Cristian, Exception handling and software fault tolerance, in: FTCS-25: Highlights from Twenty-Five Years, 1995, p. 120

[9]

de~Lemos, R., Guerra, P.A.C. and Rubira, C.M.F., A fault tolerant architectural approach for dependable systems. IEEE Softw. v23 i2. 80-87.

[10]

FDR2. Fdr2 user manual, last access June 2005. http://www.fsel.com/documentation/fdr2/html/index.html

[11]

Castor Filho, F., Romanovsky, A. and Rubira, C.M.F., Verification of coordinated exception handling. In: SAC ¿06: Proceedings of the 2006 ACM Symposium on Applied Computing, ACM Press, New York, NY, USA. pp. 680-685.

[12]

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

[13]

Issarny, V. and Banatre, J., Architecture-based exception handling. In: HICSS ¿01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, HICSS-34, vol. 9. IEEE Computer Society, Washington, DC, USA. pp. 9058

[14]

Jackson, Daniel, Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. v11 i2. 256-290.

[15]

Lamport, Leslie, The temporal logic of actions. Transactions on Programming Languages and Systems. v16. 872-923.

[16]

David P. Pereira, A framework for formally specifying software components with exception (Portuguese). Master's thesis, Department of Computer Science - University of São Paulo (IME/USP), 2007

[17]

ProBE. Process behaviour explorer user manual, January 2003. http://www.fsel.com/documentation/probe/probe-doc-html/html/index.html

[18]

Randell, B., System structure for software fault tolerance. In: Proceedings of the International Conference on Reliable Software, ACM Press, New York, NY, USA. pp. 437-449.

[19]

Randell, B. and Xu, J., The evolution of the recovery block concept. In: Software Fault Tolerance, John Wiley & Sons Ltd. pp. 1-22.

[20]

Romanovsky, A., Exception handling in component-based system development. In: 25th International Computer Software and Applications Conference, COMPSAC 2001, Invigorating Software Development, 8-12 October 2001, IEEE Computer Society, Chicago, IL, USA. pp. 580

[21]

Romanovsky, A. and Kienzle, J., Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems. In: Advances in Exception Handling Techniques, Springer-Verlag, New York. pp. 147-164.

[22]

Roscoe, A.W., The Theory and Practice of Concurrency. 1997. Prentice-Hall.

[23]

D. Schwier, F. von Henke, J. Xu, R.J. Stroud, A. Romanovsky, B. Randell, Formalization of the CA Action Concept Based on Temporal Logic. Technical report, ESPRIT Long Term Research Project 20072 on Design for Validation, p. 3-15, December 1997

[24]

F. Tartanoglu, V. Issarny, N. Levy, A. Romanovsky, Formalizing dependability mechanisms in B: From specification to development support, in: Proceedings of the ICSE¿2003 Workshop on Architecting Dependable Systems, Portland, OR, USA, May 2003

[25]

Jie Xu, B. Randell, A. Romanovsky, C.M.F. Rubira, R.J. Stroud, Zhixue Wu, Fault tolerance in concurrent object-oriented software through coordinated error recovery, in: Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers, Twenty-Fifth International Symposium on, pp. 499-508, June 1995

[26]

Xu, Jie, Romanovsky, Alexander, Stroud, Robert J., Zorzo, Avelino F., Canver, Ercument and von Henke, Friedrich, Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Trans. Comput. v51 i2. 164-179.

Cited By

(2017)Verifying integrity of exception handling in service-oriented softwareInternational Journal of Grid and Utility Computing10.1504/IJGUC.2017.0821338:1(7-21)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJGUC.2017.082133
Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033

Recommendations

A formal architectural model for exception handling coordination
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both ...
Concurrent Exception Handling in a Distributed Object-Oriented Computing Environment
ICPADS '00: Proceedings of the Seventh International Conference on Parallel and Distributed Systems: Workshops

In a distributed object-oriented computing environment, many exceptions would occur because many objects run concurrently on several computers connected by a network. Therefore, exceptions in distributed applications will be more complex than those in ...
Exception Handling and Software Fault Tolerance

Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Science of Computer Programming

Science of Computer Programming Volume 75, Issue 5

May, 2010

86 pages

ISSN:0167-6423

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2010.

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 01 May 2010

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

(2017)Verifying integrity of exception handling in service-oriented softwareInternational Journal of Grid and Utility Computing10.1504/IJGUC.2017.0821338:1(7-21)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1504/IJGUC.2017.082133
Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents