Skip to main content
SpringerLink
Log in

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms

  • Conference paper
  • First Online:
Tests and Proofs (TAP 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10375))

Included in the following conference series:

Abstract

This tool paper discusses how model behavior expressed in a UML and OCL model can be analysed with filmstrips and classifying terms in the tool USE. Classifying terms are a means for systematic construction of test cases. In the case of behavior models these test cases correspond to testing the model with different sequence diagrams. We explain how behavior analysis can be carried out in the tool. We discuss lessons learnt from the case study and how conceptual and technical support can be improved.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69–86 (2010)

    Article  Google Scholar 

  2. Brosch, P., et al.: Towards scenario-based testing of UML diagrams. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 149–155. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30473-6_12

    Chapter  Google Scholar 

  3. Brucker, A.D., Krieger, M.P., Longuet, D., Wolff, B.: A specification-based test case generation method for UML/OCL. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 334–348. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21210-9_33

    Chapter  Google Scholar 

  4. Cabot, J., Clarisó, R., Riera, D.: Verifying UML/OCL operation contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 40–55. Springer, Heidelberg (2009). doi:10.1007/978-3-642-00255-7_4

    Chapter  Google Scholar 

  5. Cabot, J., Clarisó, R., Riera, D.: On the verification of UML/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1–23 (2014)

    Article  Google Scholar 

  6. Demuth, B., Wilke, C.: Model and object verification by using dresden OCL. In: Proceedings of the Russian-German WS Innovation Information Technologies: Theory and Practice, pp. 687–690 (2009)

    Google Scholar 

  7. Gogolla, M., Hilken, F., Doan, K.H., Desai, N.: Addendum to checking UML and OCL model behavior with filmstripping and classifying terms. Technical report, University of Bremen (2017). http://www.db.informatik.uni-bremen.de/publications/intern/GHDD2017ADD.pdf

  8. Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27–34 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Fill, H., Karagiannis, D., Reimer, U. (eds.) Proceedings of the Modellierung (Modellierung 2014), GI, LNI, vol. 225, pp. 273–288 (2014)

    Google Scholar 

  10. Gogolla, M., Vallecillo, A., Burgueno, L., Hilken, F.: Employing classifying terms for testing model transformations. In: Cabot, J., Egyed, A. (eds.) Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), pp. 312–321. ACM (2015)

    Google Scholar 

  11. Jackson, D.: Software Abstractions - Logic, Language, and Analysis. MIT Press, Cambridge (2006)

    Google Scholar 

  12. Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 415–431. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33666-9_27

    Chapter  Google Scholar 

  13. Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: class diagrams analysis using alloy revisited. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 592–607. Springer, Heidelberg (2011). doi:10.1007/978-3-642-24485-8_44

    Chapter  Google Scholar 

  14. Massoni, T., Gheyi, R., Borba, P.: A UML class diagram analyzer. In: 3rd International Workshop Critical Systems Development with UML, pp. 143–153 (2004)

    Google Scholar 

  15. Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 497–512. Springer, Heidelberg (2006). doi:10.1007/11901181_37

    Chapter  Google Scholar 

  16. Shen, W., Compton, K., Huggins, J.: A toolset for supporting UML static and dynamic model checking. In: Proceedings of the Computer Software and Applications Conference (COMPSAC 2002), pp. 147–152 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Database Systems Group, University of Bremen, Bremen, Germany

    Martin Gogolla, Frank Hilken, Khanh-Hoang Doan & Nisha Desai

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Hilken
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Khanh-Hoang Doan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Nisha Desai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Gogolla .

Editor information

Editors and Affiliations

  1. Technical University of Darmstadt, Darmstadt, Germany

    Sebastian Gabmeyer

  2. University of Oslo, Oslo, Norway

    Einar Broch Johnsen

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Gogolla, M., Hilken, F., Doan, KH., Desai, N. (2017). Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. In: Gabmeyer, S., Johnsen, E. (eds) Tests and Proofs. TAP 2017. Lecture Notes in Computer Science(), vol 10375. Springer, Cham. https://doi.org/10.1007/978-3-319-61467-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61467-0_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61466-3

  • Online ISBN: 978-3-319-61467-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation