Automatically detecting and visualising errors in UML diagrams

Requirements Engineering

Volumn 7, Issue 4, 2002, Pages 264-287

  Campbell, Laura A ^a   Cheng, Betty H C ^a   McUmber, William E ^a   Stirewalt, R E K ^a  

^a Michigan State University   (United States)

Author keywords

Formal specifications; Model checking; Simulation; UML

Indexed keywords

EID: 52649095905     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s007660200020     Document Type: Article

References (42)

1. Bose P. Automated translation of UML models of architecture for verification and simulation using SPIN. In: Proceedings of IEEE international conference on automated software engineering (ASE'99), Cocoa Beach, FL, October 1999
2. Eshuis R, Wieringa R. Requirements-level semantics for UML statecharts. In: Smith S, Talcott C (eds). Formal methods for open object-based distributed systems (FMOODS) IV, October 2000. Kluwer, Dordrecht, 2000, pp 121-140
3. Latella D, Majzik I, Massink M. Towards a formal operational semantics of UML statechart diagrams. In: Proceedings of FMOODS'99, IFIP TC6/WG6.1, 3rd international conference on formal methods for open object-based distributed systems, Florence, Italy, 15-18 February 1999. Kluwer, Dordrecht, 1999
4. Shroff M, France RB. Towards a formalization of UML class structures in Z. In: Proceedings of the 21st annual international computer software and applications conference (COMPSAC'97). IEEE Computer Society, Los Alamitos, CA, 1997, pp 646-651
5. McUmber WE, Cheng BHC. A general framework for formalizing UML with formal languages. In: Proceedings of IEEE international conference on software engineering (ICSE'01), Toronto, Canada, May 2001
6. Douglass BP. Doing hard time: developing real-time systems with UML: objects, frameworks, and patterns. Addison-Wesley, Reading, MA, 1999
7. Ganssle J. Navigating through new development environments. Embedded Sys Programming Mag 1999; 12(May)
8. McUmber WE, Cheng BHC. UML-based analysis of embedded systems using a mapping to VHDL. In: Proceedings of IEEE high assurance software engineering (HASE'99), Washington, DC, November 1999
9. McUmber WE. A generic framework for formalizing objectoriented modeling notations for embedded systems development. PhD thesis, Michigan State University, August 2000
10. Holzmann GJ. The model checker SPIN. IEEE Trans Software Eng 1997;23(May)
11. Booch G, Rumbaugh J, Jacobson I. The Unified Modeling Language user guide. Addison-Wesley, Reading, MA, 1999
12. Rational Corporation. Rational Rose. URL: www.rational.com
13. Nentwich C, Emmerich W, Finkelstein A. Static consistency checking for distributed specifications. In: Proceedings of 16th IEEE international conference on automated software engineering (ASE'01), San Diego, CA, November 2001
14. Lutz RR. Targeting safety-related errors during software requirements analysis. In: SIGSOFT'93 symposium on the foundations of software engineering, 1993
15. Honeywell. DoME. URL: www.htc.honeywell.com/dome
16. Clarke EM, Grumberg O, Peled D. Model checking. MIT Press, Cambridge, MA, 1999
17. Owicki SS, Lamport L. Proving liveness properties of concurrent systems. ACM Trans Prog Lang Syst 1982;4(July):455-495
18. Dwyer MB, Avrunin GS, Corbett JC. Patterns in property specifications for finite-state verification. In: Proceedings of the 21st international conference on software engineering (ICSE'99), May 1999
19. Jackson D, Schechter I, Shlyakhter I. Alcoa, the Alloy constraint analyzer. In: Proceedings of the international conference on software engineering (ICSE'OO), Limerick, Ireland, June 2000
20. Jackson D. Alloy: a lightweight object modelling notation. ACM Trans Software Eng Methodol 2002; 11 (April)
21. Emerson EA, Halpern JY. 'Sometimes' and 'Not Never' revisited: on branching versus linear time temporal logic. J ACM 1986;33(January):151-178
22. Jones WD. Keeping cars from crashing. IEEE Spectrum 2001 (September)
23. Harel D. Statecharts: a visual formalism for complex systems. Sci Comput Programming 1987;8(July):231-274
24. Egyed A, Medvidovic N. A formal approach to heterogeneous software modeling. In: Proceedings of the 3rd international conference on foundational aspects of software engineering, Berlin, Germany, 2000
25. Grundy J, Hosking J. Directions in modelling large-scale software architectures. In: 2000 conference on software: methods and tools, November 2000
26. Ho WM, Jezequel J-M, Guennec AL, Pennaneac'h F. UMLAUT: an extendible UML transformation framework. In: Proc. of IEEE international conference on automated software engineering (ASE'99), Cocoa Beach, FL, October 1999
27. Kaveh N, Emmerich W. Deadlock detection in distributed object systems. In: Proceedings of the 8th European software engineering conference (ESEC'01), Vienna, Austria, September 2001
28. Bourdeau RH, Cheng BHC. A formal semantics of object models. IEEE Trans Software Eng 1995;21(October):799-821
29. Cheng BHC, Wang EY. Formalizing and integrating the dynamic model for object-oriented modeling. IEEE Trans Software Eng 2002;28(August):747-762, August 2002.
30. A shorter, preliminary version appeared in Proceedings of IEEE International Conference on Software Engineering (ICSE'97)
31. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-oriented modeling and design. Prentice-Hall, Englewood Cliffs, NJ, 1991
32. Turner KJ (ed). Using formal description techniques: an introduction to Estelle, LOTOS and SDL. Wiley, New York, 1993
33. Cheng BHC, Campbell LA, Wang EY. Enabling automated analysis through the formalization of object-oriented modeling diagrams. In: Proceedings of the IEEE international conference on dependable systems and networks (FTCS-30 and DCCA-8), New York, June 2000
34. Campbell LA, Cheng BHC. Object-oriented modeling and automated analysis of a telemedicine application. In: Proceedings of the IEEE international workshop on software specification and design (IWSSD-10), San Diego, CA, November 2000
35. Telelogic. ObjectGEODE. URL: www.telelogic.com
36. I-logix. Rhapsody. URL: www.ilogix.com
37. Tigris. ArgoUML features. http://argouml.tigris.org/features.html, 2001
38. MetaCase Consulting. Domain-specific modeling: 10 times faster than UML. White paper, MetaCase Consulting, January 2001
39. Lilius J, Paltor IP. vUML: a tool for verifying UML models. In: Proceedings of the IEEE international conference on automated software engineering (ASE'99), Cocoa Beach, FL, October 1999
40. Leue S, Holzmann G. v-Promela: a visual, object-oriented language for SPIN. In: 2nd IEEE international symposium on object-oriented real-time distributed computing, May 1999. IEEE Computer Society Press, Los Alamitos, CA, 1999
41. Smith MH, Holzmann GJ, Etessami K. Events and constraints: a graphical editor for capturing logical requirements of programs. In: Proceedings of the 5th IEEE international symposium on requirements engineering, Toronto, Canada, August 2001.
42. Heitmeyer C, Kirby JJ, Labaw B, Archer M, Bharadwaj R. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Trans Software Eng 1998;24(November):927-948