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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 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.
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
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)
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)
Calegari, D., Cengarle, M.V., Szasz, N.: UML 2.0 Interactions with OCL/RT Constraints. In: FDL, pp. 167–172. IEEE (2008)
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)
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
Georg, G., France, R.: An Activity Theory Language: USE Implementation. Colorado State University, Computer Science, Technical report CS-13-101 (2013)
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)
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)
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)
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)
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)
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)
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)
McNeile, A.T., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. Softw. Syst. Model. 5(1), 91–107 (2006)
Micskei, Z., Waeselynck, H.: The many meanings of UML2 sequence diagrams: a survey. Softw. Syst. Model. 10(4), 489–514 (2011)
Mostefaoui, F., Vachon, J.: Design-level detection of interactions in aspect-UML models using Alloy. J. Object Technol. 6(7), 137–165 (2007)
Nayak, A., Samanta, D.: Model-based test cases synthesis using UML interaction diagrams. ACM SIGSOFT Softw. Eng. Notes 34(2), 1–10 (2009)
OMG, (ed.) UML Superstructure 2.4.1. Object Management Group (OMG), August 2011
OMG, (ed.) Object Constraint Language, Version 2.3.1. OMG (2012). http://www.omg.org. OMG Document
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language 2.0 Reference Manual. Addison-Wesley, Massachusetts (2003)
Selic, B.: The Theory and Practice of Modeling Language Design. Tutorial at MODELS 2012 (2012). http://models2012.info/
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley (2003)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: Complete USE Model for Toll Collect
Appendix: Complete USE Model for Toll Collect
Rights 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)