Discussion :

[nina2007]

Bonjour à vous tous,
ma question est la suivante:
Dans un diagramme d'états-transitions, lorsqu'une transition fait changer l'etat d'un objet
d'un état A à l'etat B suite à le spécification suivante: " au bout de 10 minutes l'objet passe de l'état A à l'etat B". Est ce que l'evenement suivant devra etre associé à la transistion "10 minutes écoulées" ou bien est ce qu'il faudra mettre une garde pour vérifier si les 10 minutes sont écoulées [temps< 10 minutes]?

merci si vous avez une réponse.

[Hephaistos007]

Pour ce genre de chose, il existe des événements temporels pré-définis par la norme UML. Dans ton cas, tu dois utiliser : after(10mn)

[nina2007]

merci pour votre réponse, mais imaginons que ce genre d'evenement n'existe pas
quelle serait la réponse la plus appropriée?

[Hephaistos007]

Je ne peux pas répondre. Un évènement peut être décrit de manière informelle (ex: "10 minutes sont passées") ou bien plus formelle (ex: timer > 10). Pour ma part, j'ai tendance à préférer une notation plus formelle.

[nina2007]

Ok merci

[hegros]

Pour ma part, j'ai tendance à préférer une notation plus formelle.

'10 minutes sont passées' c'est à mon sens formel bien que j'imagine aussi que '10 minutes passées sous l'eau à une profondeur de 2000mètres' est formel.

c'est quoi une notation formelle, qu'apporte de plus after(10mn) au formalisme ? C'est en rapport avec une quelconque analyse syntaxique ?

[Hephaistos007]

c'est quoi une notation formelle, qu'apporte de plus after(10mn) au formalisme ? C'est en rapport avec une quelconque analyse syntaxique ?

Oui. Le langage naturel est considéré comme informel. Un langage informatique est considéré comme formel. Bien sûr ici, 'formel' n'est pas à prendre au sens d'une puissante théorie mathématique sous-jacente. Pour revenir au sujet, si l'on souhaite exploiter informatiquement le diagramme d'état, une information en langage naturel est plus difficilement exploitable.