More Web Proxy on the site http://driver.im/

Article

Performability modeling of exceptions-aware systems in multiformalism tools

Authors:

Enrico Barbierato,

Marco Gribaudo,

Stefano MarroneAuthors Info & Claims

ASMTA'11: Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications

Pages 257 - 272

Published: 20 June 2011 Publication History

Abstract

Exceptions constitute a widely accepted fault tolerance mechanism, suitable to manage both hardware and software faults. In performability analysis it is a common practice to exploit software tools capable of describing a system using models expressed in various formalisms. Often these tools provide extensibility features that allow augmenting the primitives of a given formalism, but in most cases they lack of exception support. This paper aims at filling this gap, by introducing a general mechanism to add support for exception handling to most of the existing formalisms. The validity of the proposed method is supported by two modelling cases that benefit in clarity and economy.

References

[1]

Bail, W.: An approach to defining requirements for exceptions. In: Cheraghchi, H.S., Lee, S.H., Romanovsky, A., Babu, C. S. (eds.) Advanced Topics in Exception Handling Techniques. LNCS, vol. 4119, pp. 243-254. Springer, Heidelberg (2006).

Digital Library

[2]

Berry, G.: Preemption and concurrency. Foundations of Software Technology and Theoretical Computer Science, 72-93 (1993).

Digital Library

[3]

Bohnenkamp, H., et al.: Modest: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering 32(10), 812-830 (2006).

Digital Library

[4]

Cheng, Y., Chen, C.T., Jwo, J.S.: Exception handling: an architecture model and utility support. In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), December 2005, p. 8 (2005).

Digital Library

[5]

Clark, G., et al.: The mobius modeling tool. In: Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM 2001), p. 241. IEEE Computer Society, Washington, DC, USA (2001).

Digital Library

[6]

Cristian, F.: Exception handling and software fault tolerance. IEEE Transactions on Computers 31, 531-540 (1982).

Digital Library

[7]

Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Information and Software Technology 50(12), 1281-1294 (2008), http://www.sciencedirect.com/science/article/B6V0B-4RY6WMV-1/2/ aa067258b1416b2969e509911a572d42

Digital Library

[8]

Ganesh, J., Dugan, J.: Automatic synthesis of dynamic fault trees from uml system models. In: International Symposium on Software Reliability Engineering (2002).

Digital Library

[9]

Garavel, H., Sighireanu, M.: On the introduction of exceptions in e-lotos. In: Proc. Conf. Formal Techniques for Networked and Distributed Systems (FORTE 1996), pp. 469-484 (1996).

Digital Library

[10]

Group, O.M.: Unified modeling language standards version 2.3, http://www.omg.org/spec/UML/2.3/

[11]

Hamadi, R., Benatallah, B., Medjahed, B.: Self-adapting recovery nets for policy-driven exception handling in business processes. Distrib. Parallel Databases 23, 1-44 (2008), http://portal.acm.org/citation.cfm?id=1340318.1340339

Digital Library

[12]

Hartmanns, A., Hermanns, H.: A modest approach to checking probabilistic timed automata. In: Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2009), pp. 187-196. IEEE Computer Society, Washington, DC, USA (2009), http://dx.doi.org/10.1109/QEST.2009.41

Digital Library

[13]

Hutton, G., Wright, J.: Compiling Exceptions Correctly. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 211-227. Springer, Heidelberg (2004).

[14]

Iacono, M., Gribaudo, M.: Element based semantics in multi formalism performance models. In: MASCOTS, pp. 413-416. IEEE, Los Alamitos (2010).

Digital Library

[15]

Jacobs, B., Muller, P., Piessens, F.: Sound reasoning about unchecked exceptions. In: Fifth IEEE International Conference on Software Engineering and Formal Methods( SEFM 2007), pp. 113-122 (September 2007).

Digital Library

[16]

de Lemos, R., Romanovsky, A.: Exception handling in a cooperative object-oriented approach. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 1999), pp. 3-13 (1999).

Digital Library

[17]

Mohan, C., Lindsay, B.: Efficient commit protocols for the tree of processes model of distributed transactions. SIGOPS Oper. Syst. Rev. 19, 40-52 (1985), http://doi.acm.org/10.1145/850770.850772

Digital Library

[18]

Romanovsky, A.: An exception handling framework for n-version programming in object-oriented systems. In: Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), pp. 226-233 (2000).

Digital Library

[19]

Romanovsky, A.: Exception handling in component-based system development. In: 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), pp. 580-586 (2001).

Digital Library

[20]

Romanovsky, A.: A looming fault tolerance software crisis? SIGSOFT Softw. Eng. Notes 32, 1-4 (2007).

Digital Library

[21]

Romanovsky, A.: On exceptions, exception handling, requirements and software lifecycle. In: IEEE International Symposium on High-Assurance Systems Engineering, vol. 0, p. 301 (2007).

Digital Library

[22]

Störrle, H.: Semantics of control-flow in uml 2.0 activities. In: Proceedings of IEEE Symposium on Visual Languages - Human Centric Computing, September 2004, pp. 235-242 (2004), http://dx.doi.org/10.1016/j.entcs.2004.08.046

Digital Library

Cited By

Barbierato EGribaudo MIacono MHorvath ABuchholz PCortellessa VMuscariello LSquillante M(2013)Modeling apache hive based applications in big data architecturesProceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools10.4108/icst.valuetools.2013.254398(30-38)Online publication date: 10-Dec-2013
https://dl.acm.org/doi/10.4108/icst.valuetools.2013.254398

Index Terms

Performability modeling of exceptions-aware systems in multiformalism tools
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Modeling methodologies

Index terms have been assigned to the content through auto-classification.

Recommendations

Reliability-aware exceptions: tolerating intermittent faults in microprocessor array structures
DATE '14: Proceedings of the conference on Design, Automation & Test in Europe

In future technology nodes, reliability is expected to become a first-order design constraint. Faults encountered in a chip can be classified into three categories: transient, intermittent, and permanent. Fault classification allows a chip to take the ...
Multiformalism to Support Software Rejuvenation Modeling
ISSREW '12: Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops

The study of software aging and rejuvenation is based on models that conjugate the complexity of architectural models with the problem of time dependence of parameters. Exploiting the metaphors of common performance-oriented modeling formalisms (such as ...
Mastering global exceptions with policy-aware recommendations
ICSE '15: Proceedings of the 37th International Conference on Software Engineering - Volume 2

Global exceptions flow across different methods from the place where they are raised to the place where they are handled. As a consequence, modifications in the exception handling code may inadvertently affect other parts of a program, possibly ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

ASMTA'11: Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications

June 2011

346 pages

ISBN:9783642217128

Editors:
Khalid Al-Begain
University of Glamorgan, Faculty of Advanced Technology, UK
,
Simonetta Balsamo
Università Ca' Foscari di Venezia, Dipartimento di Scienze Ambientali, Informatica e Statistica, Venezia, Italy
,
Andrea Marin
Università Ca' Foscari di Venezia, Dipartimento di Scienze Ambientali, Informatica e Statistica, Venezia, Italy
,
Dieter Fiems
Ghent University, Department TELIN, Gent, Belgium

Sponsors

University Ca' Foscari

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 June 2011

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Barbierato EGribaudo MIacono MHorvath ABuchholz PCortellessa VMuscariello LSquillante M(2013)Modeling apache hive based applications in big data architecturesProceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools10.4108/icst.valuetools.2013.254398(30-38)Online publication date: 10-Dec-2013
https://dl.acm.org/doi/10.4108/icst.valuetools.2013.254398

View Options

View options

Media

Figures

Other

Tables

View Table of Contents