YAWL設計例項

2022-04-28 23:57:09 字數 1313 閱讀 1440

要求設計乙個定票的流程圖,大致題目如下:

利用yawl主要設計control-flow,data type, resource,同時還有路徑定義。

設計的control-flow如下:

這裡主要注意的是利用了cancel region,也就是當有hotel,flight,car 這三個task返回了false進入cancel這個task時,就會取消掉剩下的hotel,fligth,car的task;如何設定可以檢視yawl的使用手冊:

data type在yawl中是用xsd來設計的,可以通過yawl中的左邊欄中的properties->specification->data defintions中進行編寫和設定各種資料型別,這個型別主要是用於net variables和task variables的變數設定,與在egine啟動後進行reource 分配後進入**的task表單格式有關,比如有如下type的task:

相關的語法可以參考:

在yawl進行模型建立時,免不了會有multiple choice的情況,這時就要根據相關的資料的值進行分支條件的判斷。那麼如何定義這個分支條件呢?在yawl中是在propertites->task->split predication這裡,設定的相關截圖如下:

路徑的設定在yawl中是用xpath語言進行設定的。上述語句中進入pay task的情況是,net 中的bookhotel 這個type中的canbook選擇了true(後面的text是將true轉化為『true』),這個bookhotel,是在hotel task(內部有乙個task variables是book型別的,而與之對應也有乙個net varibles變數是book,兩者要進行data bind(這裡的hotel task的book變數是output型別也就是將task中的變數內空複製到了net中)。相關的截圖如下:

YAWL的gui控制端

沒有想到,yawl提供了乙個簡易的gui控制段,這樣給除錯跟蹤執行,帶來了莫大的方便 其有乙個gui端的測試控制端,是 au.edu.qut.yawl.engine.gui.yenginegui類。list newspecids engine.addspecifications selectedfi...

架構設計例項

原理與架構 高可用性系統在大眾點評的實踐與經驗 大型 架構系列 電商 架構案例 微博平台穩定性體系介紹 攜程docker架構 攜程基於storm的實時大資料平台實踐 從技術細節看美團的架構 12306 核心模型設計思路和架構設計 airbnb 的大資料架構 經典大資料架構案例 酷狗 的大資料平台重構...

響應式設計 例項

響應式有三個核心的東西 1 css3 的media query屬性,這個是響應的乙個基石 2 彈性的布局 3 彈性 media query屬性使用上次有說明,在此就不多做說明。本人自己感覺,相應式布局的難點在2 3兩點。彈性布局要求頁面不能用前端最熟悉的px,只能用百分比,但是百分比會帶來很多問題,...