Issue 18799: Remove unneeded inference rules from Base Semantics (fuml-rtf)
Source:  (, )
Nature: Revision
Severity: Significant
Summary: Inference rules not used, and not needed for completeness, should be removed

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: <issues@omg.org>
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

Remove unneeded inference rules from Base Semantics ---

Inference rules not used, and not needed for completeness, should be removed