Model checking visual specification of requirements

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 202-209

  Shrotri, U ^a   Bhaduri, P ^a   Venkatesh, R ^a  

^a TATA CONSULTANCY SERVICES   (India)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; GRAPHIC METHODS; MODEL CHECKING; SEMANTICS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

CLASS INVARIANTS; FORMAL NOTATIONS; FORMAL SEMANTICS; PRE AND POST CONDITIONS; SOFTWARE APPLICATIONS; SOFTWARE DEVELOPMENT PROCESS; VISUAL NOTATIONS; VISUAL SPECIFICATION;

FORMAL METHODS;

COMPUTER PROGRAMS; SPECIFICATIONS; TOOLS;

EID: 30944449823     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236222     Document Type: Conference Paper

References (14)

1. P. Bhaduri, R. Venkatesh, and P. Sampath. Specification and verification of object models with TLA and TLC. Technical report, TRDDC, Mar. 2003.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
3. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency checking and visualization of OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, volume 1939 of LNCS, pages 294-308. Springer, 2000.
4. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. A visualization of OCL using collaborations. In M. Gogolla and C. Kobryn, editors, UML 2001, volume 2185 of LNCS, pages 257-271. Springer, 2001.
5. D. D'Souza and A. Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley, 1998.
6. T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph transformation language based on UML and Java. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Proc. Theory and Application to Graph Transformations, volume 1764 of LNCS. Springer, 1998.
7. J. Howse, J. Molina, F. Taylor, S. Kent, and S. Gill. Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, pages 299-324, 2001.
8. S. Kent. Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. In OOPSLA'97, pages 327-341. ACM Press, 1997.
9. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
10. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
11. OMG. The Unified Modeling Language (UML) Specification - Version 1.4, Sept. 2001. Joint submission to the Object Management Group (OMG) http://www.omg.org/technology/uml/index.htm.
12. Mastercraft. Tata Consultancy Services. http://www.tata-mastercraft.com.
13. Business modelling study - the library. TriReme International Ltd. white paper. Available at http://www.trireme.com/whitepapers/process/business-modelling.html.
14. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.