Visualizing requirements in UML models

First International Workshop on Visualization in Requirements Engineering, REV 2006

Volumn , Issue , 2007, Pages

  Konrad, Sascha ^a   Goldsby, Heather ^a   Lopez, Karli ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

ADAPTIVE LIGHT CONTROL SYSTEM; GUIDED SIMULATION; SYSTEM REQUIREMENTS;

REQUIREMENTS ENGINEERING;

EID: 34948910218     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REV.2006.11     Document Type: Conference Paper

References (32)

1. P. Ammann, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In Proc. of the Second IEEE Internat. Conf. on Formal Eng. Methods, page 46, December 09-11 1998.
2. ARTiSAN Soft.. Real-time Studio. http://www.artisansw. com, 2005.
3. W. Chan. Temporal-logic queries. In CAV '00: Proc. of the 12th Internat. Conf. on Computer Aided Verification, pages 450-463, London, UK, 2000. Springer-Verlag.
4. M. Chechik and D. O. Paun. Events in property patterns. In Proc. of the 5th and 6th Internat. SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, pages 154-167. Springer-Verlag, 1999.
5. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In Proc. of the 21st Internat. Conf. on Soft. Eng., pages 411-420. IEEE Computer Society Press, 1999.
6. A. Engels, L. Feijs, and S. Mauw. Test generation for intelligent networks using model checking. In E. Brinksma, editor, Proc. of the Third Internat. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1217 in Lecture Notes in Computer Science, pages 384-398. Springer, 1997.
7. A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. In ESEC/FSE-7: Proc. of the 7th European Soft. Eng. Conf. held jointly with the 7th ACM SIGSOFT Internat. Symposium on Foundations of Soft. Eng., pages 146-162, London, UK, 1999. Springer-Verlag.
8. H. Goldsby, B. H. C. Cheng, S. Konrad, and S. Kamdoum. Enabling a roundtrip Eng. process for the modeling and analysis of embedded systems. In Proc. of the ACM/IEEE 8th Internat. Conf. on Model Driven Eng. Languages and Systems, Genova, Italy, October 2006. (Accepted to appear).
9. A. Gurfinkel, M. Chechik, and B. Devereux. Temporal logic query checking: A tool for model exploration. IEEE Transactions on Soft. Eng., 29(10):898-914, 2003.
10. G. Hamon, L. de Moura, and J. Rushby. Generating efficient test sets with a model checker. In 2nd Internat. Conf. on Soft. Eng. and Formal Methods, pages 261-270, Beijing, China, Sept. 2004. IEEE Computer Society.
11. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart playout of behavioral requirements. In Proc. of the 4th Internat. Conf. On Formal Methods in Computer-Aided Design (FMCAD'02), Portland, OR, 2002.
12. M. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao. Auto-generating test sequences using model checkers: A case study. In Third Internat. Workshop on Formal Approaches to Soft. Testing (FATES), pages 42-59, Montreal, Canada, October 2003.
13. W.-M. Ho, J.-M. Jézéquel, A. L. Guennec, and E Pennaneac. UMLAUT: An extendible UML transformation framework. In Proc. of the Automated Soft. Eng. Conf, Florida, October 1999.
14. G. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2004.
15. H. S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In TACAS '02: Proc. of the 8th Internat. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pages 327-341, London, UK, 2002. Springer-Verlag.
16. I-logix. Rhapsody and Statemate. www.ilogix.com/fs_prod.htm.
17. IBM. Rational Rose XDE Developer. http: //www-306.ibm.com/Soft./awdtools/ developer/rosexde/, 2005.
18. A. Knapp, S. Merz, and C. Rauh. Model checking timed UML state machines and collaborations. In W. Damm and E.-R. Olderog, editors, 7th Internat. Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT2002), volume 2469 of Lecture Notes in Computer Science, pages 395-414, Oldenburg, Germany, Sept. 2002. Springer-Verlag.
19. S. Konrad and B. H. C. Cheng. Facilitating the construction of specification pattern-based properties. In Proc. of the IEEE Internat. Requirements Eng. Conf. (RE05), Paris, France, August 2005.
20. S. Konrad and B. H. C. Cheng. Real-time specification patterns. In Proc. of the Internat. Conf. on Soft. Eng. (ICSE05), St Louis, MO, USA, May 2005.
21. S. Konrad and B. H. C. Cheng. Automated Analysis of Natural Language Properties for UML Models, volume 3844 of Lecture Notes in Computer Science, chapter 6, pages 48-57. Springer-Verlag GmbH, January 2006.
22. S. Konrad, B. H. C. Cheng, and L. A. Campbell. Object analysis patterns for embedded systems. IEEE Transactions on Soft. Eng., 30(12):970-992, December 2004.
23. S. Konrad, H. Goldsby, K. Lopez, and B. H. Cheng. Visualizing requirements in UML models. Technical Report MSU-CSE-06-23, Computer Science and Eng., Michigan State University, East Lansing, Michigan, June 2006.
24. J. Lilius and I. P. Paltor. vUML: A tool for verifying UML models. In Proc. of the 14th IEEE Internat. Conf. on Automated Soft. Eng., page 255, Washington, DC, USA, 1999. IEEE Computer Society.
25. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., 1992.
26. W. E. McUmber and B. H. C. Cheng. A general framework for formalizing UML with formal languages. In Proc. of the IEEE Internat. Conf. on Soft. Eng. (ICSE01), Toronto, Canada, May 2001.
27. E. Mikk, Y. Lakhnech, M. Siegel, and G. J. Holzmann. Implementing Statecharts in Promela/Spin. In WIFT '98: Proc. of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, page 90, Washington, DC, USA, 1998. IEEE Computer Society.
28. U. Nickel, J. Niere, and A. Zündorf. The FUJABA environment. In Proc. of the 22nd Internat. Conf. on Soft. Eng., pages 742-745, New York, NY, USA, 2000. ACM Press.
29. Object Management Group, http://www.omg.org, 2006.
30. S. Rayadurgam and M. P. E. Heimdahl. Coverage based testcase generation using model checkers. In Proc. of the 8th IEEE Internat. Conf. and Workshop on the Eng. of Computer Based Systems, 2001.
31. Telelogic. ObjectGEODE. http://www.telelogic.com/, 2005.
32. Tigris.org. ArgoUML: The project home, http://argouml.tigris.org/, 2005.