Performability modeling of exceptions-aware systems in multiformalism tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6751 LNCS, Issue , 2011, Pages 257-272

  Barbierato, Enrico ^a   Gribaudo, Marco ^b   Iacono, Mauro ^c   Marrone, Stefano ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b POLITECNICO DI MILANO   (Italy)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EXCEPTION HANDLING; FAULT TOLERANCE MECHANISMS; HARDWARE AND SOFTWARE; PERFORMABILITY;

STOCHASTIC SYSTEMS;

FAULT TOLERANCE;

EID: 79959368541     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21713-5_19     Document Type: Conference Paper

References (22)

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)
2. Berry, G.: Preemption and concurrency. Foundations of Software Technology and Theoretical Computer Science, 72-93 (1993)
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)
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)
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)
6. Cristian, F.: Exception handling and software fault tolerance. IEEE Transactions on Computers 31, 531-540 (1982)
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
8. Ganesh, J., Dugan, J.: Automatic synthesis of dynamic fault trees from uml system models. In: International Symposium on Software Reliability Engineering(2002)
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)
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
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
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)
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)
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)
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
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)
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)
20. Romanovsky, A.: A looming fault tolerance software crisis? SIGSOFT Softw. Eng. Notes 32, 1-4 (2007)
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)
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