ペトリネットを用いたコレオグラフイ実現について

摘要

複数のWeb サービス閤で実行される連携フロー定義はコレオグラフイと呼ばれる．コレオグラフイ実現問題とはコレオグラフイからそれを模倣するWeb サービスの動作モデルを導出する問題である．本論文では，コレオグラフイやサービス実装の記述言語，コレオグラフイ実現に関する諸問題について述べた後，それらの問題に対する既存手法と，その課題について述べる．%A choreography defines collaboration flows which are executed among plural Web services. The choreography realization problem is a problem to build a set of behavioral models of services which simulates the flow defined by the choreography. In this paper, after summarising languages to describe choreographies and service implementations, and problems on choreography realization, we will describe existing methods on choreography realization and problems on the methods.