Consistency, independence and consequences in UML and OCL models

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

Volumn 5668 LNCS, Issue , 2009, Pages 90-104

  Gogolla, Martin ^a   Kuhlmann, Mirco ^a   Hamann, Lars ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; BASED SPECIFICATION; FINITE SEARCH SPACE; TEST CASE; UML MODEL;

MODEL CHECKING; TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 70350378886     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02949-3_8     Document Type: Conference Paper

References (19)

1. Avila, C., Flores, G., Cheon, Y.: A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. In: Arabnia, H.R., Reza, H. (eds.) Software Engineering Research and Practice, pp. 403-408. CSREA Press (2008)
2. Aichernig, B.K., Salas, P.A.: Test Case Generation by OCL Mutation and Constraint Solving. In: QSIC, pp. 64-71. IEEE Computer Society, Los Alamitos (2005)
3. Bohling, J.: Snapshot Generation for Validating UML Class Diagrams. Diploma Thesis, University of Bremen, Computer Science Department (2001) (in German)
4. Baruzzo, A., Comini, M.: Static Verification of UML Model Consistency. In: Hearnden, D., Süß, J.G., Baudry, B., Rapin, N. (eds.) Proc. 3rd Workshop Model Design and Validation, October 2006, pp. 111-126. University of Queensland (2006)
5. Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A Subset of Precise UML for Model-Based Testing. In: A-MOST, pp. 95-104. ACM, New York (2007)
6. Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS, vol. 4334. Springer, Heidelberg (2007)
7. Cabot, J., Clarisó, R.: UML/OCL Verification in Practice. In: Van Baelen, S., Van Der Straeten, R., Mens, T. (eds.) ChaMDE 2008, 1st Int. Workshop Challenges in Model Driven Software Engineering, pp. 31-35 (2008), http://ssel.vub.ac.be/ChaHDE08/
8. Gaudel, M.-C: Testing can be Formal, Too. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, pp. 82-96. Springer, Heidelberg (1995)
9. Gogolla, M., Richters, M., Bohling, J.: Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation. In: Eloff, J., Engelbrecht, A., Kotze, P., Eloff, M. (eds.) Proc. Annual Research Conf. South African Institute of Computer Scientists and Information Technologists, pp. 248-257. ACM, New York (2003)
10. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling 4(4), 386-398 (2005)
11. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27-34 (2007)
12. Hughes, J.: QuickCheck Testing for Fun and Profit. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 1-32. Springer, Heidelberg (2006)
13. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
14. Marcano-Kamenoff, R., Lévy, N.: Transformation Rules of OCL Constraints into B Formal Expressions. In: CSDUML 2002, Workshop Critical Systems Development with UML. 5th Int. Conf. Unified Modeling Language, Dresden, Germany (September 2002)
15. OMG, (ed.): OMG Unified Modeling Language Specification, Version 2.0. OMG (2004)
16. OMG (ed.): OMG Query, View and Transformation Specification (QVT). OMG (2005)
17. Shen, W., Compton, K., Huggins, J.: A Toolset for Supporting UML Static and Dynamic Model Checking. In: Proc. 16th IEEE Int. Conf. Automated Software Engineering (ASE), pp. 147-152. IEEE Computer Society, Los Alamitos (2001)
18. Trong, T.D., Ghosh, S., France, R.B., Hamilton, M., Wilkins, B.: UMLAnT: An Eclipse Plugin for Animating and Testing UML Designs. In: Eclipse 2005, Proc. 2005 OOPSLA Workshop Eclipse Technology eXchange, pp. 120-124. ACM Press, New York (2005)
19. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)