お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 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

研究会情報
研究会 SWIM  
開催期間 2010-06-04 - 2010-06-04 
開催地(和) 機械振興会館 
開催地(英) Kikai-Shinko-Kaikan Bldg. 
テーマ(和) 次世代経営情報技術、一般 
テーマ(英) Enterprise information Technology in next generation 
講演論文情報の詳細
申込み研究会 SWIM 
会議コード 2010-06-SWIM 
本文の言語 日本語 
タイトル(和) プロセス代数CCSによるBPELの形式化 
サブタイトル(和)  
タイトル(英) Formalizing BPEL Processes by Process Algebra CCS 
サブタイトル(英)  
キーワード(1)(和/英) BPEL / BPEL  
キーワード(2)(和/英) プロセス代数 / Process algebra  
キーワード(3)(和/英) CCS / CCS  
キーワード(4)(和/英) SOA / SOA  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 山内 一馬 / Kazuma Yamauchi / ヤマウチ カズマ
第1著者 所属(和/英) 龍谷大学 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Univ.)
第2著者 氏名(和/英/ヨミ) 新川 芳行 / Yoshiyuki Shinkawa / シンカワ ヨシユキ
第2著者 所属(和/英) 龍谷大学 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Univ.)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2010-06-04 14:20:00 
発表時間 25分 
申込先研究会 SWIM 
資料番号 SWIM2010-4 
巻番号(vol) vol.110 
号番号(no) no.70 
ページ範囲 pp.23-28 
ページ数
発行日 2010-05-28 (SWIM) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会