Constructeurs/Destructeurs
Identification et accès
L'entité attachée au processus
Spécification de la précondition
Spécification du délai de reprogrammation
Affectation de méthodes spécifiques
Affectation d'un corps aux méthodes, et de valeurs aux arguments
Le message : <processus>->SetExec(f); affecte un corps f à l'instance de Method (précisément instance de ExecProcess) dont le symbole de classe est EXEC_PROCESS. Ce corps réalise l'effet du processus sur le système simulé. Une entité notable est celle renvoyée par l'invocation de ProcessedEntity sur le processus. C'est typiquement, mais non obligatoirement, celle dont le processus change les variables d'état. Par exemple, f peut être :
void MyProcessClass_Fct2(ProcessMethod* pM) { DiscreteProcess* pP = pM->DescribedDiscreteProcess(); Entity* pE = pP->ProcessedEntity(); ... }