Enhancing Development and Consistency of UML Models and Model Executions with USE Studio Demo
The UML and OCL tool USE (UML-based Specification Environment) has been developed over more than one decade offering domain-specific languages for describing (1)~UML class and statechart models, (2)~OCL constraints for invariants~(on classes and states) and pre- and postconditions~(on operations and transitions), and (3)~SOIL (Simple Ocl-like Imperative Language) command sequences for (3a)~operation implementations and (3b)~executions of model test cases. The three languages have been originally developed as independent textual languages intended for conventional editing. This contribution introduces a new integrated development environment for the three languages allowing the developer projectional editing features. We discuss a number of advantages for model development in a user interface called USE Studio: (1)~completion mechanisms for language syntax elements and already defined user model elements, (2)~structured, focused views on related language elements (e.g., one common view on all model associations), (3)~consistency guarantees between the underlying model and model executions, and (4)~basic common refactorings for the model and model executions.
Fri 23 OctDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:15 | B6-Verification, Testing and ExecutionTechnical Track at Room B Chair(s): Daniel Strüber Radboud University Nijmegen | ||
11:00 15mShort-paper | SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous VehiclesNIV Technical Track | ||
11:15 15mTalk | Specification and Automated Verification of Atomic Concurrent Real-Time TransactionsJ1st Technical Track Simin Cai , Barbara Gallina Mälardalen University, Dag Nyström , Cristina Seceleanu Mälardalen University | ||
11:30 15mTalk | An improved approach on the model checking for an agent-based simulation systemJ1st Technical Track DOI | ||
11:45 15mDemonstration | Enhancing Development and Consistency of UML Models and Model Executions with USE Studio Demo Technical Track |