UMLシーケンス図における時間制約の記述とその検証 (ソフトウェアインタプライズモデリング)

スポンサーリンク

概要

• 論文の詳細を見る
• 2010-02-26

著者

• 新川 芳行

  龍谷大学大学院理工学研究科情報メディア学専攻

• 安田 佳宏

  龍谷大学大学院理工学研究科情報メディア学専攻

関連論文

• UMLシーケンス図における時間制約の記述とその検証 (ソフトウェアインタプライズモデリング)
• クラス-シーケンスモデル間の整合性検証(ワークショップ(査読付き),「次世代経営情報技術」,その他)
• SOAにおけるサービス適合性検証(ワークショップ(査読付き),「次世代経営情報技術」,その他)
• モデル正当性検証の虚と実(Webサービス時代の経営情報技術とエンドユーザコンピューティング)
• BPEL記述からの例外処理分離とその形式化(ワークショップ(査読付き),「次世代経営情報技術」,その他)
• ゲームソフトウェアへのモデル駆動開発適用(Web2.0時代におけるビジネスモデル)
• UMLシーケンス図における時間制約の記述とその検証(次世代経営情報技術,その他)
• SOAにおけるサービス記述の形式化(ワークショップ-Web2.0時代のビジネスモデル-)
• ユースケース-シーケンスモデル間の整合性検証(ワークショップ-Web2.0時代のビジネスモデル-)
• モデル検査によるUMLアクティビティ図の正当性検証(ワークショップ-Web2.0時代のビジネスモデル-)
• SPINによるビジネスプロセスモデルの正当性検証(Web2.0時代のビジネスモデル)
• O-008 機能仕様と振る舞い仕様間の整合性(O分野:情報システム,一般論文)
• 時間制約が存在するUMLの正当性検証(次世代経営情報技術,一般)
• UMLアクティビティ図-クラス図間の整合性検証(次世代経営情報技術,一般)
• プロセス代数CCSによるBPELの形式化(次世代経営情報技術,一般)
• Webサービスによる分散データベース実現(Web2.0時代のビジネスモデル)
• 時間制約を含むUMLシーケンス図の検証手法(ワークショップ(査読付き),「次世代経営情報技術,その他」)
• トランザクション処理における補償プロセスの設計と実装(ワークショップ-Web2.0時代のビジネスモデル-)
• CPNによるUMLモデル間整合性検証(次世代経営情報技術,一般)
• CPNによるトランザクションモデルの表現と検証(次世代経営情報技術,一般)
• CPNによるGoogleAppEngineのモデル化と検証(提案型エンタプライズモデリング,一般)
• CPNによるデータベース整合性検証(提案型エンタプライズモデリング,一般)
• Event-BモデルのHaskellによる実装(提案型エンタプライズモデリング,一般)
• UMLステートマシン-アクティビティ図間の整合性分析(提案型エンタプライズモデリング ワークショップ)
• Event-Bによるモデル駆動モバイルアプリケーション開発(インタプライズモデル化技術,一般)
• CPNによるクラウドトランザクションの等価性評価(インタプライズモデル化技術,一般)

もっと見る 閉じる

スポンサーリンク