Legacy Issue Number: 18794
Source: PhD Student ( Alessandro Gerlinger Romero)
There were found 42 issues, 5 of them were enhancements proposals, and 37 were defects.
The main issues concerning defects were:
1. The Base Semantics had a defect in the section 10.4.8.3 (pg. 383). There was missing a forall construction, which did not allow to parse entire definition.
2. After applied the necessary remedy actions to the definition, a model finder (EPROVER) was used to check if the fUML definition together with PSL definition - psl_outer_core - was satisfiable. The fUML Base Semantics together with PSL was unsatisfiable.
3. A model finder (EPROVER) also was used to check if the Base Semantics alone (without PSL) was satisfiable. The fUML Base Semantics was unsatisfiable.
I have been made available a file with all analyzed files at the following address:
This file can help to recognize the defects.
Reported: FUML 1.1 — Sun, 30 Jun 2013 04:00 GMT
Updated: Mon, 13 Jul 2020 14:31 GMT