SOAにおけるサービス記述の形式化(ワークショップ-Web2.0時代のビジネスモデル-)
スポンサーリンク
概要
- 論文の詳細を見る
SOAの基盤技術の一つであるWebサービスにおける記述言語WSDLを用いることによって、提供するサービスのインタフェースを厳密に記述することが可能であるが、機能的な記述はできない。このサービス機能を非形式言語で記述することは可能であるが、この方法では仕様の厳密性に欠けるため、本論文では形式仕様言語の一つであるVDM-SLを用いてこのサービスの機能を記述し、WSDLとVDM-SLを併用することで、サービスをより厳密に公開するための手法を提案する。またVDM-SLにより記述された仕様の検査についても検討を行う。
- 2008-11-14
著者
-
新川 芳行
龍谷大学理工学研究科情報メディア学専攻
-
新川 芳行
龍谷大学大学院理工学研究科情報メディア学専攻
-
岡田 祥
龍谷大学大学院理工学研究科情報メディア学専攻
-
新川 芳行
龍谷大学大学院理工学研究科
関連論文
- UMLシーケンス図における時間制約の記述とその検証 (ソフトウェアインタプライズモデリング)
- クラス-シーケンスモデル間の整合性検証(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- SOAにおけるサービス適合性検証(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- モデル正当性検証の虚と実(Webサービス時代の経営情報技術とエンドユーザコンピューティング)
- BPEL記述からの例外処理分離とその形式化(ワークショップ(査読付き),「次世代経営情報技術」,その他)
- ゲームソフトウェアへのモデル駆動開発適用(Web2.0時代におけるビジネスモデル)
- UMLシーケンス図における時間制約の記述とその検証(次世代経営情報技術,その他)
- SOAにおけるサービス記述の形式化(ワークショップ-Web2.0時代のビジネスモデル-)
- ユースケース-シーケンスモデル間の整合性検証(ワークショップ-Web2.0時代のビジネスモデル-)
- モデル検査によるUMLアクティビティ図の正当性検証(ワークショップ-Web2.0時代のビジネスモデル-)
- SPINによるビジネスプロセスモデルの正当性検証(Web2.0時代のビジネスモデル)
- UNLシーケンス図におけるモデル検証方法(Web2.0時代のビジネスモデル)
- O-008 機能仕様と振る舞い仕様間の整合性(O分野:情報システム,一般論文)
- 時間制約が存在するUMLの正当性検証(次世代経営情報技術,一般)
- UMLアクティビティ図-クラス図間の整合性検証(次世代経営情報技術,一般)
- プロセス代数CCSによるBPELの形式化(次世代経営情報技術,一般)
- Webサービスによる分散データベース実現(Web2.0時代のビジネスモデル)
- 時間制約を含むUMLシーケンス図の検証手法(ワークショップ(査読付き),「次世代経営情報技術,その他」)
- トランザクション処理における補償プロセスの設計と実装(ワークショップ-Web2.0時代のビジネスモデル-)
- 不確定要素を含む問題領域からの要求抽出とモデル化(Web2.0時代におけるプロジェクトマネジメント)
- CPNによるUMLモデル間整合性検証(次世代経営情報技術,一般)
- CPNによるトランザクションモデルの表現と検証(次世代経営情報技術,一般)
- CPNによるGoogleAppEngineのモデル化と検証(提案型エンタプライズモデリング,一般)
- CPNによるデータベース整合性検証(提案型エンタプライズモデリング,一般)
- Event-BモデルのHaskellによる実装(提案型エンタプライズモデリング,一般)
- UMLステートマシン-アクティビティ図間の整合性分析 (ソフトウェアインタプライズモデリング)
- UMLステートマシン-アクティビティ図間の整合性分析(提案型エンタプライズモデリング ワークショップ)
- CPNによるクラウドトランザクションの等価性評価 (ソフトウェアインタプライズモデリング)
- Event-Bによるモデル駆動モバイルアプリケーション開発(インタプライズモデル化技術,一般)
- CPNによるクラウドトランザクションの等価性評価(インタプライズモデル化技術,一般)
- CPNによるUMLクラス図とステートマシン図間の整合性検証(インタプライズモデル化,一般)
- クラウド環境におけるトランザクション処理の性能評価(インタプライズモデル化,一般)
- BASEトランザクションにおけるデータ整合性(インタプライズモデル化,一般)
- Event-B によるモデル駆動モバイルアプリケーション開発