semi合集-English.pdf - 第2427页
SEMI E86-0200 © SEMI 1999 , 2000 27 "/PersonManagement/Person/ShiftChanged"; typedef struct PersonShiftChangedFilters_Structure { Property name; // "Name", aPerson’s name Property fromShift; // "…
SEMI E86-0200 © SEMI 1999, 2000 26
exception PersonDuplicateSignal {string identificationNumber;};
exception PersonNotFoundSignal {string identificationNumber;};
exception PersonNotAssignedSignal {Person unknownPerson;};
exception PersonRemovalFailedSignal { };
const string PersonLifecycleSubject =
"/PersonManagement/PersonManager/PersonLifecycle" ;
typedef struct PersonLifecycleFilters_Structure {
Property name; // "Name", aPerson’s name
Property lifecycleEvent; // "LifecycleEvent", LifecycleState
} PersonLifecycleFilters;
typedef struct PersonLifecycleEvent_Structure {
string eventSubject;
TimeStamp eventTimeStamp;
PersonLifecycleFilters eventFilterData;
Properties eventNews;
Person aPerson;
// Except when "Delete" where value will be nil
} PersonLifecycleEvent;
const string PersonCapacityChangedSubject =
"/PersonManagement/Person/CapabilityChanged" ;
typedef struct PersonCapacityChangedFilters_Structure {
Property name; // "Name", aPerson’s name
} PersonCapacityChangedFilters;
typedef struct PersonCapacityChangedEvent_Structure {
string eventSubject;
TimeStamp eventTimeStamp;
PersonCapacityChangedFilters eventFilterData;
Properties eventNews;
Person aPerson;
} PersonCapacityChangedEvent;
const string PersonStateChangedSubject =
"/PersonManagement/Person/StateChanged";
enum PersonState {PersonDefined, PersonOffShift, PersonOnShift,
PersonAvailableForWork, PersonNotAvailableForWork, PersonUnassignedToMachines,
PersonAssignedToJobs, PersonAssignedToMachines,
PersonAvailableForMoreAssignments, PersonAssignmentAtCapacityExceeded,
PersonIdleWithJob, PersonBusyWithJob };
typedef struct PersonStateChangedFilters_Structure {
Property name; // "Name", aPerson’s name
Property formerState; // "FormerState", PersonState
Property newState; // "NewState", PersonState
} PersonStateChangedFilters;
typedef struct PersonStateChangedEvent_Structure {
string eventSubject;
TimeStamp eventTimeStamp;
PersonStateChangedFilters eventFilterData;
Properties eventNews;
Person aPerson;
} PersonStateChangedEvent;
const string PersonShiftChangedSubject =
SEMI E86-0200 © SEMI 1999, 200027
"/PersonManagement/Person/ShiftChanged";
typedef struct PersonShiftChangedFilters_Structure {
Property name; // "Name", aPerson’s name
Property fromShift; // "FromShift", former shift
Property toShift; // "ToShift", new shift
} PersonShiftChangedFilters;
typedef struct PersonShiftChangedEvent_Structure {
string eventSubject;
TimeStamp eventTimeStamp;
PersonShiftChangedFilters eventFilterData;
Properties eventNews;
Person aPerson;
} PersonShiftChangedEvent;
Person createPersonWithIdentifier (in string identificationNumber)
raises (FrameworkErrorSignal, PersonDuplicateSignal);
void removePerson (in Person aPerson)
raises (FrameworkErrorSignal,PersonRemovalFailedSignal,
PersonNotAssignedSignal);
PersonSequence allPersons ( ) raises (FrameworkErrorSignal);
Person findByIdentifier (in string identificationNumber)
raises (FrameworkErrorSignal, PersonNotFoundSignal);
PersonSequence allOnShiftPersons (in Shift aShift)
raises (FrameworkErrorSignal);
PersonSequence allAvailableForWorkPersons ( )
raises (FrameworkErrorSignal);
PersonSequence allNotAvailableForWorkPersons ( )
raises (FrameworkErrorSignal);
PersonSequence allPersonsWithSkill (in Skill aSkill)
raises (FrameworkErrorSignal);
PersonSequence allPersonsAvailableForMachine (in Machine aMachine)
raises (FrameworkErrorSignal);
PersonSequence allPersonsAssignedToMachine (in Machine aMachine)
raises (FrameworkErrorSignal);
PersonSequence allAssignedToMachinesPersons ( )
raises (FrameworkErrorSignal);
PersonSequence allPersonsQualifiedForJob (in Job aJob)
raises (FrameworkErrorSignal);
PersonSequence allPersonsAvailableForJob (in Job aJob)
raises (FrameworkErrorSignal);
PersonSequence allPersonsAssignedToJob (in Job aJob)
raises (FrameworkErrorSignal);
PersonSequence allAssignedToJobsPersons ( )
raises (FrameworkErrorSignal);
}; // end PersonManager
// -------------------------- Person --------------------------
interface Person : Resource {
exception QualificationDuplicateSignal {
QualificationData qualificationInformation;};
SEMI E86-0200 © SEMI 1999, 2000 28
exception QualificationNotAssignedSignal {string identificationNumber;};
exception QualificationNotFoundSignal {string identificationNumber;};
exception ResponsibilityDuplicateSignal {any responsibility ;
string responsibilityCategory;};
exception ResponsibilityCategoryNotFoundSignal {
string responsibilityCategory;};
exception ResponsibilityCategoryRemovalFailedSignal { };
exception ResponsibilityRemovalFailedSignal {
any responsibility;
string responsibilityCategory;};
exception SkillDuplicateSignal {Skill aSkill;};
exception SkillRemovalFailedSignal {Skill aSkill;};
exception SkillNotAssignedSignal {Skill aSkill;};
exception SkillNotFoundSignal {Skill aSkill;};
void setDepartment (in string department)
raises (SetValueOutOfRangeSignal, FrameworkErrorSignal);
string getDepartment ( ) raises (FrameworkErrorSignal);
void setFullname (in string fullname)
raises (SetValueOutOfRangeSignal, FrameworkErrorSignal);
string getFullname ( ) raises (FrameworkErrorSignal);
void setIdentificationNumber (in string idNumber)
raises (SetValueOutOfRangeSignal, FrameworkErrorSignal);
string getIdentificationNumber ( ) raises (FrameworkErrorSignal);
void setMaximumAssignedJobs (in long maximumJobs)
raises (SetValueOutOfRangeSignal, FrameworkErrorSignal);
long getMaximumAssignedJobs ( ) raises (FrameworkErrorSignal);
void setMaximumAssignedMachines (in long maximumMachine)
raises (SetValueOutOfRangeSignal, FrameworkErrorSignal);
long getMaximumAssignedMachines ( ) raises (FrameworkErrorSignal);
void setShift (in Shift aShift)
raises (SetValueOutOfRangeSignal, FrameworkErrorSignal);
Shift getShift ( ) raises (FrameworkErrorSignal);
any addResponsibility_toCategory (in any responsibility,
in string responsibilityCategory)
raises (FrameworkErrorSignal, ResponsibilityDuplicateSignal,
ResponsibilityCategoryNotFoundSignal );
void removeResponsibility_fromCategory (in any responsibility,
in string responsibilityCategory)
raises (FrameworkErrorSignal, ResponsibilityRemovalFailedSignal,
ResponsibilityCategoryRemovalFailedSignal);
ResponsibilitySequence responsibilities ( ) raises (FrameworkErrorSignal);
void addSkill (in Skill aSkill)
raises (FrameworkErrorSignal, SkillDuplicateSignal);
void removeSkill (in Skill aSkill)
raises (FrameworkErrorSignal, SkillRemovalFailedSignal,
SkillNotFoundSignal);
SkillSequence skills ( ) raises (FrameworkErrorSignal);
void addQualification (in QualificationData qualificationInformation)
raises (FrameworkErrorSignal, QualificationDuplicateSignal);