Issue 4220: Contradictory WFR (issues) Source: (, ) Nature: Uncategorized Issue Severity: Summary: I think there is a coherence issue between the WFR 5 and 6 on Transition meta-class: [5] Transitions outgoing pseudostates may not have a trigger and [6] An inital transition at the topmost level either has no trigger or it has trigger with the stereotype "create". Initial transition is a specific case of transition outgoing a pseudostate. The WFR [6] puts then the WFR [5] in the wrong. I propose then to have a single WFR and the following rewriting: [5] The transition outgoing the initial pseudostate of statemachine root state either has no trigger or it has trigger with the stereotype "create". In all other case, transitions outgoing pseudostates may not have a trigger. Yours, Sébastien Gérard. Resolution: Revised Text: Actions taken: March 12, 2001: received issue Discussion: End of Annotations:===== From: GERARD Sebastien 166342 To: "'issues@omg.org'" Cc: GERARD Sebastien 166342 , TERRIER Francois 121910 Subject: Contradictory WFR Date: Mon, 12 Mar 2001 18:44:01 +0100 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C0AB1C.060EA170" X-UIDL: 34\!!&W(!!9X#!!>Y:!! Hy, I think there is a coherence issue between the WFR 5 and 6 on Transition meta-class: [5] Transitions outgoing pseudostates may not have a trigger and [6] An inital transition at the topmost level either has no trigger or it has trigger with the stereotype "create". Initial transition is a specific case of transition outgoing a pseudostate. The WFR [6] puts then the WFR [5] in the wrong. I propose then to have a single WFR and the following rewriting: [5] The transition outgoing the initial pseudostate of statemachine root state either has no trigger or it has trigger with the stereotype "create". In all other case, transitions outgoing pseudostates may not have a trigger. Yours, Sibastien Girard. ---------------------------------------------------------------------------------------- Dr. Sibastien Girard Tel: +33 169 089 057 CEA SACLAY Fax: +33 169 082 082 DRT-LIST/DTSI/SLA/LLSP 91191 Gif-Sur-Yvette e-mail: Sebastien.Gerard@cea.fr France http://wooddes.intranet.gr -----------------------------------------------------------------------------------------