Strengthening validation of model behavior through filmstrip templates in the tool USE
Article No.: 13, Pages 1 - 5
Abstract
This contribution focuses on testing behavioral aspects of UML and OCL models. In our approach, a so-called model validator can automatically generate test cases (object models) by using manually written configurations for object models and additional OCL invariants. However, describing configurations can be a challenging task, especially for novel or part-time modelers. This paper presents an extension of the tool USE (UML-based Specification Environment) with valuable options for (a) filmstrip model configuration and (b) filmstrip templates in the model validation process. Developers specify the configuration for (application) model elements and accordingly, a filmstrip model configuration and a filmstrip template are automatically generated. A filmstrip template identifies recurring model parts which can reduce model validation time. The newly added functionalities strengthen the underlying testing technique by making it more developer-friendly.
References
[1]
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray. 2010. On challenges of model transformation from UML to Alloy. Software and Systems Modeling 9, 1 (2010), 69--86.
[2]
Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, and Benoit Baudry. 2017. Advanced and efficient execution trace management for executable domain-specific modeling languages. Software & Systems Modeling (2017).
[3]
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, and Burkhart Wolff. 2010. A Specification-Based Test Case Generation Method for UML/OCL. In Proc. MODELS, Jürgen Dingel and Arnor Solberg (Eds.). Springer, 334--348.
[4]
Nisha Desai, Martin Gogolla, and Frank Hilken. 2017. Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives. In Proc. Workshop Executable Modeling, Loli Burgueño and et al. (Eds.), Vol. 2019. CEUR-WS.org, Austin, TX, USA, 88--94.
[5]
Martin Gogolla, Fabian Büttner, and Mark Richters. 2007. USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69, 1 (2007), 27 -- 34.
[6]
Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, and Robert B. France. 2014. From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. In Proc. Modellierung, Hans-Georg Fill and et al. (Eds.). GI, LNI 225, Wien, Österreich, 273--288.
[7]
Martin Gogolla, Frank Hilken, and Khanh-Hoang Doan. 2018. Achieving Model Quality through Model Validation, Verification and Exploration. Journal on Computer Languages, Systems and Structures, Elsevier, NL 54 (2018), 474--511. Online 2017-12-02.
[8]
Carlos A. González, Fabian Büttner, Robert Clarisó, and Jordi Cabot. 2012. EMFtoCSP: A Tool for the Lightweight Verification of EMF Models. In Proc. First Int. Workshop on Formal Methods in Soft. Eng., FormSERA, 2012, Stefania Gnesi and et al. (Eds.). 44--50.
[9]
Tiago Massoni, Rohit Gheyi, and Paulo Borba. 2004. A UML Class Diagram Analyzer. In In 3rd Int. Workshop on Critical Systems Development with UML. 143--153.
[10]
Object Management Group. 2014. Object Constraint Language specification.
[11]
Object Management Group. 2017. Unified Modeling Language specification.
Index Terms
- Strengthening validation of model behavior through filmstrip templates in the tool USE
Recommendations
USE: A UML-based specification environment for validating UML and OCL
The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the ...
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool
BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and ApplicationsThis 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) ...
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 6368This 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ï ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2020
713 pages
Copyright © 2020 Owner/Author.
Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
In-Cooperation
- IEEE CS
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 26 October 2020
Check for updates
Author Tags
Qualifiers
- Demonstration
Conference
MODELS '20
Sponsor:
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
October 16 - 23, 2020
Virtual Event, Canada
Acceptance Rates
Overall Acceptance Rate 144 of 506 submissions, 28%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 47Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in