LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
スポンサーリンク
概要
- 論文の詳細を見る
我々は、INTAP(情報処理相互運用技術協会)の形式記述WGの活動として、L0T0Sの支援環境LIpSを設計している。本稿ではこの中の抽象データ記述の処理について述べる。L0TOS言語で記述された仕様は、プロセスの振舞いに関する記述とプロセスが扱うデータ(値)の記述に大きく分類できる。データに関する記述をデータ仕様と呼ぶ。記述されたデータ仕様の解釈方法、すなわち意味論はIS08807が厳密に定めている。本稿では、この意味論のインプリメントに関して述べる。また,L0T0Sの規格についても感想を述べたい。
- 社団法人情報処理学会の論文
- 1991-02-25
著者
-
佐藤 嘉一
沖電気工業(株)コンピュータシステム開発本部
-
大蒔 和仁
電子技術総合研究所
-
辻 宏郷
三菱電機(株)情報システム研究所
-
辻 宏郷
三菱電機(株)情報電子研究所
-
清水 敏彦
日本ユニシス
-
板橋 吉徳
松下電器産業
-
佐藤 喜一
沖電気工業
-
山中 顕次郎
日本電気電話
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
-
板橋 吉徳
松下電器産業株式会社
-
清水 敏彦
日本ユニシス(株)生産技術部
-
山中 顕次郎
株式会社NTTデータ技術開発本部
-
山中 顕次郎
Ntt ソフトウェア研
-
辻 宏郷
三菱電機 情報技総研
-
大蒔 和仁
電総研
関連論文
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
- 通信ソフトウェア生成ツールSERIOUSの開発とOSI分散トランザクション処理への適用
- OSI上位層通信ソフトウェア生成ツールSERIOUS
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(3) : 抽象データ記述の処理[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 際標準に基づく形式的仕様記述LOTOSの支援環境(2) : 中間言語 Arbalotos[INTAP研究開発委員会プロトコル形式記述WG]
- LIpS : 国際標準に基づく形式的仕様記述LOTOSの支援環境(1) : 設計概要[INTAP研究開発委員会プロトコル形式記述WG]
- 分散C/SシステムにおけるPC-クライアントの機能分担における一考察
- 分散システムにおけるディレクトリサービスのセキュリティへの適用
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- OSIディレクトリ規格に基づくアドレス検索システム(2) : アプリケーションへの応用
- OSIディレクトリ規格に基づくアドレス検索システム(1) : システム概要とプロトコル
- OSIディレクトリサービス仕様の実現上の課題
- SDLに基づく通信ソフトウェア開発環境
- LOTOS Serverとモジュール仕様記述
- セキュア携帯電話システム (特集 情報セキュリティ技術)
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案(セッション5-C : 認証・アクセス制御(1))
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案
- 情報セキュリティ技術 セキュリティライブラリ (特集 情報セキュリティ)
- 5T-4 PKIにおけるICカードの適用と評価
- 5T-3 相互認証を実現する証明証検証ソフトウェアの試作
- 5T-2 ICカードファイルフォーマット設定ソフトウェアの自動生成
- 5T-1 生体識別技術のPKIへの適用に関する一考察
- 2L-7 PKI暗号ライブラリにおけるICカードの利用(4) : ブラウザとの連携
- 2L-6 PKI暗号ライブラリにおけるICカードの利用(3) : 鍵管理
- 2L-5 PKI暗号ライブラリにおけるICカードの利用(2) : 内部データ形式
- 2L-4 PKI暗号ライブラリにおけるICカードの利用(1) : 概要
- 不正侵入検出手法に関する一考察
- セキュアアプリケーシヨン開発のための暗号ライブラリアーキテクチャ
- 仕様記述過程モデル化のための実験と分析
- 放送型高頻度鍵更新方式による超広域モバイル環境向けセキュアリアルタイム通信の実現
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 通信サービスにおけるエラー処理の自動生成
- 情報社会におけるJTC1の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
- オペレーティング・システム、データベース・システム、プログラミング言語の役割と接点
- 6E-5 複数クラウド間でスケールアウトやディザスタリカバリを実現するクラウド連携マネージャの設計と実装(クラウドと分散処理,一般セッション,ネットワーク,情報処理学会創立50周年記念)
- 「画像電子メール/掲示板システム」の開発(その1) : 概要とシステムアーキテクチャ
- X Toolkitを用いたユーザインタフェース管理システム : (2)基本方式
- XToolkitを用いたユーザインタフェース管理システム : (1)基本構想
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 携帯電話スマートキーを活用した車操作権限の貸与方式の提案(セッション5-C : 認証・アクセス制御(1))
- 複数画面をもつプログラミング環境MDPS
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 離接演算子をもつLOTOS仕様における偶発性
- 離接演算子をもつLOTOS仕様における偶発性
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- 現実の並行システムへのプロセス代数の応用 : 経験と課題
- 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
- 通信ソフトウェアの畳込開発法
- 言語システムのためのユ-ザインタ-フェ-ス生成システム (電子計算機相互運用デ-タベ-スシステム)
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- 精密ソフトウェア工学のすすめ
- ソフトウェアにおける信頼性 (高信頼化技術)
- LOTOSに基づくプロトコルの形式記述 (電子計算機相互運用デ-タベ-スシステム)
- 形式仕様記述言語LOTOSの試用経験
- 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
- 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
- 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
- もっと戦略的になろう (インタラクティブ・エッセイ)
- いまどきのプロジェクト (インタラクティブ・エッセイ)
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- プルーバブル情報ベース技術の確立を目指して
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
- プロセス論理演算子をもつプロセス代数
- 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
- ソフトウェア作成技術
- 「事業に活きる我が国発の標準化」特集号について
- 「事業に活きる標準化の力」特集号について