As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS
On Windows: DSE does not execute and throws exception
If you encounter the following exception when running a DSE you might be missing required libraries.
java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.18.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries
Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
AF3 does not start
Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
If the product does not start because the Java Virtual Machine (JVM) could not be created: Please update your Java installation to Java 11.0.7
Unpacking of AF3 zip file fails with 'Path too long' on Windows
Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
Menu icons are not displayed on KDE
Go to "System settings - Application Style - GNOME Application Style".
Select "Show symbols of GTK buttons".
Select "Show symbols in GTK menus".
Where can I report bugs or file feature requests?
Please direct any kind of feedback to our users mailing list (firstname.lastname@example.org). The AutoFOCUS3 teams is happy to support you.
How can I connect ports of two components or states of a state automaton?
Move the cursor close to a port. The cursor will change and you simply have to click and drag to create a connection.
(The old (Version 2.16 and older) ALT+click and drag behavior has been replaced and does not work anymore.)
How can I add new elements to a diagram?
There are three possibilities: either right-click in the model navigator (left side) or in the diagram editor (center) and select the element from the context menu, or drag the element from the model elements view (right side) into the diagram editor.