semi合集-English.pdf - 第2428页

SEMI E86-0200 © SEMI 1999 , 2000 28 exception QualificationNotAssignedSignal {string identificationNumber;}; exception QualificationNotFoundSignal {string identificationNumber;}; exception ResponsibilityDuplicateSignal {…

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);

SEMI E86-0200 © SEMI 1999, 200029

void removeQualification (in QualificationData qualificationInformation)

raises (FrameworkErrorSignal, QualificationNotAssignedSignal);

QualificationData findQualificationByIdentifier (in string identifier)

raises (FrameworkErrorSignal, QualificationNotFoundSignal);

QualificationDataSequence qualifications ( )

raises (FrameworkErrorSignal);

ProcessCapabilitySequence processCapabilities ( )

raises (FrameworkErrorSignal);

void makeOnShift ( ) raises (FrameworkErrorSignal);

void makeOffShift ( ) raises (FrameworkErrorSignal);

void makeAtWorkStation ( )

raises (FrameworkErrorSignal, InvalidStateTransitionSignal );

void makeNotAtWorkStation ( )

raises (FrameworkErrorSignal, InvalidStateTransitionSignal );

boolean isOnShift ( ) raises (FrameworkErrorSignal);

boolean isAvailableForWork ( ) raises (FrameworkErrorSignal);

boolean isAtWorkStation ( ) raises (FrameworkErrorSignal);

boolean hasSkill (in Skill aSkill) raises (FrameworkErrorSignal);

boolean hasSkills ( ) raises (FrameworkErrorSignal);

boolean isAvailableForMachine (in Machine aMachine)

raises (FrameworkErrorSignal);

void assignToMachine (in Machine aMachine) raises (FrameworkErrorSignal);

void deassignFromMachine (in Machine aMachine)

raises (FrameworkErrorSignal);

boolean isAssignedToMachine (in Machine aMachine)

raises (FrameworkErrorSignal);

boolean isAssignedToMachines ( ) raises (FrameworkErrorSignal);

MachineSequence assignedMachines ( ) raises (FrameworkErrorSignal);

boolean isAvailableForMoreMachineAssignments ( )

raises (FrameworkErrorSignal);

boolean isQualifiedForJob (in Job aJob) raises (FrameworkErrorSignal);

boolean isQualifiedForJobs ( ) raises (FrameworkErrorSignal);

boolean isAvailableForJob (in Job aJob) raises (FrameworkErrorSignal);

void assignToJob (in Job aJob) raises (FrameworkErrorSignal);

void deassignFromJob (in Job aJob) raises (FrameworkErrorSignal);

boolean isAssignedToJob (in Job aJob) raises (FrameworkErrorSignal);

boolean isAssignedToJobs ( ) raises (FrameworkErrorSignal);

JobSequence assignedJobs ( ) raises (FrameworkErrorSignal);

boolean isAvailableForMoreJobAssignments ( )

raises (FrameworkErrorSignal);

}; // end Person

// -------------------------- QualificationData --------------------------

interface QualificationData : NamedEntity {

void setQualificationDesignator (in string designator)

raises (FrameworkErrorSignal);

string getQualificationDesignator ( ) raises (FrameworkErrorSignal);

void setQualificationHistory (in History qualificationHistory)

raises (FrameworkErrorSignal);

History getQualificationHistory( ) raises (FrameworkErrorSignal);