抄録
近年、ネットワーク技術やweb技術の進歩により、ビジネスプロセスにおける時間制約が重要な問題となっている。ビジネスプロセス記述言語のBPMNやBPELにも時間記述の要素を提供しているが、十分な形式性や厳密性を備えていない。本研究は、ソフトウェア開発における標準的モデル記述言語UMLのタイミング図が持つ高い時間制約記述能力と、時間カラーペトリネットの厳密な時間制約検証能力に注目し、これらを統合して、ビジネスプロセスにも適用可能な時間制約記述およびその正当性・整合性検証の標準化されたプロセスを提案し、ビジネスプロセス設計とソフトウェア設計間の時間的矛盾の解消を図るものである。
