Extensible WELLのインタラクティブ仕様とそれによる実行プロセスの導出
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェアプロセスは、クライアントとサーバー間のインクラクションを繰り返して進行する。ソフトウェアプロセスの仕様表現において、インタラクションを明確に定義するインタラクティブ仕様がある。ここでは拡張機能言語Extensible WELLより構築されるシステムにおけるクライアントとサーバー間のインクラクションを例に仕様表現を行う。仕様は総称的表現がなされており、Denotational schemaに基づいた部分規則を段階的に適用することにより詳細化が進められる。このプロセスにより具体的な実行レベルでの仕様が関数の系列として導出されるものと考える。
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
関連論文
- アンケート寄稿 21世紀の映像情報メディアはどうなるか?(2.21世紀の映像情報メディアはどうなるか : 30年前の予測と現在, そして将来)(創立50周年記念特集)
- Extensible WELLにおけるプロセス構築層
- Extensible WELLにおける対話的動作制御システム
- Extensible WELLのオブジェクトによる総称的データ管理システム
- Extensible WELLにおける協調処理の制約的実現
- エージェント機能のための役割分析とその仕様記述
- Extensible WELLにおける協調処理
- Extensible WELLにおける制約処理
- Extensible WELLのにおける操作環境
- D-3-11 オブジェクト指向プログラムのためのデバック/テスト支援システム
- 2C-3 対話的意図処理システム実現のための仕様記述
- Extensible WELLにおける対話プロセスの表現
- 自然言語仕様からモジュール構造を得る手法について
- リサーチ11 意図・戦略・戦術のオブジェクトネットワークによるコンテンツの動的生成システム
- 2.映像情報メディアに期待する(映像情報メディアの時代へ)
- 3)2次元画像のK-L展開軸の実測とTransform Codingへの応用(画像伝送研究会(第22回))
- 12-7 画像のK-L展開軸の実測と考察
- 内包的テンプレートによるソフトウェア記述プロセスの実現
- 5)幾何学的に不変な特徴に基づく画像の合成と認識(画像通信システム研究会(第55回))
- 顔画像の支配領域による表情生成モデル
- 画像中の構成要素の支配領域と幾何学的モデルによる立体化
- 総称的オブジェクトによる動画像表現 : 対象の動き表現とそのモデル化
- 画像描画における輪郭生成
- CONCURRENT WELL-PPPにおけるサービス管理
- 並行実行型画像システム記述言語(Concurrent WELL-PPP)の実現
- 描画用画像データベースとその利用法
- 協調型画像描画システムの並行図式
- WELL-PPP用ウインド間インターフェース機能
- カラー画像処理・描画用ウインド型言語「WEEL-PPP」
- 個別メディアの生成とその動的統合化
- 描画システムのドキュメントの学習的レベルアップ
- 木解析による特徴記号列集合からのオートマトン合成
- 感性的操作による画像修正プロセス
- 描画処理プロセスにおける感性要素の図的表現
- 特徴分類木の操作によるシステム構成
- システムの特徴記号列集合とその分類木
- 連続性制約駆動に基づく画像修正
- 対象間に相互作用のある動画像描画
- 物体の運動分類とそれを用いた軟質変形動画像描画
- 画像生成プロセスにおけるデータスキーマ
- 構造ネットワークによる静止画像と動画像の統合
- 動画像表現における構造ネットワーク
- 画像の質感・実在感表現における構造ネットワーク
- オブジェクトネットワークを利用した並行システムのペトリネット表現
- 要素ネットワークによる画像処理と描画の統合
- 前後関係束構造による個別画像のキー抽出描画
- カラー画像の直接修正法とデータの妥当性
- 流れモデルによるテクスチャー描出
- 輪郭情報による輝度データの生成と描出
- Extensible WELLにおけるサービス・マネージャ
- 拡張機能言語Extensible WELLの体系化
- 輪郭情報による色度データの生成と描出
- カラー画像処理・描画システムの研究開発
- 魚類形状データベースとそれによる輪郭生成
- Extensible WELLのインタラクティブ仕様とそれによる実行プロセスの導出
- モデル駆動によるオブジェクトとプロセス間結合
- インタラクションの形態分析
- テクスチャ描画のためのオブジェクトネットワーク構造
- 処理と描画の相互作用による特徴オブジェクト処理
- エージェント機能による画像の構造化プロセス
- 6)直交変換とその逆変換の逐次修正処理と幾何学の特徴抽出(画像通信システム研究会(第55回))
- 要求意図の対話的詳細化システム : 役割依存型プロセス
- 描画と処理のインタラクションによる画像の対話的修正方法
- 総称的動詞オブジェクトによる画像システムの仕様記述
- システム間インタラクションの仕様記述とそれによる画像ソフトウェアへの応用
- 輝度・色度情報の合成による画像生成とその修正
- 仕様記述の実行処理に必要とする推論機能
- ベクトル場概念による画像の統合処理
- 立体知覚のモデル実験とそれによる立体画像生成
- 分野記述言語の構造