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 هم مدل میکنید هزینه اون رو هم اطلاع بدید

تا چهارشنبه

کامپیوتر

این پروژه شامل 1 فایل مهم است، لطفا قبل از ارسال پیشنهاد حتما نسبت به بررسی این فایل اقدام فرمایید.

مهارت ها و تخصص های مورد نیاز

---

---