ビジネスプロセスにおける時間制約のBPMN表現と時間CPNによる検証
1) 龍谷大学理工学研究科
| Abstract | ビジネスプロセス（BP）記述の標準のひとつに、Object Management Group (OMG)が提供しているBusiness Process Modeling Notation (BPMN)がある。BPMNにはタスクの実行順序に関する制御を記述する要素に加え、処理のデッドラインや遅延などの時間制約を記述する要素が用意されている。この時間制約を含むBPモデルは、振舞いが複雑となるためBPMN単体での検証は困難と考えられる。本論文は、BPMNにより記述されたBPモデルをシミュレーション可能な時間カラーペトリネット（時間CPN）に変換し、厳密な検証を可能とする手法について述べる。 |
|---|---|
| Business Process Modeling Notation (BPMN) is one of the standard business process (BP) description, which is established by the Object Management Group (OMG). In addition to the notational elements to control the task execution sequence, BPMN provides us with those elements to express the time constraints such as deadline and delay. Since the behavior of BP models with the time constraints become complicated, it seems difficult to verify them using BPMN alone. This paper presents a method to make the rigorous verification possible for the models expressed in the form of BPMN, by converting them into the simulatable timed CPN models. | |
| Keywords | ビジネスプロセス，ビジネスプロセスモデリング表記法，カラーペトリネット |
| Business Process，Business Process Modeling Notation，Colored Petri Net |
