Issue 11855: MARTE-AADL Issue 8 (marte-ftf) Source: INRIA (Dr. Frederic Mallet, Frederic.Mallet(at)inria.fr) Nature: Enhancement Severity: Significant Summary: Modeling the AADL dequeue protocol AllItems seems impossible with UML (and therefore MARTE) because the selection of a behavior on an object node in UML takes only one token at once making it impossible to dequeue/read all the tokens from a queue. The OneItem, AllItems and in V2 also MultipleItems values try to abstractly specify three types of queue processing. It defines what happens to the queue content in terms of making it available to the application and having removed from system buffers. OneItem indicates that one element is removed from the system queue of the port. AllItems means all are removed. MultipleItems means that a detailed behaviour model describes (via the NextValue method how (many) are removed from the system queue. Resolution: Disposition: See issue 11854 for disposition Revised Text: Actions taken: December 21, 2007: received issue October 16, 2009: closed issue Discussion: Discussion: This resolution needs MARTE concepts evolutions. Disposition: Deferred End of Annotations:===== m: webmaster@omg.org Date: 21 Dec 2007 04:59:39 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Frederic Mallet, Madeleine Faugere, Huascar Espinoza, Peter Feiler Company: INRIA Sophia, Thales TRT, CEA LIST, CMU SEI mailFrom: fmallet @ unice.fr Notification: Yes Specification: UML Profile for MARTE Section: Annex A: AADL-like models with MARTE FormalNumber: ptc/07-08-04 Version: Beta 1 RevisionDate: 21/12/07 Page: 345-382 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 2.0.50727; InfoPath.1) Description [MARTE-AADL Issue 8] Modeling the AADL dequeue protocol AllItems seems impossible with UML (and therefore MARTE) because the selection of a behavior on an object node in UML takes only one token at once making it impossible to dequeue/read all the tokens from a queue. The OneItem, AllItems and in V2 also MultipleItems values try to abstractly specify three types of queue processing. It defines what happens to the queue content in terms of making it available to the application and having removed from system buffers. OneItem indicates that one element is removed from the system queue of the port. AllItems means all are removed. MultipleItems means that a detailed behaviour model describes (via the NextValue method how (many) are removed from the system queue.