Towards an automatic approach for restricting UML/OCL invariability clauses (Work-in-Progress Report)

Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations


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 languageEnglish
Pages (from-to)44-47
Number of pages4
JournalCEUR Workshop Proceedings
StatePublished - 2015
Externally publishedYes
Event12th Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2015 - Ottawa, Canada
Duration: 29 Sep 2015 → …


Dive into the research topics of 'Towards an automatic approach for restricting UML/OCL invariability clauses (Work-in-Progress Report)'. Together they form a unique fingerprint.

Cite this