liftsystem.sym

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

TAU Developer .sym file, version 1.0

1 PACKAGE Predefined  z_Predefined__ #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",27,9)
2 NEWTYPE Boolean z_Predefined_6_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",29,10)
2 NEWTYPE Character z_Predefined_7_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",40,9)
2 NEWTYPE Charstring z_Predefined_8_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",101,9)
2 NEWTYPE Integer z_Predefined_9_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",135,9)
2 NEWTYPE Real z_Predefined_A_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",156,9)
2 NEWTYPE Pid z_Predefined_B_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",224,9)
2 NEWTYPE Duration z_Predefined_C_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",230,9)
2 NEWTYPE Time z_Predefined_D_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",246,9)
2 NEWTYPE Bit z_Predefined_E_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",260,9)
2 NEWTYPE Bit_string z_Predefined_F_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",270,9)
2 NEWTYPE Octet z_Predefined_G_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",291,9)
2 NEWTYPE Octet_string z_Predefined_H_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",322,9)
2 NEWTYPE NULL z_Predefined_I_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",340,9)
2 NEWTYPE Object_identifier z_Predefined_J_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",344,9)
2 NEWTYPE Any_type z_Predefined_K_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",359,9)
2 SYNTYPE IA5String z_Predefined_L_ Charstring z_Predefined_8_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",116,3)
2 SYNTYPE NumericString z_Predefined_M_ Charstring z_Predefined_8_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",121,3)
2 SYNTYPE PrintableString z_Predefined_N_ Charstring z_Predefined_8_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",126,3)
2 SYNTYPE VisibleString z_Predefined_O_ Charstring z_Predefined_8_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",131,3)
2 SYNTYPE Natural z_Predefined_P_ Integer z_Predefined_9_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\predef.sdl",154,9)

1 SYSTEM LiftSystem  z_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#3OGR2LayaR5LT0VjLEaulILI|pos(1,8)")
2 PROCESS LiftController z_LiftComponents_1_Inst 0 -1 #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#3OGR2LayaR5LT0VjLEaulILI|pos(1,8)") : LiftController z_LiftComponents_1_
2 PROCESS Lift z_LiftComponents_2_Inst 1 -1 #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#3OGR2LayaR5LT0VjLEaulILI|pos(1,8)") : Lift z_LiftComponents_2_
2 CHANNEL @lifts@P1@liftControllers@P2  z0_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#ZOOZYL7AZeVLbZFW1EBbEopL|pos(1,13)")
2 CHANNEL @liftControllers@P3@liftManager@P3  z1_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#JD9K*EP6xSFL0jqb9Ve5k5PE|pos(1,13)")
2 CHANNEL @LiftSystem@envPort@liftManager@P1  z2_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#KMfaILW1BZILy6Kk0LTFPaeV|pos(1,13)")
2 CHANNEL @LiftSystem@envPort@liftControllers@P1  z3_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#6FAVyVuOYplLKxmjlIGpn*RI|pos(1,13)")
2 CHANNEL @LiftSystem@envPort@liftManager@P2  z4_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#kGe8uVUXo-ALTQ-aZVVWqMPL|pos(1,13)")
2 PROCESS liftManager z5_ 2 1  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#xiyAsI5NsrILWcX61Eeu*FZE|pos(1,13)") : LiftManager z_LiftComponents_0_
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 liftControllers z6_ 3 10  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#JyoDrIgiulFLx*s6HVbn0JTE|pos(1,13)") : LiftController z_LiftComponents_1_
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 lifts z7_ 4 10  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#6OFoNIVo0TLLI5sYXL-GKVqL|pos(1,13)") : Lift z_LiftComponents_2_
3 GATE P1  z_LiftComponents_27_ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#02EcyLhLkNALBR0bgLPZr8lI|pos(1,14)")

