Validating UML and OCL models in USE by automatic snapshot generation

Software and Systems Modeling

Volumn 4, Issue 4, 2005, Pages 386-398

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

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Class diagram; Invariant; Model testing; Model validation; OCL; Pre and postcondition; Reasoning about models; Snapshot; Test case; UML

Indexed keywords

EID: 31044452475     PISSN: 16191366     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10270-005-0089-y     Document Type: Article

References (24)

1. OMG: (ed) OMG Unified Modeling Language Specification, Version 1.5. OMG. OMG Document formal/03-03-01, http://www.omg.org (2003, March)
2. J., Warmer, A.: Kleppe, (1998) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Reading, MA
3. Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds.) Proceedings of 3rd International Conference on Unified Modeling Language (UML'2000), LNCS 1939, pp. 278-293, Springer, Berlin Heidelberg New York (2000)
4. ArgoUML Team.: The ArgoUML Tool. http://www.argouml.tigris.org (2003)
5. Boldsoft.: The Boldsoft OCL Tool Model Run. http://www.boldsoft.com, Boldsoft, Stockholm, Boldsoft, Stockholm, Sweden (2002)
6. Chiorean, D.: Using OCL Beyond Specifications. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Proceedings UML'2001 Workshop Rigorous Development, pp. 57-68, Lecture Notes in Informatics (LNI), German Informatics Society, Bonn, Germany (2001)
7. Ahrendt, W., Baar, T., Beckert, B., Giese, M., Habermalz, E., Hähnle, R., Menzel, W., Schmitt, P.H.: The KeY approach: Integrating object oriented design and formal verification. In: Ojeda-Aciego, M., de Guzmáln, I.P., Brewka, G., Pereira, L.M. (eds.) Proceedings of 8th European Workshop Logics in AI (JELIA'2000), LNCS 1919, pp. 21-36. Springer, Berlin (2000)
8. Canals, A., Cassaing, Y., Jammes, A., Pomies, L., Roblet, E.: How You could Use NEPTUNE in the Modelling Process. J. Object Technol. 2 (1), 69-83 (2003) http://www.jot.fm
9. Richters, M., Gogolla, M.: On Formalizing the UML Object Constraint Language OCL. In: Ling, T.-W., Ram, S., Lee, M.L., (eds.) Proceedings 17th International Conference on Conceptual Modeling (ER'1998), pp. 449-464. Springer, Berlin, LNCS 1507 (1998)
10. M., Richters, M.: Gogolla, (2001) OCL - Syntax, Semantics and Tools. In: T., Clark, J., Warmer, (eds.) Advances in Object Modelling with the OCL, Springer, Berlin pp. 43-69 LNCS 2263
11. Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S. (eds.) Proceedings of 3rd International Conference on Unified Modeling Language (UML'2000), pp. 265-277. Springer, Berlin, LNCS 1939 (2000)
12. W.A.: Scott, (1997) Building Object Applications: Patterns, Architecture, Design, Construction, and Testing. Prentice-Hall, Englewood Cliffs, NJ
13. Oliver, I., Kent, S.: Validation of object-oriented models using animation. In: Proceedings EuroMicro, vol. 2, pp. 2237-2243. IEEE, Los Alamitos (1999)
14. Jézéquel, J.-M., Le Guennec, A., Pennaneach, F.: Validating distributed software modeled with the Unified Modeling Language. In: Bézivin, J., Muller, P.-A. (eds.) Proceedings of 1st International Workshop on Unified Modeling Language (UML'1998), LNCS 1618, pp. 365-377, Springer, Berlin Heidelberg New York (1999)
15. Dupuy, S., du Bousquet, L.: A multi-formalism approach for the validation of UML models. Formal Aspects Comput. 12 (4), 228-230 (2000)
16. Muthiayen, D.: Real-Time Reactive System Development - A Formal Approach Based on UML and PVS. PhD thesis, Department of Computer Science at Concordia University, Montreal, Canada (2000, January)
17. Fröhlich, P., Link, J.: Automated Test Case Generation from Dynamic Models. In: Bertino, E. (ed.) Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP'2000), pp. 472-491. Springer, Berlin, LNCS 1850 (2000)
18. Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: The Alloy constraint analyzer. In: Proceedings of the International Conference on Software Engineering (ICSE'2000), pp. 730-733. ACM, New York (2000)
19. Martin, H.: Using test hypotheses to build a UML model of object-oriented smart card applications. In Rault, J.-C. (ed.) Proceedings of the International Conference on Software and Systems Engineering and their Applications (ICSSEA'1999), Paris (1999)
20. Graubmann, P., Rudolph, E.: Hypermscs and sequence diagrams for use case modelling and testing. In: Evans, A., Kent, S., Selic, B. (eds.) Proceedings of the 3rd International Conference on Unified Modeling Language (UML'2000), LNCS 1939, pp. 32-46, Springer, Berlin Heidelberg New York (2000)
21. Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) Proceedings of the 3rd International Conference on Unified Modeling Language (UML'2000), LNCS 1939, pp. 383-395. Springer, Berlin Heidelberg New York (2000)
22. Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France R., Rumpe B. (eds.) Proceedings of the 2nd International Conference on Unified Modeling Language (UML'1999), LNCS 1723, pp. 416-429. Springer, Berlin (1999)
23. Agerholm, S., Larsen, P.G.: A Lightweight Approach to Formal Methods. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-TRENDS'1998), LNCS 1641, pp. 168-183. Springer, Berlin (1999)
24. Bohling, J.: Generation of Snapshots for the Validation of UML Class Diagrams. (In German). Diploma Thesis, University of Bremen (2001)