Issue 19130: Problem with CallActionActivation: possible infinite loop in removeCallExecution() (fuml-rtf)
Source: LieberLieber Software (Mrs. Tanja Mayerhofer, mayerhofer(at)big.tuwien.ac.at.)
Nature: Clarification
Severity: Minor
Summary: The loop variable 'i' is never incremented, which might lead to an infinite loop.
Resolution: Update CallActionActivation::removeCallExecution

Agreed.
Revised Text: In 8.6.2.2.2 Call Action Activation, in operation removeCallExecution, in the while loop, after the if statement, add the statement:
i = i + 1;
Actions taken:
December 1, 2013: received issue
October 8, 2015: Resolved
December 22, 2015: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 01 Dec 2013 12:22:51 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Tanja Mayerhofer
Employer:        
mailFrom:        mayerhofer@big.tuwien.ac.at
Terms_Agreement: I agree
Specification:   Semantics of a Foundational Subset for Executable UML Models (fUML)
Section:         8.6.2.2.2 CallActionActivation
FormalNumber:    2013-08-06
Version:         1.1
Doc_Year:        Year
Doc_Month:       Month
Doc_Day:         Day
Page:            281
Title:           Problem with CallActionActivation: possible infinite loop in removeCallExecution()
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue
Remote Name:     84.114.75.100
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:25.0) Gecko/20100101 Firefox/25.0
Time:            12:22 PM


Description:

The loop variable 'i' is never incremented, which might lead to an infinite loop.