User Assistance Characteristics of the USE Model Checking Tool
| Autor: | Martin Gogolla, Frank Hilken |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
FOS: Computer and information sciences
Model checking Programming language Computer science lcsh:Mathematics Computer Science - Human-Computer Interaction lcsh:QA1-939 computer.software_genre Object (computer science) lcsh:QA75.5-76.95 Human-Computer Interaction (cs.HC) Software Engineering (cs.SE) Computer Science - Software Engineering Consistency (database systems) User assistance General-purpose modeling Unified Modeling Language Validator lcsh:Electronic computers. Computer science computer computer.programming_language Object Constraint Language |
| Zdroj: | F-IDE@FM Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 91-97 (2017) |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/eptcs.240.7 |
| Popis: | The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints. In the development process for formal models, it is important to make sure that these models are (a) correct, i.e. consistent and complete, and (b) testable in the sense that the developer is able to interactively check model properties. The USE tool (UML-based Specification Environment) allows both characteristics to be studied. We demonstrate how the tool supports modelers to analyze, validate and verify UML and OCL models via the use of several graphical means that assist the modeler in interpreting and visualizing formal model descriptions. In particular, we discuss how the so-called USE model validator plugin is integrated into the USE environment in order to allow non domain experts to use it and construct object models that help to verify properties like model consistency. In Proceedings F-IDE 2016, arXiv:1701.07925 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|