アクタ関係行列によるVDM-SLの仕様記述法の検討
スポンサーリンク
概要
- 論文の詳細を見る
形式仕様記述が要求の追加・変更に柔軟に対応するためには要求と仕様記述との対応関係を明確にすることが重要である。本稿では要求と形式仕様記述との対応付けを明確にするため、アクタ関係行列(ARM)による要求分析を行い、ARMをもとにアクタの状態遷移を整理した状態遷移表を作成し、これをもとに形式仕様記述言語VDM-SLによる仕様記述を行う手法を提案する。
- 社団法人電子情報通信学会の論文
- 2008-11-20
著者
-
山本 修一郎
(株)NTTデータ技術開発本部システム科学研究所
-
生田 裕樹
九州大学大学院システム情報科学府
-
山本 修一郎
名古屋大学
-
山本 修一郎
名古屋大学工学部
-
井部 己文
(株)NTTデータ技術開発本部システム科学研究所
-
山本 修一郎
NTTデータ
-
井部 己文
NTTデータ 技術開発本部
-
井部 己文
(株)nttデータ技術開発本部システム科学研究所:九州大学大学院システム情報科学府
-
Yamamoto Shuichiro
Software Laboratories Nippon Telegraph And Telephone
-
山本 修一郎
(株)NTTデータ技術開発本部
関連論文
- 知識流通ネットワーク研究会(SIG-KSN)(研究会総覧)
- 要求工学(第71回)BABOK 2.0の知識構成
- 開放型演習による要求工学教育の経験(要求工学教育,プロジェクト管理)
- 2. アウトサイドイン指向ソフトウェア工学に向けて(ソフトウェア工学温故知新)
- エンタープライズ型プライベートクラウドによる教育環境の性能評価
- アクタ関係を用いたアスペクト要求分析
- CMCが拓く知識流通ネットワーク
- ソフトウェアエンジニアリングシンポジウム2007実施報告(動向・報告(一般セッション))
- 4 非機能要求とゴール指向要求定義(要求工学)
- RFIDプライバシー保護についてのオントロジーアラインメント
- 正規表現の直和標準形 (情報科学の数学的基礎理論と応用)
- 企業内知識流通のモデル化 (第16回社会情報システム学シンポジウム)
- ゴール指向要求工学と推論(知能ソフトウェア工学〔第2回〕)
- 高信頼性大規模システム分析方式の課題
- 高信頼性大規模システム分析方式の課題
- 5.実践的セキュリティ要求工学に向けて(セキュリティ要求工学の実効性)
- アクタ関係行列によるVDM-SLの仕様記述法の検討
- RO-003 アクタ関係行列によるゴールモデリングの有効性評価(情報システム,査読付き論文)
- アクタ関係行列の有効性に関する統計的評価(要求獲得)
- アクタ関係に基づく要求獲得に関する一考察(要求獲得)
- i*フレームワークのSRモデルにおける段階的内部ゴール分析手法の提案(ソフトウェア要求のモデル化)
- i*フレームワークのSRモデルにおける段階的内部ゴール分析手法の提案(ソフトウェア要求のモデル化)
- i^*フレームワークにおけるアクタ依存関係の等価性
- i^*フレームワークにおけるアクタ依存関係の等価性
- GROUP・TOPICS 企業内SNSによる知識創造と知識管理
- アクタ関係行列を用いたiスターフレームワーク作成方法の実験評価
- システム保守を考慮した構成管理システムの検討
- セキュリティ要求工学の実践的な課題
- ゴール指向要求工学の動向と課題
- ASE2004参加報告
- 第5回知能ソフトウェア工学に関する国際学術研究集会(JCKBSE2002)報告
- 依存関係図による仕様変更の影響追跡方法の検討
- アクタ関係行列を用いたiスターフレームワーク作成方法の提案(要求/教育)
- 利用シーンを考慮した、iスターフレームワークの適用上の課題(フレームワーク/サービス)
- ゴール指向によるITプロジェクト失敗のパターン
- 電子タグプライバシー保護ガイドラインのゴール分析(ビジネスモデリング(2),ビジネスモデリング及び一般)
- 電子タグプライバシー保護ガイドラインのゴール分析(ビジネスモデリング(2),ビジネスモデリング及び一般)
- RFIDシステム運用におけるプライバシ保護知識の考察(プライバシー・安全と可視化, 「安全・安心な社会生活の実現に向けた知識の活用とソフトウェア開発支援」及び一般)
- RFIDシステム運用におけるプライバシ保護知識の考察
- 要求の割付先としてのITと運用の選択基準(一般セッション)
- 要求の割付先としてのITと運用の選択基準(一般セッション,一般,フレッシャーズセッション)
- パターンを用いたゴール指向ビジネス企画手法の提案(一般セッション)
- パターンを用いたゴール指向ビジネス企画手法の提案(一般セッション,一般,フレッシャーズセッション)
- 状況とイベントを考慮したARM作成方法
- 属性値に基づくゴール選択手法の提案と考察(浸透するIT,進化するビジネスプロセス)
- AS-4-1 センサ情報管理プラットフォーム(AS-4.将来ライフを拓くユビキタス技術(2)-ネットワークセンシングにおける協調と融合-,シンポジウム)
- 要求工学(第75回)運用要求定義
- 日本における要求技術の現状と課題 : 要求セミナーでのアンケート結果から
- ゴール満足度行列を用いたゴールグラフ評価方法 (知能ソフトウェア工学)
- アクタの相互作用に基づく要求抽出の完全性確認手法
- 情報システムが観測すべき事象に基づく要求割付手法の課題
- 情報システムが観測すべき事象の検討に基づく要求割付に関する考察
- ユビキタス・サービスが変革するITの世界(ユビキタス・サービス)
- 大学における研究活動の可視化手法の提案 (知能ソフトウェア工学)
- 3階層情報連携アーキテクチャの提案 (知能ソフトウェア工学)
- 要求工学(第77回)バランス・スコアカードの本質
- 知識流通に向けた企業コミュニケーション環境の統合化
- 要求工学(第76回)非機能要求とアーキテクチャ
- 持続的情報連携サービス分析方法論の研究課題
- 2ZE-7 アクタ関係表に基づくセキュリティ要求分析手法(SARM)の改良提案(認証プラットホーム,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 業務フロー図に基づくデータフロー図の作成法の提案
- 特集「ソフトウェア工学の効果と価値」の編集にあたって
- 独立検証及び妥当性確認と形式手法がもたらすソフトウェア開発プロセスの高信頼化
- 情報連携アーキテクチャ分析技法 (知能ソフトウェア工学)
- 要求工学(第74回)クラウド時代の要求
- 要求工学(第73回)第18回 要求工学国際会議
- 要求工学(第72回)比較要求モデル論
- 今、なぜ第三者検証が必要か--IV&Vと要求
- ソフトウェア高安全性分析技術の現状と課題
- ソフトウェア高安全性分析技術の現状と課題
- 活動分析設計法に基づくシステム運用知識の抽出と設計
- 知識流通に向けた企業コミュニケーション環境の統合化
- アクタ関係表に基づくセキュリティ要求分析手法(SARM)を用いたスパイラルレビューの提案
- ゴール満足度行列を用いたゴールグラフ評価方法(知能ソフトウェア工学)
- 大学における研究活動の可視化手法の提案(知能ソフトウェア工学)
- ゴールの属性を用いたゴールグラフのチェック方法(学生,一般)
- 戦略図式の比較分析(学生,一般)
- IT運用知の社会的獲得手法の構築(知の社会的構築)
- 情報連携アーキテクチャ分析技法
- 3階層情報連携アーキテクチャの提案(知能ソフトウェア工学)
- ソフトウェア知識体系の次元 (知能ソフトウェア工学)
- アーキテクチヤ論(27)アジャイル開発とアーキテクチヤ(3)
- 要求工学(第105回)SEMATと保証ケース
- 要求工学(第110回)機能要求の分類
- 要求工学(第106回)Assure 2013の概要
- アーキテクチャ論(28)高保証アーキテクチャ標準O-DA
- 要求工学(第108回)要求に基づくテストの十分性
- シーケンス図に基づくディペンダビリティケース作成法の適用性検討 (知能ソフトウェア工学)
- 運用手順に対するアシュアランスケース作成法の比較評価 (知能ソフトウェア工学)
- 要求工学(第109回)システムの安全検証知識体系
- 非機能要求グレードの大学ポータルサービスへの適用についての考察 (知能ソフトウェア工学)
- アーキテクチャ論(31)ArchiMate2.0
- アーキテクチャ論(29)高保証アーキテクチャ開発法
- SEMATと保証ケースの関係についての考察 (知能ソフトウェア工学)
- 要求工学(第107回)要求の完全性
- ゴール構文表を利用したディペンダビリティケースのゴール分析法について (知能ソフトウェア工学)
- アーキテクチャに基づく検証ケースの提案 (知能ソフトウェア工学)
- アーキテクチャ論(26)アジャイル開発とアーキテクチャ(2)
- アーキテクチャ論(30)高保証アーキテクチャ開発法(2)
- 要求工学(第104回)SEMATの活用