Formal Verification of UML-based Specifications | 
|
Prüfung der Korrektheit von Systementwürfen vor deren Implementierung
| Journal | Industrie Management |
| Issue | Volume 29, 2013, Edition 1, Pages 44-48 |
| Share | Cite | Download |
Abstract
The design of complex systems usually starts with a natural language specification which serves as the basis for the ongoing implementation. To deal with the increasing complexity, these informal specifications are extended by means of formal modeling languages such as the Unified Modeling Language (UML) and the Object Constraint Language (OCL). They enable to check the specification for conceptual errors and inconsistencies before a precise implementation is available. This paper presents methods which make use of these possibilities. It is illustrated which errors can already exist in specifications and how they can be detected automatically.
Keywords
Access limited
You are currently not logged in / not yet registered.
In order to download the desired file(s), you must be logged in and have an appropriate inclusive subscription. Alternatively, you can also obtain access by paying a one-off fee.
| Subscription | included | Purchase |
|---|---|---|
| without | − | 29,00 € |
| Digital | ✓ | 0,00 € |
| Expert | ✓ | 0,00 € |
| Professional | ✓ | 0,00 € |
All prices include 7% VAT
After purchasing access rights, you will automatically be redirected back to this page.
