104418 - پروژه CPNtools

سلام خسته نباشید یه پروژه دارم میخوام بررسی کنید هزینه مدلسازیش با CPNtools چقدر میشه Display_Content′ = Display_Content ) Seismic_Data′ = Seismic_Data Resource_Pool′ = Resource_Pool Timer_Value′ = Timer_Value Operation_Active′ = Operation_Active Actuator_Active′ = Actuator_Active Mobile_Users′ = Mobile_Users Current_Alert_Level′ = Current_Alert_Level └ ┌ ManageResources ΔSystem Requested_Resources? : ResourceAmount Resource_Available! : Status | (Requested_Resources? ≤ Resource_Level) ⇒ ( Resource_Available! = True Resource_Level′ = Resource_Level − Requested_Resources? Power_Level′ = Power_Level − 1 ) ∨ (Requested_Resources? > Resource_Level) ⇒ ( Resource_Available! = False Resource_Level′ = Resource_Level Power_Level′ = Power_Level ) Seismic_Data′ = Seismic_Data Resource_Pool′ = Resource_Pool Timer_Value′ = Timer_Value Display_Content′ = Display_Content Local_Controller′ = Local_Controller Operation_Active′ = Operation_Active Alarm_Active′ = Alarm_Active Actuator_Active′ = Actuator_Active Mobile_Users′ = Mobile_Users Current_Alert_Level′ = Current_Alert_Level └ ┌ SendMobileAlert ΔSystem User_Id? : USER_ID Mobile_Alarm! : Status Mobile_Message_Alert! : Status | Current_Alert_Level = Danger ⇒ ( Mobile_Alarm! = True Mobile_Message_Alert! = True ) ∨ Current_Alert_Level ≠ Danger ⇒ ( Mobile_Alarm! = False Mobile_Message_Alert! = False ) Seismic_Data′ = Seismic_Data Resource_Pool′ = Resource_Pool Resource_Level′ = Resource_Level Power_Level′ = Power_Level Timer_Value′ = Timer_Value Display_Content′ = Display_Content Local_Controller′ = Local_Controller Operation_Active′ = Operation_Active Alarm_Active′ = Alarm_Active Actuator_Active′ = Actuator_Active Mobile_Users′ = Mobile_Users Current_Alert_Level′ = Current_Alert_Level └ ┌ ActivateEmergencyPower ΔSystem Activate_Emergency_Power! : Status Emergency_Power_Amount! : ℕ | Power_Level ≤ 5 ⇒ ( Activate_Emergency_Power! = True Power_Level′ = 100 (Resource_Level + 50 ≤ 100) ⇒ Resource_Level′ = Resource_Level + 50 (Resource_Level + 50 > 100) ⇒ Resource_Level′ = 100 Display_Content′ = True Emergency_Power_Amount! = 100 − Power_Level ) ∨ Power_Level > 5 ⇒ ( Activate_Emergency_Power! = False Power_Level′ = Power_Level Resource_Level′ = Resource_Level Display_Content′ = Display_Content Emergency_Power_Amount! = 0 ) Seismic_Data′ = Seismic_Data Resource_Pool′ = Resource_Pool Timer_Value′ = Timer_Value Local_Controller′ = Local_Controller Operation_Active′ = Operation_Active Alarm_Active′ = Alarm_Active Actuator_Active′ = Actuator_Active Mobile_Users′ = Mobile_Users Current_Alert_Level′ = Current_Alert_Level └ این مدلسازی Z Notatation پروژست این دوتا هم conseptual model و Activity Diagram مدل هستش اگر با GCL هم مدل میکنید هزینه اون رو هم اطلاع بدید #نیکو