Full metadata record
DC FieldValueLanguage
dc.contributor.author王靜慧en_US
dc.contributor.authorWang, Ching-Hueyen_US
dc.contributor.author王豐堅en_US
dc.contributor.authorWang, Feng-Jianen_US
dc.date.accessioned2014-12-12T02:00:02Z-
dc.date.available2014-12-12T02:00:02Z-
dc.date.issued2008en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#GT009117820en_US
dc.identifier.urihttp://hdl.handle.net/11536/50669-
dc.description.abstract相對於BPMN而言,現存的商業流程之研究或商業軟體大多只提供或使用其中的部分。BPMN主要的組成元素包括:控制流程、訊息流程、資料流程以及角色分配。它也提供多實體activity、事件觸發activity及進階控制機制。雖然這些元素讓BPMN具更大的流程表達能力,但也增加了設計階段其所表達之流程的分析困難度。本論文提出一個正規流程模型來協助根據BPMN四種組成元素所描述的商業流程。同時,也提供一具階層特質之時間顏色派翠網模型。並建立一套流程與此網的轉換規則,以便將上述BPMN商業流程轉換成相對之時間顏色派翠網,來運用既有之分析方法做靜態分析—如deadlock檢查。在本論文中,我們更進一步探討well-formed和unstructured相當普遍的流程之分析。此外,我們將以一個實際的例子做示範,利用時間顏色派翠網deadlock分析方法,再根據其結果推斷可能會影響流程執行的異常artifact之使用。最後,我們也將比較刻下技術與我們之研究成果。zh_TW
dc.description.abstractAlthough many business process models have been proposed, most of them do not apply all the following arguments: control, message and data flows and role assignments, defined completely in BPMN. Besides, they do not provide the multi-instance activity, event-triggered activity or the control node with complex mechanisms as in BPMN. On the other hand, these features allow a process to be defined with richer semantics but increase the difficulty of correcting an error or inaccurate process in workflow design. This thesis proposes a formal process model to help describing a BPMN-based process. To simplify the analysis, we also provided Hierarchical Timed Coloured Petri Nets ( PNets), which is extended from Time Coloured Petri Nets with hierarchy and allows some analysis with existing techniques. Once a workflow based on our BPMN model is specified, a series of mapping rules can be used to transform the workflow into a PNets for analysis. An example is applied to demonstrate the transformation and the corresponding deadlock detection. Furthermore, the artifact usage anomaly detection mechanisms within either a well-formed or unstructured process are discussed. Finally, a comparison among related works and ours and the future works are presented.en_US
dc.language.isoen_USen_US
dc.subject商業流程模型符號zh_TW
dc.subject工作流程zh_TW
dc.subject訊息流程zh_TW
dc.subject控制流程zh_TW
dc.subject資料流程zh_TW
dc.subject階層式派翠網zh_TW
dc.subject顏色派翠網zh_TW
dc.subject時間顏色派翠網zh_TW
dc.subjectBPMNen_US
dc.subjectworkflowen_US
dc.subjectmessage flowen_US
dc.subjectcontrol flowen_US
dc.subjectdata flowen_US
dc.subjecthierarchical PNetsen_US
dc.subjectCPNetsen_US
dc.subjectTime CPNetsen_US
dc.title運用一具Hierarchy 特性的Timed CPNets 技術來分析BPMN 工作流程zh_TW
dc.titleApplying Timed CPNets with Hierarchy to Analyze a Workflow in BPMNen_US
dc.typeThesisen_US
dc.contributor.department資訊科學與工程研究所zh_TW
Appears in Collections:Thesis


Files in This Item:

  1. 782001.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.