- Directive d'inclusion : #include CoreMethod.h
C'est normalement l'utilisateur qui crée des classes spécialisées de méthodes, descendantes de la classe mère Method, en fonction de son domaine d'application. Cependant, le développement de la bibliothèque DIESE elle-même a occasionné, pour son besoin propre, la prédéfinition de certaines méthodes, sous-classes elles-aussi de Method.
De manière générale le corps de ces méthodes n'est pas codé dans DIESE, puisqu'il représente une partie de la connaissance propre au domaine d'application. Par exemple, la méthode prédéfinie d'exécution d'un processus ponctuel en général recevra un corps spécifique au domaine ; il ne peut pas être imaginé dans DIESE. Il revient donc à l'utilisateur d'écrire ce corps, puis de l'attacher à la méthode prédéfinie (par exemple par un AssignBody adressé à la méthode). Par contre, la place de l'invocation de la méthode prédéfinie dans l'algorithme de simulation, et la manière d'exécuter son corps relèvent d'un mécanisme général codé au niveau de DIESE.
Les méthodes prédéfinies
- pour les processus, il s'agit de l'initialisation, de la poursuite et de l'arrêt d'un processus continu, de l'exécution d'un processus discret, et enfin de la précondition de tous les processus.
- pour les événements, il s'agit des méthodes qui définissent la post-conséquence d'un événement, qui auto-génèrent un événement à partir de celui en cours d'exécution et enfin qui complètent la spécification d'un événement déjà auto-généré (mise à jour complète ou spécification de date seulement).
- pour les démons, il s'agit des méthodes qui définissent la réaction à déclencher lors d'événéments d'accès ou de modification des valeurs des descripteurs auxquels les démons sont attachés.
- pour les spécifications d'ensembles d'entités, il s'agit des méthodes de sélection et d'instantiation des entités, ainsi que de la méthode de calcul de l'effectif.
- pour les spécifications de domaines de valeurs, il s'agit de la méthode qui détermine si une entité satisfait la spécification.
DIESE peut proposer une version par défaut du corps de la méthode, lorsqu'il est s'appliquer de manière générale. C'est le cas de la méthode de génération du prochain événement autogénéré : le corps gère l'insertion dans l'agenda d'événements, à partir des délais spécifiés par l'utilisateur pour l'intervalle entre deux événements.