等価性に基づく LOTOS 仕様の記述スタイル変換法
スポンサーリンク
概要
- 論文の詳細を見る
LOTOSはISOで標準化された分散システムのためのFDT(形式記述技法)である.LOTOSは数学的基盤を持つ反面,記述性や理解性に乏して.そこで共通の記述スタイルを導入しようという研究が行われている.LOTOSの代表的な記述スタイルは,記述対象とするシステムに対して,異なった仕様記述の構造を基にしている.したがって,等価性に基づく記述スタイル変換法が,LOTOSを用いたシステム開発工程において,重要な役割を示す.本論文では,LOTOSの代表的な記述スタイルのうち,モノリシックスタイルから制約指向スタイルへの等価性に基づく記述スタイル変換性を構成し,その諸性質を導出する.本論文の手法は,ソフトウェア工学の分野において,以下の応用に有効となる.(1)大規模仕様を小規模仕様群に細分する,(2)詳細仕様の再構造化,(3)仕様のモジュール化.
- 一般社団法人情報処理学会の論文
- 1993-06-15
著者
関連論文
- ヒューマンインタフェースシンポジウム2009報告
- マルチメディア教材を用いた対話的教授のためのシナリオに基づく教授設計手法
- マルチモーダルユーザインターフェースを備えた高次コミュニケーション空間の構築に関する研究開発通信放送機構委託研究(1997-2001)
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- 知的LOTOSチュータの構成(2) : ユーザのモデリングについて
- 知的LOTOSチュータの構成(1) : 知識の構造化について
- マイクロシナリオ分析ツール
- 教師の対話的な教授行動に着目したDouble Loop教授設計プロセスモデル
- CHI 2001参加報告 : Conference on Human Factors in Computing Systems
- 特集「マルチメディア通信と分散処理」の編集にあたって (マルチメディア通信と分散処理)
- ネットワーク社会を目指した拡張現実感技術による情報提示法と情報操作法
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- シーケンス図に基づく通信システム仕様記述法 HSC とその支援環境
- 事例ベース推論を適用したHSC仕様記述支援環境
- 事例ベース推論を適用した通信ソフトウェア開発支援システムにおける要求仕様獲得とヒューマンインタフェースアーキテクチャについて
- 仕様記述言語HSCの支援環境の構成について
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- ズーム情報を利用した適応型遠隔カメラ制御法(マルチメディアコミュニケーションシステム)
- 事例ベース推論を用いたLOTOSに基づく通信ソフトウェア開発支援システム
- 分散協調型通信ソフトウェア開発支援システムの構成(その2)
- 分散協調型通信ソフトウェア開発支援システムの構成(その1)
- 自律分権協調における「スコープ」と動的グルーピング
- 協調型メタプログラミング言語Faによる自己組織性記述のための枠組
- マルチメディア教材を用いた対話的な遠隔授業のための教授設計手法とそのための教授システム(セッション4: ミドルウェア・アプリケーション)
- 自律分散環境における協調型計算モデル : 協調スコープによる協調動作の記述
- RIDEE-SPS:リアルタイム双方向遠隔教育環境のプレゼンテーションシステム(高速ネットワークとマルチメディアアプリケーション)
- J-059 視覚的探索タスクにおける触力覚効果の検証(J分野:ヒューマンコミュニケーション&インタラクション,一般論文)
- 忠実度の異なる素材の再利用性を考慮したプロトタイプ構築支援(ソフトウェア開発環境・開発支援システム, システム開発論文)
- A Framework and System for Scenario-Based Instructional Design and Implementation
- Professional vs. Non-Professional Designer's Ideas Generated using Photo Essays and Scenarios (第30回ヒューマンインタフェース研究会 ウェアラブル&ユーザビリティ)
- Double Loop: A Model of Scenario-Based Instructional Design and Implementation
- シナリオの系統的な発展・分析作業による参加型の要求獲得
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発 : 仮想テストルームの開発
- シナリオにもとづく設計法の現状分析
- ユーザの視点を取り入れる技術 : システム開発におけるシナリオの役割
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発--仮想テストルームの開発 (第6回ヒューマンインタフェース学会研究会 ギガビットネットワーク/インターネットとマルチメディア)
- 命題論理に基づく要求仕様の詳細化とその支援
- プロセス仕様の等価性に基づく分割法の拡張
- LOTOS仕様の再利用性に基づくプロトコル仕様の系統的生成法
- LOTOS仕様の実装支援システムの開発
- 部品によるLOTOSプロトコル仕様の合成法に関する一考察
- LOTOS仕様の分散ネットワーク環境への実装に関する一考察
- 構造化シナリオ手法の提案
- Advanced-MBPの構成に関する一考察
- 通信仕様記述者の知識獲得過程に関する一考察
- タッチスクリーン用ソフトウェアキーボードへの物理的手がかりの付与
- タッチスクリーン上でのタッピングによるメニュー選択のショートカット
- カーソル制御によるポインティングタスクの効率化支援
- やわらかいネットワークにおけるユーザ要求の獲得に関する一考察
- HCDと構造化シナリオ手法 : 概要と活用事例(ヒューマンセンタードデザイン(HCD))
- マルチフェースエージェントの試作とその応用
- 情報ネットワーク上の遠隔ユーザビリティ評価システム開発 : 仮想テストルームの開発
- 通信ソフトウェアのやわらかい開発法に関する一考察
- 構造を持ったプロセス仕様の分割法
- プロセス代数仕様の分割法の提案
- 等価性に基づく LOTOS 仕様の記述スタイル変換法
- LOTOS仕様の等価性に基づく記述スタイル変換法とその応用
- LOTOS検証システムMetisII
- 緑内障研究の進歩 : より質の高い緑内障診療を目指して