Abstract
The complexity of modern systems (in both, the software and hardware domain) raises the need for abstract descriptions in early stages of the design flow. Such abstract descriptions are provided in modeling languages such as the UML and are often additionally enriched by declarative languages like OCL. This allows for a profound but comprehensive description of the structure and the behavior of the system to be realized. However, declarative descriptions often cause ambiguities about which model properties are supposed to be changed when executing an operation. Invariability clauses are a proper description mean to address this issue. Unfortunately, even if some approaches offer an automatic generation, they still are not sufficiently restricting the variability of model properties regarding a proper interpretation. In this work-in-progress report, we propose an idea for an automatic generation and evaluation of the respective invariability clauses by using interpretation semantics, i.e., restricting changes in model properties concerning the given OCL expressions.
| Original language | English |
|---|---|
| Title of host publication | Model-Driven Engineering, Verification, And Validation (MoDeVVa) |
| Number of pages | 4 |
| Publication status | Published - 2015 |
Fields of science
- 102 Computer Sciences
- 103025 Quantum mechanics
- 202 Electrical Engineering, Electronics, Information Engineering
- 102040 Quantum computing