Jean-Pierre Prunaret et Yves Dubromelle
CARONCH, pour Carré-Rond-Flèche est un formalisme simple permettant de monter les processus et les données d'un système.
Le formalisme CARONCH a été créé pour :
- mettre en valeur les données et les interactions autour
- être simple = peu de symboles différents
- être visuel = utilisation de schéma
- séparer les données et les actions
Les actions sont par exempe : stockage, transformation, suppression, ...
-
Symboles
-
une donnée :
-
un processus :
-
-
Interactions
-
lecture d'une donnée par un processus :
-
écriture d'une donnée par un processus :
-
- Les interactions ne sont pas considérées comme des symboles.
- Le temps n'est pas représenté.
- L’occurrence des interactions n'est pas représentée.
- Il y a alternance entre processus et données.
- Il ne peut y avoir deux (2) symboles identiques à la chaîne.
- Les étiquettes des symboles doivent être différents s'il caractérisent des informations différentes.
- Il est possible de regrouper des symboles pour les agréger en un processus de traitement de données.
L'expressivité des données peut être améliorée, notamment dans le cas des sorties booléenne, en utilisant des prédicats. Dans ce cas, et à la condition que les différents prédicats soient exclusifs [1], il est possible de préciser la valeur d'une donnée.
- exemple : utilisation habituelle d'une donnée pour 2 processus.
- exemple : utilisation d'une donnée-prédicat pour exprimer le choix d'un processus ou d'un autre.
Il s'agit de modéliser le croisement de deux ensembles pour faire toutes les combinaisons possible. En terme mathématique, il s'agit de réaliser le produit cartésien de ces deux ensembles.
[1] les prédicats exclusifs sont des prédicats qui ne peuvent pas être vrai en même temps.