Issue 16488: Non-deterministic behavior on "if statement" (alf-rtf)
Source: THALES (Dr. Laurent Rioux, laurent.rioux(at)thalesgroup.com)
Nature: Clarification
Severity: Significant
Summary: The non-deterministic behavior is an issue to evaluate the correctness of algorithm written in ALF. it is very difficult to test and check non determinist behavior. The formal approach use for ALF is the good right but also support a determinitic behavior.
Resolution: The FTF agrees that this is an issue worth considering, but, due to lack of time, decided to defer its resolution to a future RTF working on this specification.
Revised Text: None
Disposition:	Deferred

Revised Text: 
Actions taken:
August 9, 2011: received issue
October 5, 2012: deferred
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 09 Aug 2011 04:00:54 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Laurent RIOUX
Employer:        
mailFrom:        laurent.rioux@thalesgroup.com
Terms_Agreement: I agree
Specification:   Action Language for foundational UML (ALF)
Section:         9.8
FormalNumber:    ptc/2010-10-05
Version:         beta 1
Doc_Year:        2010
Doc_Month:       October
Doc_Day:         Day
Page:            113
Title:           Non-deterministic behavior on "if statement"
Nature:          Clarification
Severity:        Significant
CODE:            3TMw8
B1:              Report Issue


Description:

The non-deterministic behavior is an issue to evaluate the correctness of algorithm written in ALF. it is very difficult to test and check non determinist behavior. The formal approach use for ALF is the good right but also support a determinitic behavior.