|
|
|
|
|
電子社会は様々な組織や個人が複数の情報システムにより結合された大規模かつ複雑なシス テムである．安心して生活できる電子社会を構築するためには，様々な要件（正当性，公平 性，セキュリティ，進化性，耐事故・故障性，アカウンタビリティなど）を事前に検証しておく必要 がある．電子社会における多様なアクティビティを記述するための道具としてワークフローやビ ジネスプロセス記述言語があるが，これらに関しては，たとえば，以下のことを設計段階で検証 しておく必要がある． - 定義されたプロセスが仕様を満たしているかどうか（検証問題） - 与えられたプロセスに対してどのように資源を割り当てればよいか（最適化問題） - 大量のジョブが投入されたときにどの程度の性能が保証されるか（性能評価問題） 情報科学の手法，特に，形式的モデル化の手法を用いて，電子社会におけるワークフローの 検証問題について研究を行う． |
 |
|
|
ドキュメント
Modeling and Verification of Workflows for e-Society ([pdf], 419k)
Performance Evaluation of Workflows using ... ([pdf], 134k)
リンク
21世紀COE検証進化可能電子社会
[戻る]