semi合集-English.pdf - 第2429页

SEMI E86-0200 © SEMI 1999 , 2000 29 void removeQualification (in QualificationData qualificationInformation) raises (FrameworkErrorSignal, QualificationNotAssignedSignal); QualificationData findQualificationByIdentifier …

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

TimeStamp certificationDate ( ) raises (FrameworkErrorSignal);

}; // end QualificationData

}; // end PersonManagement

// Skill Management Component

module SkillManagement {

// -------------------------- SkillManager --------------------------

interface SkillManager : ComponentManager {

exception SkillDuplicateSignal {string skillName;};

exception SkillNotAssignedSignal {string skillName;};

exception SkillRemovalFailedSignal {string skillName;};

exception SkillNotFoundSignal {string skillName;};

Skill createSkillNamed (in string skillName)

raises (FrameworkErrorSignal, SkillDuplicateSignal);

void removeSkillNamed (in string skillName)

raises (FrameworkErrorSignal, SkillNotAssignedSignal,

SkillRemovalFailedSignal);

SkillSequence skills ( ) raises (FrameworkErrorSignal);

Skill findSkillNamed (in string skillName)

raises (FrameworkErrorSignal, SkillNotFoundSignal );

}; // end SkillManager

// -------------------------- Skill --------------------------

interface Skill : NamedEntity {

exception SkillRequirementDuplicateSignal {string requirementName;};

exception SkillRequirementRemovalFailedSignal

{SkillRequirement aRequirement;};

exception SkillRequirementNotFoundSignal {string requirementName;};

void setSkillCategories (in CategorySequence Categories)

raises (FrameworkErrorSignal);

CategorySequence getSkillCategories ( ) raises (FrameworkErrorSignal);

SkillRequirement createSkillRequirementNamed (in string requirementName)

raises (FrameworkErrorSignal, SkillRequirementDuplicateSignal);

void removeSkillRequirement (in SkillRequirement aRequirement)

raises (FrameworkErrorSignal, SkillRequirementRemovalFailedSignal,

SkillRequirementNotFoundSignal);

SkillRequirement findSkillRequirementNamed (in string requirementName)

raises (FrameworkErrorSignal, SkillRequirementNotFoundSignal);

ProcessCapabilitySequence processCapabilities ( )

raises (FrameworkErrorSignal);

RequirementSequence requirements ( ) raises (FrameworkErrorSignal);