| Autor: |
Nils Przigoda, Rolf Drechsler, Judith Przigoda, Robert Wille |
| Rok vydání: |
2018 |
| Předmět: |
|
| Zdroj: |
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131 |
| DOI: |
10.1007/978-3-319-72814-8_7 |
| Popis: |
The formalization and actual implementation of UML/OCL offers great opportunities for analyzing and solving verification and validation problems during system design. Moreover, the solutions for this purpose introduced in the previous chapters are rather generic and can not only be applied for structural and behavioral descriptions but also extended, e.g., for timing issues. In this chapter, we further extend this generality. We observe thereby that for other problems often formulations result which are rather huge—although often much more compact representations are possible. To this end, we describe the concept of ground setting properties which allows to represent a problem in a much more compact fashion—significantly increasing the performance of the solving process. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
