Issue 9376: fundamental semantic model of token flows (bpmn-ftf) Source: Sandpiper Software, Inc. (Dr. Francis G. McCabe, frankmccabe@mac.com) Nature: Enhancement Severity: Significant Summary: Currently there is no description of the fundamental semantic model of token flows in the spec. Clearly it is based on a variety of petri net; however a description of the particular semantics assumed in BPMN could be very useful in reading the spec. Such a description should be formal in the sense that it should be mathematically clear what the procedural semantics of BPMN is Resolution: Suggested Resolution: Close, No Change: This issue is out of scope for the RTF and will be addressed by the response to the BPMN 2.0 RFP. Revised Text: None Disposition: Closed, deferred Revised Text: Actions taken: February 23, 2006: received issue July 18, 2008: closed issue Discussion: Discussion: While the Issue may be valid, it represents potentially significant modifications. Thus, this Issue will be deferred and handled by work on a later version of BPMN. Disposition: Deferred End of Annotations:===== m: webmaster@omg.org Date: 23 Feb 2006 12:20:29 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Francis McCabe Company: Fujitsu Laboratories of America mailFrom: frank.mccabe@us.fujitsu.com Notification: Yes Specification: BPMN spec Section: 1 FormalNumber: 06-02-01 Version: 1 RevisionDate: 2/1/2006 Page: general Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en) AppleWebKit/417.9 (KHTML, like Gecko) Safari/417.8 Description Currently there is no description of the fundamental semantic model of token flows in the spec. Clearly it is based on a variety of petri net; however a description of the particular semantics assumed in BPMN could be very useful in reading the spec. Such a description should be formal in the sense that it should be mathematically clear what the procedural semantics of BPMN is. To: bpmn-ftf@omg.org Subject: Proposed Resolution for Issue 9376 X-Mailer: Lotus Notes Release 7.0 HF242 April 21, 2006 From: Stephen A White Date: Fri, 6 Oct 2006 16:17:31 -0700 X-MIMETrack: Serialize by Router on D03NM690/03/M/IBM(Release 7.0.1HF346 | August 4, 2006) at 10/06/2006 17:17:33, Serialize complete at 10/06/2006 17:17:33 This is intended for Ballot 4 http://www.bpmn.org/FTF/Issues/Issue%209376.htm Issue 9376: Fundamental semantic model of token flows Description: Currently there is no description of the fundamental semantic model of token flows in the spec. Clearly it is based on a variety of petri net; however a description of the particular semantics assumed in BPMN could be very useful in reading the spec. Such a description should be formal in the sense that it should be mathematically clear what the procedural semantics of BPMN is. Suggested Resolution 1: Defer: While the Issue may be valid, it represents potentially significant modifications. Thus, this Issue will be deferred and handled by work on a later version of BPMN. Revised Text: None