Implicit Incremental Model Analyses and Transformations
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implic...
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | इलेक्ट्रोनिक पुस्तक अध्याय |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Karlsruhe
KIT Scientific Publishing
2021
|
| श्रृंखला: | The Karlsruhe Series on Software Design and Quality
31 |
| विषय: | |
| ऑनलाइन पहुंच: | OAPEN Library: download the publication OAPEN Library: description of the publication |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| सारांश: | When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC). |
|---|---|
| भौतिक वर्णन: | 1 electronic resource (498 p.) |
| आईएसबीएन: | KSP/1000080522 9783731507635 |
| अभिगमन: | Open Access |