Glossary entry

French term or phrase:

exprimer des contraintes sur les transitions

English translation:

express [transition constraints|constraints on the transitions]

Added to glossary by Louisa Tchaicha
Dec 28, 2012 15:15
11 yrs ago
1 viewer *
French term

exprimer des contraintes sur les transitions

French to English Tech/Engineering Computers: Software calculateur de contrôle
Hello,

"L’association de contrainte en un point devient donc un cas particulier de l’association d’une contrainte à une transition. A l’inverse on pourrait aussi se placer dans le cas d’un langage ne permettant pas d’exprimer directement des contraintes sur les transitions (c’est la cas des langages actuels) et placer des contraintes (i.e. typiquement des invariants à choisir parmi une liste ou combinatoire de propriétés prédéfinies) devant l’appel de l’instruction de manière à réduire indirectement sa sémantique utile, ..."

"exprimer des contraintes sur les transitions", it's not the "constraints or "transitions" part that are the problem but how to put them here :(

Thank you for your patience!

Discussion

veratek Dec 29, 2012:
@Louisa I didn't say you forgot it, I was just pointing the action changes if you omit the "directly."
Louisa Tchaicha (asker) Dec 29, 2012:
@Veratek Thank you for pointing that out :)
In fact, it was intentional as I wanted to know whether "express contraints on transitions" was the correct wording, I hadn't forgotten the "directement" (which I translated by "directly")
veratek Dec 29, 2012:
"exprimer des contraintes sur les transitions", it's not the "constraints or "transitions" part that are the problem but how to put them here :(
===============
"ne permettant pas d’exprimer des contraintes sur les transitions" et "ne permettant pas d’exprimer directement des contraintes sur les transitions" are two very different things.

Proposed translations

+1
11 mins
Selected

express [transition constraints|constraints on the transitions]

*
Note from asker:
Thank you
Peer comment(s):

agree veratek : to match the text, with "directly" in front of it
15 hrs
Thanks veratek. Yes, the "directly" is needed.
Something went wrong...
4 KudoZ points awarded for this answer. Comment: "Many thanks :)"
6 hrs

where one cannot directly specify the constraints for (the) transitions

this is the type of constraint he or she is referring to:
des contraintes (i.e. typiquement des invariants à choisir parmi une liste ou combinatoire de propriétés prédéfinies)
Note from asker:
Thank you
Something went wrong...
+1
7 hrs

express constraints on transitions

Note from asker:
Thank you
Peer comment(s):

agree cc in nyc : fwiw, lots more ghits for "constraints on transitions" than "constraints for transitions"
3 hrs
thank you!
Something went wrong...
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search