1 PACKAGE U2ctypes  z_U2ctypes__ #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\u2ctypes.sdl",26,9)
2 SYNTYPE int z_U2ctypes_2_ Integer z_Predefined_9_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",32,9)
2 SYNTYPE unsigned_int z_U2ctypes_3_ USERDEF  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",40,9)
2 SYNTYPE long_int z_U2ctypes_4_ USERDEF  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",88,9)
2 SYNTYPE unsigned_long_int z_U2ctypes_5_ USERDEF  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",145,9)
2 SYNTYPE short_int z_U2ctypes_6_ USERDEF  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",194,9)
2 SYNTYPE unsigned_short_int z_U2ctypes_7_ USERDEF  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",251,9)
2 SYNTYPE char z_U2ctypes_8_ Character z_Predefined_7_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",297,9)
2 SYNTYPE signed_char z_U2ctypes_9_ Character z_Predefined_7_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",304,9)
2 SYNTYPE unsigned_char z_U2ctypes_A_ Octet z_Predefined_G_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",311,9)
2 SYNTYPE float z_U2ctypes_B_ USERDEF  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",318,9)
2 SYNTYPE double z_U2ctypes_C_ Real z_Predefined_A_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\BasicCTypes.pr",372,9)

1 PACKAGE U2ExtraOps  z_U2ExtraOps__ #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\u2ExtraOps.pr",26,9)
2 NEWTYPE ProcessInst z_U2ExtraOps_0_  #SDTREF(TEXT,"C:\\Program\\Telelogic\\Tau 2.2\\bin\\..\\addins\\sdlkernels\\ADT\\u2ExtraOps.pr",27,9)

1 PACKAGE Interfaces  z_Interfaces__ #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#zRvkSLRMT7FLqUDaHEv9jjGE|pos(1,9)")
2 SIGNAL requestLift 1  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#uTUrpVssQnILkAmWxIKpHw*E|pos(1,12)")
3 SIGNALPAR  Integer z_Predefined_9_ DirectionKind z_Interfaces_O_
2 SIGNAL addLift 2  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#HyOvDI59Bn5LU48b-VdKsHIE|pos(1,12)")
2 SIGNAL gotoFloor 3  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#ytjuiVNeQtDLmewg-IRorZEV|pos(1,12)")
3 SIGNALPAR  Integer z_Predefined_9_
2 SIGNAL directionLight 4  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#k52OMVj-0ZALsL5jjLOzYGRV|pos(1,12)")
3 SIGNALPAR  DirectionKind z_Interfaces_O_
2 SIGNAL confirmAdd 5  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#fyw3gLjuyiFLvSsjNLMY940I|pos(1,12)")
2 SIGNAL floorLight 6  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#2f76TL5ZAWeLBT1bQI1-03UV|pos(1,12)")
3 SIGNALPAR  Integer z_Predefined_9_
2 SIGNAL notify 7  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#7DH0rLkE1aVLQywhBLfchWOI|pos(1,12)")
3 SIGNALPAR  @ptr_LiftInfo z_Interfaces_T_
2 SIGNAL associate 8  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#ZjTrpE0cbV5LvCJZ2I01BnpI|pos(1,12)")
3 SIGNALPAR  Pid z_Predefined_B_
2 SIGNAL moveToFloor 9  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#cpDD9EfpNxlL*DEZYVriBp-V|pos(1,12)")
3 SIGNALPAR  Integer z_Predefined_9_
2 SIGNAL serviceTime 10  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#bXSm0I-lqoVLnqmd5IT7ulQV|pos(1,12)")
3 SIGNALPAR  ServiceTime z_Interfaces_V_
2 SIGNAL requestServiceTime 11  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#y*IlLEZrLG5LbT8aVIlllS1I|pos(1,12)")
3 SIGNALPAR  @ptr_Request z_Interfaces_U_
2 SIGNAL handleRequest 12  #SDTREF(U2,"u2:F:\UML\LiftManagement20\SystemDesign\LiftManagement.u2#yLiQnVjoi9SLysj7TL52d*0E|pos(1,12)")
3 SIGNALPAR  @ptr_Request z_Interfaces_U_