Validation of UML and OCL models by automatic snapshot generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2863, Issue , 2003, Pages 265-279

  Gogolla, Martin ^a   Bohling, Jörn ^a   Richters, Mark ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MODELING LANGUAGES;

TEST CASE; VALIDATION TOOLS;

UNIFIED MODELING LANGUAGE;

EID: 0242370955     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_23     Document Type: Article

References (24)

1. W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hähnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I.P. de Guzmán, G. Brewka, and L. M. Pereira, editors, Proc. 8th European Workshop Logics in AI (JELIA'2000), LNCS 1919, pages 21-36. Springer, Berlin, 2000.
2. Sten Agerholm and Peter Gorm Larsen. A Lightweight Approach to Formal Methods. In Dieter Hutter, Werner Stephan, Paolo Traverso, and Markus Ullmann, editors, Proc. Int. Workshop Current Trends in Applied Formal Methods (FM-TRENDS'1998), LNCS 1641, pages 168-183. Springer, Berlin, 1999.
3. Scott W. Ambler. Building Object Applications: Patterns, Architecture, Design, Construction, and Testing. Prentice Hall, 1997.
4. Aynur Abdurazik and Jeff Offutt. Using UML collaboration diagrams for static checking and test generation. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), LNCS 1939, pages 383-395. Springer, 2000.
5. [Arg03] ArgoUML Team. The ArgoUML Tool. www.argouml.tigris.org, 2003.
6. [Boh01] Jörn Bohling. Generation of Snapshots for the Validation of UML Class Diagrams (In German). Diploma Thesis, University of Bremen, 2001.
7. [Bol02] Boldsoft. The Boldsoft OCL Tool Model Run. www.boldsoft.com, Boldsoft, Stockholm, 2002.
8. Augusti Canals, Yannick Cassaing, Antoine Jammes, Laurent Pomies, and Etienne Roblet. How You could Use NEPTUNE in the Modelling Process. Journal of Object Technology, 2(1): 69-83, 2003. www.jot.fm.
9. Dan Chiorean. Using OCL Beyond Specifications. In Andy Evans, Robert France, Ana Moreira, and Bernhard Rumpe, editors, Proc. UML'2001 Workshop Rigorous Development, pages 57-68. Lecture Notes in Informatics (LNI), German Informatics Society, 2001.
10. S. Dupuy and L. du Bousquet. A multi-formalism approach for the validation of UML models. Formal Aspects of Computing, 12(4): 228-230, 2000.
11. Peter Fröhlich and Johannes Link. Automated Test Case Generation from Dynamic Models. In Elisa Bertino, editor, Proc. 14th European Conf. Object-Oriented Programming (ECOOP'2000), pages 472-491. Springer, Berlin, LNCS 1850, 2000.
12. Peter Graubmann and Ekkart Rudolph. Hypermscs and sequence diagrams for use case modelling and testing. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), LNCS 1939, pages 32-46. Springer, 2000.
13. Heinrich Hussmann, Birgit Demuth, and Frank Finger. Modular architecture for a toolset supporting OCL. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proc. 3rd Int. Conference Unified Modeling Language (UML'2000), LNCS 1939, pages 278-293. Springer, 2000.
14. Jean-Marc Jézéquel, Alain Le Guennec, and François Pennaneach. Validating distributed software modeled with the Unified Modeling Language. In Jean Bézivin and Pierre-Alain Muller, editors, Proc. 1st Int. Workshop Unified Modeling Language (UML'1998), LNCS 1618, pages 365-377. Springer, 1999.
15. Daniel Jackson, Ian Schechter, and Ilya Shlyakhter. Alcoa: The Alloy constraint analyzer. In Proc. Int. Conf. Software Engineering (ICSE'2000), pages 730-733. ACM, New York, 2000.
16. H. Martin. Using test hypotheses to build a UML model of object-oriented smart card applications. In Jean-Claude Rault, editor, Proc. Int. Conf. Software and Systems Engineering and their Applications (ICSSEA'1999), 1999.
17. Darmalingum Muthiayen. Real-Time Reactive System Development - A Formal Approach Based on UML and PVS. PhD thesis, Department of Computer Science at Concordia University, Montreal, Canada, January 2000.
18. Jeff Offutt and Aynur Abdurazik. Generating tests from UML specifications. In Robert France and Bernhard Rumpe, editors, Proc. 2nd Int. Conf. Unified Modeling Language (UML'1999), LNCS 1723, pages 416-429. Springer, Berlin, 1999.
19. I. Oliver and S. Kent. Validation of object-oriented models using animation. In Proc. EuroMicro, Vol. 2, pages 2237-2243. IEEE, Los Alamitos, 1999.
20. OMG, editor. OMG Unified Modeling Language Specification, Version 1.5. OMG, March 2003. OMG Document fonnal/03-03-01, www.omg.org.
21. Mark Richters and Martin Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER'1998), pages 449-464. Springer, Berlin, LNCS 1507, 1998.
22. Mark Richters and Martin Gogolla. Validating UML Models and OCL Constraints. In Andy Evans and Stuart Kent, editors, Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000), pages 265-277. Springer, Berlin, LNCS 1939, 2000.
23. Mark Richters and Martin Gogolla. OCL - Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, pages 43-69. Springer, Berlin, LNCS 2263, 2001.
24. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.