Modeling and analysis of exception handling by using UML statecharts

Lecture Notes in Computer Science

Volumn 3409, Issue , 2005, Pages 58-67

  Pintér, Gergely ^a   Majzik, István ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Exception handling; Formal methods; Model checking; UML

Indexed keywords

COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE;

BEHAVIORAL MODEL; CODE GENERATORS; UML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 24344441645     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31869-9_6     Document Type: Conference Paper

References (11)

1. Y. Ahronovitz, M. Huchard. Exceptions in Object Modeling. Finding Exceptions from the Elements of the Static Object Model. In A. Romanovsky et. al (eds): Exception Handling. LNCS 2022, Springer, pp 77-93, 2001.
2. D. Latella, I. Majzik, M. Massink. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. In Formal Aspects of Computing, 11(6), pp 637-664, Springer, 1999.
3. M. Samek. Practical Statecharts in C/C++. CMP Books, Kansas, USA, 2002.
4. M. Samek, P. Y. Montgomery. State Oriented Programming. Embedded Systems Programming, 2000.
5. J. D. Choi, D. Grove. M. Hind, V. Sarkar: Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. In Proc. Program Analysis for Software Tools and Eng., 1999.
6. S. Sinha, M. J. Harrold. Analysis and Testing of Programs with Exception-Handling Constructs. IEEE Trans, on Software Engineering, 26(9), 2000.
7. G. Brat, K. Havelund, S.J. Park, W. Visser. Java PathFinder: Second Generation of a Java Model Checker. In Proc. of CAV Workshop on Advances in Verification, 2000.
8. G. Booch, J. Rumbaugh, I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
9. G. Pintér, I. Majzik. Automatic Code Generation based on Formally Analyzed UML Statechart Models. In Proc. Workshop on Formal Methods for Railway Operation and Control Systems, pp. 45-52, l'Harmattan, Budapest, 2003.
10. C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, F. C. Filho. Exception Handling in the Development of Dependable Component-based Systems. Software Practice and Experience. 2003.
11. D. Varró, G. Varró, A. Pataricza. Checking General Safety Criteria on UML Statecharts. In Lecture Notes in Computer Science, number 2187. Springer Verlag, 46-55. 2003.