Discussion :

[GETah]

Bonjour,
j bosse actuellement sur UML Executable, j'arrive pas a comprendre la difference entre un modèle de calcul et un modéle d'execution
merci

[Hephaistos007]

Lis ce resumé de thèse : http://www.supelec.fr/ecole/si/pages...ardebolle.html

[GETah]

Merci,
justement je bosse en colabaration avec cette fille :-)
Merci quand même ;-)

[Hephaistos007]

Ah bah désolé. Le monde est petit.

[GETah]

Mais sinon j'ai un brin de solution, ça pourrait aider les autres ;-)
un modèle de calcul est le modèle qu'on connait (modèle d'un système) fait par le développeur par exemple. le modèle d'execution quant a lui est le modèle qu'a le systèmes quand il est en execution, c'est a dire c un modèle qui sera composé du modèle de calcul qu'a définit le developpeur + le support d'execution de la plateforme (exemple sur un système embarqué: objets définits par le développeur + gestionnaire mèmoire + gestionnaire de communication...)
voila, toutes les remarques sont les bienvenues :-)
merci beaucoup

[modelix]

Bonjour !
Je viens de voir que vous avez cité mon sujet de thèse ! ;o)
Effectivement, le monde est petit
Bon, il est peut-être un peu tard pour répondre à la question, mais je vais quand même essayer (des fois que ça serve à quelqu'un un jour ).
Alors, les définitions que tu as donné, GETah, ne correspondent pas à celles que j'ai, mais bon, il s'agit de recherche, c'est normal que les gens ne soient pas d'accord entre eux

Un peu de contexte, pour commencer : je travaille sur les modèles de systèmes, que ce soit des systèmes électroniques, logiciels, physiques, etc. En particulier, je m'intéresse aux modèles qui représentent le comportement de systèmes (et pas uniquement leur structure par exemple). Dans ce contexte, on a mis au point les définitions suivantes :

• Pour nous, un modèle de calcul est une description de l'aspect comportemental d'une méthode de modélisation. Par exemple, si vous utilisez des automates à états finis pour modéliser le comportement de votre système, alors le modèle de calcul associé à votre modèle est le modèle de calcul des automates à états finis (Finite State Machine - FSM). Si vous utilisez une méthode basée sur les flots de données synchrones, comme par exemple la méthode implémentée par Simulink, ou le langage Scade/Lustre, alors le model de calcul associé à votre modèle est le modèle de calcul flots de données synchrones (Synchronous Data-Flow - SDF). Il faut bien voir que lorsqu'un modeleur dessine le modèle d'un système, le modèle de calcul associé à son modèle de système est pour lui complètement implicite : c'est le modèle de calcul qui est implémenté par l'outil qu'il a l'habitude d'utiliser, comme par exemple Simulink, qui implémente SDF.
  
  Si l'on part du principe qu'un modèle qui décrit le comportement d'un système est composé de différentes "briques" élémentaires qui, dans la façon dont elles sont agencées/connectées, donnent par combinaison une représentation du comportement du système, alors le modèle de calcul définit :
  
  • ce que représentent les différentes briques élémentaires qui composent la description du comportement du système. Par exemple, ces briques peuvent être des états dans le cadre de FSM, ou des composants représentant des processus dans le cadre de SDF.
  • comment ces briques communiquent entre elles, comment les données sont représentées. Par exemple elles peuvent communiquer via des évènements, via des flots de données, etc.
  • comment ces briques se synchronisent (ce qui est souvent lié à la façon dont elles communiquent). Par exemple elles peuvent se synchroniser sur l'arrivée d'évènements, sur l'arrivée d'échantillons de données, sur une horloge commune, sur messages, etc.
  • comment est représenté le Temps (s'il existe dans le modèle de calcul utilisé). Par exemple certains modèles de calcul représentent le temps par une séquence d'évènements discrets, alors que dans d'autres le temps est représenté par une ligne continue.
  • comment est géré le contrôle : quelle brique a le contrôle à un moment donné, comment est-il passé ensuite aux autres, etc. Par exemple, dans le modèle de calcul SDF, les différents processus peuvent être ordonnancés de manière statique. Le contrôle leur est alors passé en respectant cet ordonnancement. Dans le modèle de calcul FSM, on peut dire, à la limite, que le passage du contrôle est représenté par les transitions.
    

• Nous avons défini un modèle d'exécution comme étant une spécialisation opérationnelle d'un modèle de calcul. Un modèle d'exécution définit en fait une façon d'exécuter un modèle de système défini avec un modèle de calcul particulier. Concrètement, un modèle d'exécution "explique" pas à pas comment exécuter le modèle de système.
  
  Il peut exister différents modèles d'exécution pour un même modèle de calcul. Prenons par exemple le modèle de calcul à équations différentielles, qui est très souvent utilisé pour représenter le comportement de systèmes physiques. Il existe plusieurs manières d'exécuter des modèles de systèmes décrits par équations différentielles : il s'agit de réaliser l'intégration des équations et pour cela il y a par exemple la méthode d'Euler ou la méthode de Runge-Kuta. Ce sont des méthodes constructives, qui ne donnent dans ce cas particulier qu'une approximation du comportement défini par le système d'équations.
  Lorsqu'un modèle de calcul est décrit de manière constructive et très détaillée, il peut être confondu avec le modèle d'exécution correspondant.

Voila. J'espère que ça répond à peu près à la question... ;o)
N'hésitez pas à me dire ce que vous en pensez, bien sûr, ça m'aidera à avancer !
@+ !