Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses

—The complexity of modern systems (in both, the and hardware domain) raises the need for abstract ions 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., restric...

• Type: Journal
• Year: 2015
• Where: MODELS
• Authors: Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler
• Keywords: MODELS 2015, Natural Language Processing