4.6. Slots
Un slot est l'entité AROM utilisée pour décrire l'intention d'une classe ou d'une association. Un slot possède les caractéristiques suivantes :
Un slot est une entité nommée. L'espace de nommage du slot est la structure, classe ou association, dans laquelle le slot est déclaré, étendu par les espaces de nommage des super-structures de cette structure.
Un slot peut être valué. Une valeur peut être attachée à un slot si elle respecte les contraintes sur les valeurs admises par le slot.
Un slot possède une description. La description d'un slot est l'ensemble des facettes qui caractérisent le slot (voir Figure 4-2).
Dans cet exemple, on voit bien que pour une hiérarchie de structures donnée, il n'existe qu'UN seul slot et AUTANT de descripteurs de slot que de structures.
Ces trois caractéristiques sont communes à tous les slots. Cependant, les différents types (ou les différentes familles) de slot se distinguent par :
Les règles de spécialisation qui s'appliquent aux slots. Les slots sont en effet utilisés pour décrire l'intention des structures. Les structures sont des entités spécialisable et la spécialisation peut en particulier être réalisée au travers de la spécialisation des slots qui décrivent la structure. Cependant, tous les slots n'acceptent pas la spécialisation de leur description (voir Section 4.6.2).
la nature de leur description. La description d'un slot est un ensemble de facettes attachées à ce slot. Les slots peuvent être décrits par des ensembles de facettes différents, mais ils ont en commun d'être tous décrits au minimum par une facette de type.
les règles de valuation du slot (ce que l'on nomme le contexte de valuation du slot). On a dit de manière un peu trop simplifiée qu'un slot admettait une valeur. En réalité, la définition du slot est attachée à une structure, mais c'est le contexte de valuation qui définit les entités pour lesquelles le slot en question sera "visible" et par conséquent les entités qui pourront attribuer une valeur au slot. Un slot admet donc un contexte de valuation hors duquel il est impossible de lui affecter une valeur : l'exemple le plus illustratif est celui des slots d'instance et des slots de structure (i.e slot de classe ou slot d'association) qui ont pour contexte de valuation respectivement les instances ou les structures.(voir Section 4.6.1 et Section 4.6.2).
4.6.1. Slots d'instance
Un slot d'instance est défini dans une structure AROM et il est valué pour chaque instance de cette structure. Un slot d'instance participe à la spécialisation de la structure dans laquelle il est défini en autorisant la spécialisation de sa description.
Considérons la figure Figure 4-2. Le slot x déclaré dans une structure A est spécialisé dans une sous-structure de A: B.Il s'agit bien dans A et B de la même entité (du même slot) x. A ce titre, le slot x est représenté dans le système AROM par une unique entité. Toutefois, un slot d'instance autorisant la spécialisation de sa description, le slot x possède plusieurs descriptions : une à chaque niveau de la hiérarchie des structures dans laquelle il apparaît.
4.6.2. Slots statiques
Actuellement non implémenté
Un slot statique est défini dans une structure AROM et il est valué pour la structure elle-même et pour ses sous structures. A l'inverse des slots d'instance, un slot statique ne participe pas à la spécialisation de la définition d'une structure. La description d'un slot statique est donc unique et elle ne peut être spécialisée.
