Skip to main content
SpringerLink
Log in

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool

  • Conference paper
  • First Online:
Behavior Modeling -- Foundations and Applications

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6368))

Abstract

This paper discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative to sequence diagrams. We assess the introduced features and propose selection mechanisms which should be available in both kinds of interaction diagrams. We emphasize the role that OCL can play for such selection mechanisms.

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

Notes

  1. 1.

    http://www.toll-collect.de/en/home.html.

  2. 2.

    UML metamodel novices might skip this section on first reading and continue with the next section. UML metamodel followers are invited to dive deep.

  3. 3.

    In the current version of the UML metamodel, a lifeline can only represent connectable elements like properties or parameters. Since our tool allows a lifeline to represent a concrete instance, this fact cannot be expressed using the current UML metamodel. This is an open issue reported to the OMG [5].

References

  1. Büttner, F., Bartels, U., Hamann, L., Hofrichter, O., Kuhlmann, M., Gogolla, M., Rabe, L., Steimke, F., Rabenstein, Y., Stosiek, A.: Model-driven standardization of public authority data interchange. Sci. Comput. Program. 89, 162–175 (2014)

    Article  Google Scholar 

  2. Büttner, F., Gogolla, M.: Modular embedding of the object constraint language into a programming language. In: Simao, A., Morgan, C. (eds.) SBMF 2011. LNCS, vol. 7021, pp. 124–139. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Calegari, D., Cengarle, M.V., Szasz, N.: UML 2.0 Interactions with OCL/RT Constraints. In: FDL, pp. 167–172. IEEE (2008)

    Google Scholar 

  4. Chen, H.Y., Li, C., Tse, T.H.: Transformation of UML Interaction Diagrams into Contract Specifications for Object-oriented Testing. In: IEEE [12], pp. 1298–1303 (2007)

    Google Scholar 

  5. Chonoles, M.M.J.: Issue 15123: Sequence Diagram and Communication Diagrams should Support Instances as Lifelines (uml2-rtf), March 2010. http://www.omg.org/issues/uml2-rtf.html#Issue15123

  6. Georg, G., France, R.: An Activity Theory Language: USE Implementation. Colorado State University, Computer Science, Technical report CS-13-101 (2013)

    Google Scholar 

  7. 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  Google Scholar 

  8. 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 Modellierung (MODELLIERUNG’2014), pp. 273–288. GI, LNI 225 (2014)

    Google Scholar 

  9. Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, Independence and Consequences in UML and OCL models. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 90–104. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  10. Hamann, L., Hofrichter, O., Gogolla, M.: On integrating structure and behavior modeling with OCL. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 235–251. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  11. Hilken, F., Niemann, P., Gogolla, M., Wille, R.: Filmstripping and unrolling: a comparison of verification approaches for UML and OCL behavioral models. In: Seidl, M., Tillmann, N. (eds.) TAP 2014. LNCS, vol. 8570, pp. 99–116. Springer, Heidelberg (2014)

    Google Scholar 

  12. Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 42–51. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  13. Machado, P.D.L., de Figueiredo, J.C.A., Lima, E.F.A., Barbosa, A.E.V., Lima, H.S.: Component-based Integration Testing from UML Interaction Diagrams. In: IEEE [12], pp. 2679–2686 (2007)

    Google Scholar 

  14. McNeile, A.T., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. Softw. Syst. Model. 5(1), 91–107 (2006)

    Article  Google Scholar 

  15. Micskei, Z., Waeselynck, H.: The many meanings of UML2 sequence diagrams: a survey. Softw. Syst. Model. 10(4), 489–514 (2011)

    Article  Google Scholar 

  16. Mostefaoui, F., Vachon, J.: Design-level detection of interactions in aspect-UML models using Alloy. J. Object Technol. 6(7), 137–165 (2007)

    Article  Google Scholar 

  17. Nayak, A., Samanta, D.: Model-based test cases synthesis using UML interaction diagrams. ACM SIGSOFT Softw. Eng. Notes 34(2), 1–10 (2009)

    Article  Google Scholar 

  18. OMG, (ed.) UML Superstructure 2.4.1. Object Management Group (OMG), August 2011

    Google Scholar 

  19. OMG, (ed.) Object Constraint Language, Version 2.3.1. OMG (2012). http://www.omg.org. OMG Document

  20. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language 2.0 Reference Manual. Addison-Wesley, Massachusetts (2003)

    Google Scholar 

  21. Selic, B.: The Theory and Practice of Modeling Language Design. Tutorial at MODELS 2012 (2012). http://models2012.info/

  22. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley (2003)

    Google Scholar 

  23. Wendland, M.-F., Schneider, M., Haugen, Ø.: Evolution of the UML interactions metamodel. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 405–421. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  24. Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 351–357. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Martin Gogolla, Lars Hamann, Frank Hilken & Matthias Sedlmeier

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lars Hamann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frank Hilken
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matthias Sedlmeier
    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. Open University of the Netherlands, Heerlen, The Netherlands

    Ella Roubtsova

  2. Metamaxim, London, United Kingdom

    Ashley McNeile

  3. Technical University of Denmark, Kgs. Lyngby, Denmark

    Ekkart Kindler

  4. Osnabrück University of Applied Sciences, Osnabrück, Germany

    Christian Gerth

Appendix: Complete USE Model for Toll Collect

Appendix: Complete USE Model for Toll Collect

figure a
figure b
figure c
figure d
figure e

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Gogolla, M., Hamann, L., Hilken, F., Sedlmeier, M. (2015). Modeling Behavior with Interaction Diagrams in a UML and OCL Tool. In: Roubtsova, E., McNeile, A., Kindler, E., Gerth, C. (eds) Behavior Modeling -- Foundations and Applications. Lecture Notes in Computer Science(), vol 6368. Springer, Cham. https://doi.org/10.1007/978-3-319-21912-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-21912-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-21911-0

  • Online ISBN: 978-3-319-21912-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation