複数の業務観点にもとづいたプロセスモデル生成処理のスケーラビリティ向上

摘要

In the business process model based on multiple business aspects, it is difficult to describe the transaction in detailed workflow diagram, for example, BPMN (Business Process Modeling Notation). In this research, we propose a process modeling method (and a development environment), that uses direct product with a number of sub-process models to generate whole process model. This method is characterized by evolutional developing the whole model, and by local consistency maintenance between several business-aspects. It aims to eliminate a pair of the problem, that are generally recognized as exponential increase of memory size and calculation amount, and difficulty of direct developing of consistent model for end-users. In this paper, we present a basic inspection environment about the method, scalability improvement by using BDD (Binary Decision Diagram), and availability to apply the method to real process models.%複数の業務観点を考慮した業務プロセスは，細かい粒度の処理レベルでは内容が複雑になることから，BPMNなどワークフロー形式での記述が困難な場合が多い．本研究では，業務観点ごとの複数のプロセスモデルを重ね合わせ，包括的なプロセスを生成するモデリング手法（開発費境）を提案している．この手法では2～3の業務観点ごとにサブモデル間の整合を調整し，段階的に全体を構成することを特徴とする．これにより，アクティビティ要素集合（状態集合）の直積を計算する一般的方法の2つの問題，すなわち，要素数に対する記憶量・計算量の指数オーダーの増大と，ユーザが全体の整合を一度に考慮して無矛盾なモデルを構築する困難性，を同時に解消することをめざしている・本報告では，上記方式の基本検証環境の実装を紹介し，BDDを用いることによるスケーラビリティの向上と実際のプロセスモデルに適用した場合の有効性を示す．