Visual specification and analysis of use cases

Proceedings SoftVis '05 - ACM Symposium on Software Visualization

Volumn , Issue , 2005, Pages 77-85

  Kholkar, Deepali ^a,b   Krishna, G Murali ^a   Shrotri, Ulka ^a   Venkatesh, R ^a  

^a TRDDC ^*  (India)

^b TRDDC   (India)

Author keywords

Model Checking; Requirements; UML; Visual Notation

Indexed keywords

MODEL CHECKING; REQUIREMENTS; UML; VISUAL NOTATION;

COMPETITIVE INTELLIGENCE; COMPUTER SIMULATION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 30944447677     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1056018.1056029     Document Type: Conference Paper

References (13)

1. BENSALEM, S., GANESH, V., LAKHNECH, Y., NOZ, C. M., OWRE, S., RUESS, H., RUSHBY, J., RUSU, V., SAÏDI, H., SHANKAR, N., SINGERMAN, E., AND TIWARI, A. 2000. An overview of SAL. In LFM 2000: Fifth NASA Langley Formal Methods Workshop, C. M. Holloway, Ed., NASA Langley Research Center, 187-196.
2. BOOCH, G., RUMBAUGH, J., AND JACOBSON, I. 1998. The Unified Modeling Language User Guide. Addison-Wesley.
3. BOTTONI, P., KOCH, M., PARISI-PRESICCE, F., AND TAENTZER, G. 2000. Consistency checking and visualization of OCL constraints. In UML 2000, Springer, A. Evans, S. Kent, and B. Selic, Eds., vol. 1939 of LNCS, 294-308.
4. BOTTONI, P., KOCH, M., PARISI-PRESICCE, F., AND TAENTZER, G. 2001. A visualization of OCL using collaborations. In UML 2001, Springer, M. Gogolla and C. Kobryn, Eds., vol. 2185 of LNCS, 257-271.
5. COCKBURN, A. 2000. Writing Effective Use Cases. Addison-Wesley Longman Publishing Co., Inc.
6. D'SOUZA, D., AND WILLS, A. 1998. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley.
7. FISCHER, T., NIERE, J., TORUNSKI, L., AND ZÜNDORF, A. 1998. Story diagrams: A new graph transformation language based on UML and Java. In Proc. Theory and Application to Graph Transformations, Springer, H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, Eds., vol. 1764 of LNCS.
8. HOWSE, J., MOLINA, F. TAYLOR, J., KENT, S., AND GILL, S. 2001. Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 299-324.
9. JACKSON, D. 2002. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 2, 256-290.
10. KENT, S. 1997. Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. In OOPSLA'97, ACM Press, 327-341.
11. SHROTRI, U., BHADURI, P., AND VENKATESH, R. 2003. Model checking visual specification of requirements. In International Conference on Software Engineering and Formal Methods (SEFM 2003), IEEE Computer Society Press, Brisbane, Australia, 202-209.
12. Business modelling study - the library. TriReme International Ltd. white paper. Available at http://www.trireme.com/whitepapers/process/business.modelling.html.
13. WARMER, J., AND KLEPPE, A. 1998. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley.