liftsystem.sym

UML语言构建的电梯管理系统

2 NEWTYPE Request z_Interfaces_M_ STRUCT  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#IMptNVSqh-5LL2ibAVpdV-RL|pos(1,13)")
3 FIELD direction DirectionKind z_Interfaces_O_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#qtEK3VM01sFLCa8bRE-oWlVI|pos(1,9)")
3 FIELD targetFloor Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#JRnY6LYLKMlLixW9jEmFQCZV|pos(1,9)")
3 OPERATOR @NewRequest  z_Interfaces_MC_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#hXIfBVDsc1CLkPpaGIF-VICL|pos(1,18)")
4 RESULT result @ptr_Request z_Interfaces_U_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#WThZ7EIifDlLAMGYbEkqutjV|pos(1,9)")
2 NEWTYPE LiftInfo z_Interfaces_N_ STRUCT  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#wL2KUVZy-jiLcbOhPEnpl2AE|pos(1,13)")
3 FIELD currentFloor Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#H54A2EEw-NELb*P9wIOuoaQI|pos(1,9)")
3 FIELD doorStatus DoorStatus z_Interfaces_P_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#NUQvcVEFpG5LAmjdVL6sfLaE|pos(1,9)")
3 FIELD isMoving Boolean z_Predefined_6_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#y70drL9s*pDLPd0Z0VfxshOI|pos(1,9)")
3 FIELD direction DirectionKind z_Interfaces_O_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#CKSbDEcA6SLLWyMWGIccXQXE|pos(1,9)")
3 OPERATOR @NewLiftInfo  z_Interfaces_NK_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#d*2LVEeiZeVL5j5k8VvvkZfV|pos(1,18)")
4 RESULT result @ptr_LiftInfo z_Interfaces_T_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#jOPZqV0W6MILYBA7FVX-ZELE|pos(1,9)")
2 NEWTYPE DirectionKind z_Interfaces_O_ ENUM  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#SYr87V03pvILCOkZSIpjEOAE|pos(1,13)")
3 LITERAL  up
3 LITERAL  down
2 NEWTYPE DoorStatus z_Interfaces_P_ ENUM  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#T5RnfL50vNELCOkkgEZtOcEL|pos(1,13)")
3 LITERAL  open
3 LITERAL  closed
2 NEWTYPE @AK@Reference@RequestList z_Interfaces_Q_ STRING @ptr_Request z_Interfaces_U_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#Sa128EJ0V1VLMJYW-EtKYGzE|pos(1,13)")
2 NEWTYPE @String_ptr_LiftInfo z_Interfaces_R_ STRING @ptr_LiftInfo z_Interfaces_T_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#wL2KUVZy-jiLcbOhPEnpl2AE|pos(1,13)")
2 NEWTYPE @String_ptr_Request z_Interfaces_S_ STRING @ptr_Request z_Interfaces_U_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#IMptNVSqh-5LL2ibAVpdV-RL|pos(1,13)")
2 NEWTYPE @ptr_LiftInfo z_Interfaces_T_ REF LiftInfo z_Interfaces_N_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#wL2KUVZy-jiLcbOhPEnpl2AE|pos(1,13)")
2 NEWTYPE @ptr_Request z_Interfaces_U_ REF Request z_Interfaces_M_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#IMptNVSqh-5LL2ibAVpdV-RL|pos(1,13)")
2 SYNTYPE ServiceTime z_Interfaces_V_ Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#Ga4IhVn-zsVLrTmatLJPeoJE|pos(1,13)")

1 PACKAGE LiftComponents  z_LiftComponents__ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#QhMwHE2LcZEL2vKbPI9OUZrE|pos(1,9)")
2 PROCESS_TYPE LiftManager  z_LiftComponents_0_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#izLc2IWf8ZDLv*-k-VcmIr*V|pos(1,18)")
3 STATE start #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#vEgFSVcfAvAL7*HgNEGAsXyI|pos(1,9)")
3 PROCEDURE add  z_LiftComponents_01_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#JcRSWLP4M2ELFR37lLwTsGvE|pos(1,19)")
4 STATE start #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#sTL3CEXphrSLPjA7SIqqcPkV|pos(1,13)")
4 DCL tmpCtrl_1 Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#D6Q0NVz04zBLN85hRVkjqNnI|pos(1,17)")
4 DCL newLift Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#qTME3Ekb0feLd4AZXLfOeYOI|pos(1,17)")
3 NEWTYPE @AK@Reference@ControllerList z_LiftComponents_02_ STRING Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#*U4LVLnbk4CLhoifJL3CvCZV|pos(1,17)")
3 STATE Idle #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#DhDx-Eewnp5Lrjoc3Ercy1yI|pos(2,15)")
3 STATE WaitEstimation #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#wSJ-0VD3ubFLqqwgPI0hSe8V|pos(3,15)")
3 DCL newRequest @ptr_Request z_Interfaces_U_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#gjEOoVaFXJALwPIgoEwghMsL|pos(1,13)")
3 DCL controllers @AK@Reference@ControllerList z_LiftComponents_02_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#PUqBgEA8GbFLokedkVsE*dkL|pos(1,13)")
3 DCL ctrlIndex Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#Xybs0V6XT5ELv8UZvLypcVGV|pos(1,13)")
3 DCL tmpCtrl Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#KGjxyVyCEgALz9kfyEciV-aI|pos(1,13)")
3 DCL respondedCtrl Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#tujU6E4Hf8EL13HhhV-nrWsI|pos(1,13)")
3 DCL minimalEffort Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#vys-8LV-RbLL6g-Z1IYKD3aV|pos(1,13)")
3 DCL leastEffort ServiceTime z_Interfaces_V_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#P2TIBVxUId5LfFgknV1O4pML|pos(1,13)")
3 DCL tmpEffort ServiceTime z_Interfaces_V_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#q9pTNEfvw9ILaW9jfVnhnIaE|pos(1,13)")
3 GATE P1  z_LiftComponents_0E_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#RtmxzLZr1lSLuYR6cIyS2QWI|pos(1,14)")
3 GATE P2  z_LiftComponents_0F_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#6cpOTVviVBCL-aqd2EMb2kDL|pos(1,14)")
3 GATE P3  z_LiftComponents_0G_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#9kFyYERqDOILKqJjLE*gYBAE|pos(1,14)")
2 PROCESS_TYPE LiftController  z_LiftComponents_1_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#wNLWBEjFLEVLvDrjVLhovX1V|pos(1,18)")
3 STATE start #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#zRkOcIOVrpVLGW8hSVMfsRFE|pos(1,9)")
3 PROCEDURE insertRequest  z_LiftComponents_10_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#As-HBLnmIVBL5OkXQIKzDGeL|pos(1,19)")
4 STATE start #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#AApQ3VeNsdLLDfjbXLRpUAeI|pos(1,13)")
4 FPAR r @ptr_Request z_Interfaces_U_ IN  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#gMdIaICSgpvL1uRWyVGhfpLL|pos(1,10)")
3 PROCEDURE calculateEffort  z_LiftComponents_11_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#sHapSIl8ck5LJWof*IQMyL0I|pos(1,19)")
4 STATE start #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#OZdIeVMXYzALJDfjTInr3DEI|pos(1,13)")
4 FPAR r @ptr_Request z_Interfaces_U_ IN  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#nusKELP4GkLLukikfV8LBZZI|pos(1,10)")
4 RESULT ServiceTime z_Interfaces_V_
3 STATE Idle #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#M-JQTE*ozaeLbCsasLNk2vtE|pos(2,15)")
3 STATE HandlingRequest #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#coNmLE-sr0BL86wZ2VTJZRKL|pos(2,15)")
3 STATE WaitNotification #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#dG2oNI4waAlLimL7nIMYC5IV|pos(3,15)")
3 DCL requests @AK@Reference@RequestList z_Interfaces_Q_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#I39yWVkAXVCLJ6LY7Vbj5ctV|pos(1,13)")
3 DCL req @ptr_Request z_Interfaces_U_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#Bmxm-LVf0NvL1ClZtE7Mp7PV|pos(1,13)")
3 DCL currentInfo @ptr_LiftInfo z_Interfaces_T_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#Qbpc8LoWqXBLIuZWULnmszvV|pos(1,13)")
3 DCL theLift Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#CAS41IeOMYLLY3qdxEL9D5VL|pos(1,13)")
3 DCL service_time ServiceTime z_Interfaces_V_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#PN2PAEaWk8ILRr49YE77cfVI|pos(1,13)")
3 DCL pendingRequest Boolean z_Predefined_6_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#rXLC-L734i0LvUvg4EjHm65E|pos(1,13)")
3 DCL numFloor Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#-bIC2V*37vLLn-PcmEkmpI9L|pos(1,13)")
3 DCL req1 @ptr_Request z_Interfaces_U_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#pUp9FI6f4IiLDt09xLydbruE|pos(1,13)")
3 GATE P1  z_LiftComponents_1E_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#1XCDdVlXsJSLvRxfQEo52YvI|pos(1,14)")
3 GATE P2  z_LiftComponents_1F_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#0kVpgVjrsQeLnPVh9Eu6OeUV|pos(1,14)")
3 GATE P3  z_LiftComponents_1G_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#x9*ovLoJvyALreYaMLtUEoaI|pos(1,14)")
2 PROCESS_TYPE Lift  z_LiftComponents_2_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#BPatUI6RQSLLpuegLEKiGZaL|pos(1,18)")
3 STATE start #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#7pO4jLcbCKeLXUE76V*-3OoE|pos(1,9)")
3 FPAR ctrl Pid z_Predefined_B_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#U9aXLVoQ8r0LG0GgTI8W7BdV|pos(1,5)")
3 STATE Idle #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#KBgb-LFv7MILD9FbPIBRMkNE|pos(2,15)")
3 STATE Moving #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#UUtciV9m9OeLnAzb0Ex6-bKI|pos(2,15)")
3 TIMER floorTimer 13  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#Qo1pQLItwmBLv-RXTVWV-zsI|pos(1,15)")
3 TIMER doorTimer 14  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#TLh6mVUVb1ALxJ5fsEg3DX2E|pos(1,15)")
3 DCL destination Integer z_Predefined_9_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#FboWpIyhJc5LFJnXMLaKly-I|pos(1,13)")
3 DCL liftInfo @ptr_LiftInfo z_Interfaces_T_  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#26LIHI1pguvLN1phiIvcfpfE|pos(1,13)")
3 GATE P1  z_LiftComponents_27_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#02EcyLhLkNALBR0bgLPZr8lI|pos(1,14)")

1 PACKAGE LiftManagement  z_LiftManagement__ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#LakxRIUly0ALez7gVELAveDI|pos(1,9)")