Issue 11554: Class descriptions are missing (marte-ftf) Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com) Nature: Enhancement Severity: Minor Summary: Class descriptions are missing in the MARTE model library for extended datatypes (Annex D2). Resolution: We describe a subset that requires unambiguous definition. The remaining extended data types are self-explanatory. Revised Text: -In Section D.2, after the second paragraph, add: "Extended data types that have not been described in the chapters that used them are described below." -In Section D.2, after Fig. D.4, add: D.2.1 TransmModeKind This enumeration defines the kind of transmission mode of messages over a network. Literals ˇ simplex it allows for one-way communication of data through the network. ˇ half-duplex it allows communication in both directions, but only one direction at a time (not simultaneously). Typically, once a party begins receiving a signal, it must wait for the transmitter to stop transmitting, before replying. ˇ full-duplex it allows communication in both directions, and unlike half-duplex, allows this to happen simultaneously. -In Section D.2, after Fig. D.5, add: D.2.2 ArrivalPattern This is a ChoiceType that contains the different kinds of parameters that are necessary to specify the most common arrival patterns of events. Attributes ˇ periodic: PeriodicPattern it describes periodic interarrival patterns, with an optional maximal deviation (jitter). ˇ aperiodic: AperiodicPattern it describes an unbounded pattern that is defined by a distribution function ˇ sporadic: AperiodicPattern it describes a bounded pattern that is defined by a corner case interarrival times and a maximum deviation (jitter) ˇ burst: BurstPattern it describes a bursty interarrival pattern with a number of events that can occur in a bounded period. ˇ irregular: IrregularPattern it describes an aperiodic pattern that is described by a table of successive interarrivals durations measured from a starting phase. ˇ closed: ClosedPattern it describes a workload characterized by a fixed number of active or potential users or jobs that cycle between executing the scenario. ˇ open: OpenPattern it describes a workload that is modeled as a stream of requests that arrive at a given rate in some predetermined pattern (such as Poisson arrivals). D.2.3 PeriodicPattern This is a TupleType that contains the parameters that are necessary to specify a periodic pattern. Attributes ˇ period: NFP_Duration the period as a duration. ˇ jitter: NFP_Duration the maximum deviation of the occurrences ˇ phase: NFP_Duration a delay for the first occurrence of the event. D.2.3 AperiodicPattern This is a TupleType that contains the parameters that are necessary to specify an aperiodic pattern (unbounded pattern). Attributes ˇ distribution: NFP_CommonType a distribution of the arrival pattern that could use one of the patterns described in Section 8.3.3. D.2.3 SporadicPattern This is a TupleType that contains the parameters that are necessary to specify a sporadic pattern (bounded pattern). Generalizations ˇ AperiodicPattern Attributes ˇ minInterarrival: NFP_Duration the minimum interarrival duration between two successive occurrences of an event. ˇ maxInterarrival: NFP_Duration the maximum interarrival duration between two successive occurrences of an event. ˇ jitter: NFP_Duration the maximum deviation of the occurrences regarding to the minimum interarrival time. D.2.3 BurstPattern This is a TupleType that contains the parameters that are necessary to specify a bursty pattern. Generalizations ˇ AperiodicPattern Attributes ˇ minInterarrival: NFP_Duration the minimum interarrival duration between two successive occurrences of an event. ˇ maxInterarrival: NFP_Duration the maximum interarrival duration between two successive occurrences of an event. ˇ minEventInterval: NFP_Duration the minimum interval between two occurrences within a burst. ˇ maxEventInterval: NFP_Duration the maximum interval between two occurrences within a burst. ˇ burstSize: NFP_Integer the number of event occurrences within a burst. ˇ minEventInterval: NFP_Duration the minimum interval between two occurrences within a burst. D.2.3 IrregularPattern This is a TupleType that contains the parameters that are necessary to specify an irregular pattern (list of duration separations between successive event occurrences). This is a fully deterministic arrival pattern. Generalizations ˇ AperiodicPattern Attributes ˇ phase: NFP_Duration a delay for the first occurrence of the event. ˇ interarrivals: NFP_Duration [*] the set of duration separations between successive event occurrences. D.2.3 ClosedPattern This is a TupleType that contains the parameters that are necessary to specify a closed pattern. It is characterized by a fixed number of active or potential users or jobs that cycle between executing the scenario, and spending an external delay period (sometimes called "think time") outside the system, between the end of one response and the next request. Attributes ˇ population: NFP_Integer The size of the workload (number of system users). ˇ extDelay: NFP_Duration The delay between the end of one response and the start of the next for each member of the population of system users D.2.3 OpenPattern A workload that is modeled as a stream of requests that arrive at a given rate in some predetermined pattern (such as Poisson arrivals). Attributes ˇ interArrivalTime: NFP_Duration the time between successive arrivals. For a Poisson process this is exponentially distributed with mean = 1/rate. ˇ arrivalRate: NFP_Frequency the average rate of arrivals. ˇ arrivalProcess: String the name of an arrival process, understood by the analysis tool. Examples (not exhaustive) are Poisson, General, Phase-type, Markov-Modulated Poisson, Correlated, Pareto. If arrivalProcess is defined, normally arrivalRate is also defined, and interArrivalTime is not. Actions taken: October 9, 2007: received issue February 17, 2010: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 09 Oct 2007 07:39:09 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Sébastien Demathieu Company: Thales mailFrom: sebastien.demathieu@thalesgroup.com Notification: Yes Specification: A UML Profile for MARTE Section: Annex D/2 FormalNumber: realtime/07-08-04 Version: Beta 1 RevisionDate: 08/2007 Page: 345 Nature: Enhancement Severity: Minor HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.8.1.7) Gecko/20070914 Firefox/2.0.0.7 Description Class descriptions are missing in the MARTE model library for extended datatypes (Annex D2). Subject: Issue 11554 Date: Mon, 17 Mar 2008 16:42:59 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Issue 11554 Thread-Index: AciIHMysrV9ds3TBRry66jyKmYB4owAF1rfgAAQ+x9A= From: "ESPINOZA Huascar 218344" To: X-OriginalArrivalTime: 17 Mar 2008 15:42:59.0865 (UTC) FILETIME=[94160090:01C88845] X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id m2HFhI1X013744 Hola, Resolution proposal for Issue 11554 (Annex D: Library of Data Types) has been published (http://www.omgwiki.org/marte/lib/exe/fetch.php?id=annex_d_wg&cache=cach e&media=11554_resolved_ballot1.doc ). In short: "... A subset of Class descriptions missing in the MARTE model library for extended datatypes are added. The remaining extended data types are self-explanatory..." Regards, Huascar -- Huascar ESPINOZA, Ph.D. CEA LIST Model-Driven Engineering for Real-Time Embedded Systems 91191 GIF/YVETTE CEDEX Phone/Fax: +33 1 69 08 45 87 / 20 82 FRANCE