Four automated approaches to analyze the quality of UML sequence diagrams

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2007, Pages 415-421

  Van Amstel, Marcel F ^a   Lange, Christian F J ^a   Chaudron, Michel R V ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA STRUCTURES; INTERACTIVE COMPUTER GRAPHICS; MODEL CHECKING; QUALITY CONTROL; SOFTWARE TESTING;

METRICS DESCRIBING PROPERTIES; RESEARCH MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 37349113001     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2007.119     Document Type: Conference Paper

References (22)

1. R. Alur, K. Etessami, and M. Yahhakakis. Inference of message sequence charts. IEEE Transactions on Software engineering, 29(7):623-633, July 2003.
2. R. Alur, G. J. Holzmann, and D. Peled. An analyzer for message sequence charts. Software - Concepts and Tools, 17(2):70-77, Mar. 1996.
3. R. Alur and M. Yannakakis. Model checking of message sequence charts. In Proceedings of the 10th International Conference on Concurrency Theory, pages 114-129. Springer-Verlag, Aug. 1999.
4. L. A. Campbell, B. H. C. Cheng, W. E. McCumber, and R. E. K. Stirewalt. Automatically detecting and visualising errors in UML diagrams. Requirements Engineering, 7(4):264-287, Dec. 2002.
5. E. M. Clarke Jr., O. Grumberg, and D. A. Peled. Model Checking. The MIT press, 1999.
6. R. Eshuis. Symbolic model checking of UML activity diagrams. ACM Transactions on Software Engineering and Methodology, 15(1):1-38, Jan. 2006.
7. B. Genest, A. Muscholl, and D. Peled. Message sequence charts. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets: Advances in Petri Nets, pages 536-558. Springer-Verlag, Sept. 2004.
8. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
9. ITU-T, Geneva. ITU-T Recommendation Z.120: Message Sequence Charts (MSC), 1993.
10. T. Jussila, J. Dubrovin, T. Junttila, T. Latvala, and I. Porres. Model checking dynamic and hierarchical UML state machines. In Proceedings of the 3rd International Workshop on Model Development, Validation and Verification, pages 94-110. Le Commissariat à l'Energie Atomique, Oct. 2006.
11. P. B. Ladkin and S. Leue. What do message sequence charts mean? In Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques, pages 301-316. North-Holland Publishing Co., Oct. 1993.
12. P. B. Ladkin and S. Leue. Interpreting message flow graphs. Formal Aspects of Computing, 7(5):473-509, Sept. 1995.
13. C. F. J. Lange and M. R. V. Chaudron. An empirical assessment of completeness in UML designs. In Proceedings of the 8th Internation Conference on Empirical Assessment in Software Engineering, pages 111-121. IEE, May 2004.
14. C. F. J. Lange and M. R. V. Chaudron. Effects of defects in uml models: an experimental investigation. In Proceeding of the 28th International Conference on Software Engineering, pages 401-411. ACM Press, May 2006.
15. C. F. J. Lange, M. R. V. Chaudron, and J. Muskens. In practice: UML software architecture and design description. IEEE Software, 23(2):40-46, Mar. 2006.
16. S. Leue and P. B. Ladkin. Implementing and verifying MSC specifications using PROMELA/XSPIN. In Proceedings of the 2nd SPIN workshop, Sept. 1996.
17. O. I. Lindland, G. Sindre, and A. Sølvberg. Understanding quality in conceptual modeling. IEEE Software, 11(2):42-49, March 1994.
18. Object Management Group. Unified Modeling Language, UML 2.0 Superstructure Specification, July 2005.
19. T. Schäfer, A. Knapp, and S. Merz. Model checking UML state machines and collaborations. In Proceedings of the Workshop on Software Model Checking, pages 357-369. Elsevier Science Publishers B.V., July 2001.
20. M. F. van Amstel. Design and assessment of analysis techniques for UML sequence diagrams. Master's thesis, Eindhoven University of Technology, July 2006.
21. F. van Ham. Using multilevel call matrices in large software projects. In Proceedings of the 2003 IEEE Symposium on Information Visualization, pages 29-34. IEEE Computer Society, Oct. 2003.
22. R. K. Yin. Case Study Research: Design and Methods. Sage Publications, Inc., third edition, 2003.