research-article

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool

Authors:

Martin Gogolla,

Matthias Sedlmeier,

Quang Dung NguyenAuthors Info & Claims

BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications

Article No.: 4, Pages 1 - 12

https://doi.org/10.1145/2630768.2630772

Published: 22 July 2014 Publication History

Abstract

This contribution 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 a systematic set of features which should be available in both kinds of interaction diagrams. We emphasize the role that OCL can play for such a feature set.

References

[1]

F. Büttner and M. Gogolla. Modular Embedding of the Object Constraint Language into a Programming Language. In A. Simao and C. Morgan, editors, Proc. 14th Brazilian Symposium on Formal Methods (SBMF'2011), pages 124--139. Springer, Berlin, LNCS 7021, 2011.

Digital Library

[2]

D. Calegari, M. V. Cengarle, and N. Szasz. UML 2.0 Interactions with OCL/RT Constraints. In FDL, pages 167--172. IEEE, 2008.

[3]

H. Y. Chen, C. Li, and T. H. Tse. Transformation of UML Interaction Diagrams into Contract Specifications for Object-oriented Testing. In IEEE {7}, pages 1298--1303.

[4]

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

[5]

M. Gogolla, F. Büttner, and M. Richters. USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming, 69:27--34, 2007.

Digital Library

[6]

L. Hamann, O. Hofrichter, and M. Gogolla. Towards Integrated Structure and Behavior Modeling with OCL. In R. France, J. Kazmeier, R. Breu, and C. Atkinson, editors, Proc. 15th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'2012), pages 235--251. Springer, Berlin, LNCS 7590, 2012.

Digital Library

[7]

IEEE, editor. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007. IEEE, 2007.

[8]

A. Knapp and J. Wuttke. Model Checking of UML 2.0 Interactions. In T. Kühne, editor, MoDELS Workshops, volume 4364 of Lecture Notes in Computer Science, pages 42--51. Springer, 2006.

Digital Library

[9]

P. D. L. Machado, J. C. A. de Figueiredo, E. F. A. Lima, A. E. V. Barbosa, and H. S. Lima. Component-based Integration Testing from UML Interaction Diagrams. In IEEE {7}, pages 2679--2686.

[10]

A. T. McNeile and N. Simons. Protocol Modelling: A Modelling Approach that Supports Reusable Behavioural Abstractions. Software and System Modeling, 5(1):91--107, 2006.

[11]

Z. Micskei and H. Waeselynck. The Many Meanings of UML2 Sequence Diagrams: A Survey. Software & Systems Modeling, 10(4):489--514, 2011.

Digital Library

[12]

F. Mostefaoui and J. Vachon. Design-Level Detection of Interactions in Aspect-UML Models Using Alloy. Journal of Object Technology, 6(7):137--165, 2007.

[13]

A. Nayak and D. Samanta. Model-based Test Cases Synthesis using UML Interaction Diagrams. ACM SIGSOFT Software Engineering Notes, 34(2):1--10, 2009.

Digital Library

[14]

OMG, editor. UML Superstructure 2.4.1. Object Management Group (OMG), Aug. 2011.

[15]

OMG, editor. Object Constraint Language, Version 2.3.1. OMG, 2012. OMG Document, www.omg.org.

[16]

J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language 2.0 Reference Manual. Addison-Wesley, Reading, 2003.

[17]

J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 2003. 2nd Edition.

Digital Library

[18]

M.-F. Wendland, M. Schneider, and Ø. Haugen. Evolution of the UML Interactions Metamodel. In A. Moreira, B. Schätz, J. Gray, A. Vallecillo, and P. J. Clarke, editors, MoDELS, volume 8107 of Lecture Notes in Computer Science, pages 405--421. Springer, 2013.

[19]

P. Ziemann and M. Gogolla. OCL Extended with Temporal Logic. In M. Broy and A. Zamulin, editors, 5th Int. Conf. Perspectives of System Informatics (PSI'2003), pages 351--357. Springer, Berlin, LNCS 2890, 2003.

Cited By

Niemann PHilken FGogolla MWille RLethbridge T(2015)Extracting frame conditions from operation contractsProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351769(266-275)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351769
Niemann PHilken FGogolla MWille R(2015)Extracting frame conditions from operation contracts2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2015.7338257(266-275)Online publication date: Sep-2015
https://doi.org/10.1109/MODELS.2015.7338257

Index Terms

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool

Recommendations

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool
Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368

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ï ...
A New Approach for Generating LOTOS Specifications from UML Dynamic Models
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering

The use of UML Statechart and Communication diagrams for modeling dynamic behaviors of systems is very widespread. UML diagrams support developers by means of visual conceptual illustrations. However, the lacks of firm semantics for these diagrams make ...
On integrating structure and behavior modeling with OCL
MODELS'12: Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Precise modeling with UML and OCL traditionally focuses on structural model features like class invariants. OCL also allows the developer to handle behavioral aspects in form of operation pre- and postconditions. However, behavioral UML models like ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications

July 2014

72 pages

ISBN:9781450327916

DOI:10.1145/2630768

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

ECMFA: European Conference on Modelling Foundations and Applications

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 July 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

BM-FA '14

BM-FA '14: Behaviour Modelling-Foundations and Applications

July 22, 2014

York, United Kingdom

Acceptance Rates

BM-FA '14 Paper Acceptance Rate 8 of 9 submissions, 89%;

Overall Acceptance Rate 8 of 9 submissions, 89%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
158
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Niemann PHilken FGogolla MWille RLethbridge T(2015)Extracting frame conditions from operation contractsProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351769(266-275)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351769
Niemann PHilken FGogolla MWille R(2015)Extracting frame conditions from operation contracts2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2015.7338257(266-275)Online publication date: Sep-2015
https://doi.org/10.1109/MODELS.2015.7338257

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents