ビジネスプロセスにおける時間制約検証
1) 龍谷大学
| Abstract | 近年、ネットワーク技術やweb技術の進歩により、ビジネスプロセスにおける時間制約が重要な問題となっている。ビジネスプロセス記述言語のBPMNやBPELにも時間記述の要素を提供しているが、十分な形式性や厳密性を備えていない。本研究は、ソフトウェア開発における標準的モデル記述言語UMLのタイミング図が持つ高い時間制約記述能力と、時間カラーペトリネットの厳密な時間制約検証能力に注目し、これらを統合して、ビジネスプロセスにも適用可能な時間制約記述およびその正当性・整合性検証の標準化されたプロセスを提案し、ビジネスプロセス設計とソフトウェア設計間の時間的矛盾の解消を図るものである。 |
|---|---|
| Recent progress of network and web technologies has made time constraints more critical issues in business processes. Business process specification languages like BPNM and BPEL are equipped with the temporal description elements, however they do not provide enough formality and rigorousness. In this paper we focus on two software design tools. One is the UML timing diagram, which enables us to express accurate time constraints. The other is the Colored Petri Net (CPN), which can validate time constraints rigorously. These two tools are consolidated into a single standardized process to express and validate the time constraints, which is applicable to both the business process and software design phases. Our proposed approach can resolve the temporal conflicts between these two different design phases. | |
| Keywords | ビジネスプロセス，時間制約，カラーペトリネット |
| Business Process，Time Constraints，Colored Petri Nets |
