Issue 18794: Defects in Base Semantics from fUML (fuml-rtf) Source: (, ) Nature: Revision Severity: Significant Summary: 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: http://es.cs.uni-kl.de/people/romero/fUMLOMGIssue20130630.zip This file can help to recognize the defects. Resolution: Defer The RTF agrees this issue needs resolution but, due to lack of time, is deferring its resolution to the next RTF. Revised Text: Actions taken: June 30, 2013: received issue October 8, 2015: Deferred December 22, 2015: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 30 Jun 2013 12:38:08 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Alessandro Gerlinger Romero Employer: PhD Student mailFrom: romgerale@yahoo.com.br Terms_Agreement: I agree Specification: Semantics of a Foundational Subset for Executable UML Models (fUML) Section: 10 FormalNumber: ptc/2012-10-18 Version: v1.1 RTF Beta Doc_Year: 2012 Doc_Month: October Doc_Day: 18 Page: pg 351 - 398 Title: Defects in Base Semantics from fUML Nature: Revision Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: 131.246.160.228 Remote User: HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/27.0.1453.116 Safari/537.36 Time: 12:38 PM --- Issue #1: Defects in Base Semantics from fUML --- Description: 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: http://es.cs.uni-kl.de/people/romero/fUMLOMGIssue20130630.zip This file can help to recognize the defects.