講演抄録/キーワード |
講演名 |
2010-06-04 14:20
プロセス代数CCSによるBPELの形式化 ○山内一馬・新川芳行(龍谷大) SWIM2010-4 |
抄録 |
(和) |
Webサービスオーケストレーション言語であるBPELによりビジネスプロセスの自動化や高度な判断処理を要する情報システムの構築が可能となるが、BPELは記述の自由度が高く、矛盾した記述があっても、それを検出する能力に欠けている。このため、誤ったBPEL記述により様々な問題を引き起こす可能性がある。本論文では、この問題の解決するために形式手法の一つであるCCSを用いて、BPELを厳密に表現し、その正当性を評価する手法について述べる。 |
(英) |
By using BPEL, one of the web services orchestration languages, we can construct automated business processes and the related highly sophisticated decision systems. However, BPEL provides us with a wide variety of notation, which makes it difficult to detect the inconsistency resides in the process descriptions, and as a result, we might create wrong BPEL descriptions to cause various problems. This paper proposes a BPEL formalization and validation method using CCS. |
キーワード |
(和) |
BPEL / プロセス代数 / CCS / SOA / / / / |
(英) |
BPEL / Process algebra / CCS / SOA / / / / |
文献情報 |
信学技報, vol. 110, no. 70, SWIM2010-4, pp. 23-28, 2010年6月. |
資料番号 |
SWIM2010-4 |
発行日 |
2010-05-28 (SWIM) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SWIM2010-4 |