Issue 7791: Section 8, 9.4 and Appendix A (uml-qos-ft-ftf) Source: (, ) Nature: Enhancement Severity: Minor Summary: Specification of preemptive memory policy QoS annotated UML model characterized by stochastic-timing annotations allow to derive evaluation stochastic models that can be used to carry out verification and validation activities by means of the application of analytical methods and/or simulation techniques. When a stochastic model is characterized by activities whose duration is specified by general distributions (i.e., non negative exponential) it is necessary to associate to them memory policies that allow to decide in case of preemption whether or not to take into account of the amount of work carried out from the starting of the activity until the activity interruption. Resolution: Revised Text: Actions taken: September 30, 2004: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 30 Sep 2004 06:06:19 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Simona Bernardi Company: Universita di Torino mailFrom: bernardi@di.unito.it Notification: No Specification: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms Section: Section 8, 9.4 and Appendix A FormalNumber: Ptc/2004-06-01 Version: Draft RevisionDate: 7/21/2004 Page: 9, 29, 83 Nature: Enhancement Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1) Description Specification of preemptive memory policy QoS annotated UML model characterized by stochastic-timing annotations allow to derive evaluation stochastic models that can be used to carry out verification and validation activities by means of the application of analytical methods and/or simulation techniques. When a stochastic model is characterized by activities whose duration is specified by general distributions (i.e., non negative exponential) it is necessary to associate to them memory policies that allow to decide in case of preemption whether or not to take into account of the amount of work carried out from the starting of the activity until the activity interruption.