"The check category semantic constraint"

SEMANTIC CONSTRAINTS : Check Category

Overview

This constraint is used to check that the category of the reciever is compatible withthe category the assigner can assign.

Proposal

The constraint is proposed for all fuses.

Implementation

The constraint can pass in 2 ways :

The category of the receiver matches exactly the category that the assigner requires. E.g., The fuse is for an internal role, the assigner requires a THING to fill this role and the receiver is a THING.
The assigner doesn't require a particular category for that role : the category attribute for the assigner's role to fill will have value *.
(* = wildcard and can match to any category).

Notes

May have to make these checks more detailed than the current 'must match exactly' or 'can match anything'. For example may have some categories that can match more than one subcategory etc.

This page written by Mark H. Smith, April 1997.