Making Changes in Formal Protocol Specifications
スポンサーリンク
概要
- 論文の詳細を見る
Users of computer communication systems and their requirements are rapidly increasing and changing. It is desirable to have a development method which helps to make small changes in a design of a system to obtain another system which satisfies new requirement changes. We propose a flexible synthesis method which adopts designers' requirement changes in formal protocol specifications designed in LOTOS.
- 社団法人電子情報通信学会の論文
- 1997-06-25
著者
-
SHIRATORI Norio
Research Institute of Electrical Communication Graduate School of Information Science, Tohoku Univer
-
BISTA Bhed
Faculty of Software and Information Science, Iwate Prefectural University
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Science Tohoku Univers
-
Bista B
Iwate Prefectural Univ. Iwate‐ken Jpn
-
Bista Bhed
Research Institute Of Electrical Communication Tohoku University
-
Takahashi K
The Sendai National College Of Technology
-
KINOSHITA Tetsuo
Research Institute of Electrical Communication, Tohoku University
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
Kinoshita Tetsuo
Research Institute Of Electrical Communication Tohoku University
関連論文
- 情報処理学会,これからの50年(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
- A flexible model of access control based on social relations (マルチメディア通信と分散処理)
- Access control in cooperative environments utilizing social systems (ACCESS) (情報ネットワーク)
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- ASSE : A Support Environment for ADT Specification Based on Reuse of Similar ADT (Special Issue on Multimedia Communication and Distributed Processing)
- BS-4-2 プライバシーを考慮した分散認証法の提案(BS-4.ユビキタスネットワークにおけるネットワークセキュリティ,シンポジウムセッション)
- A-7-2 ユビキタス環境での安全なプライバシー情報の交換についての検討(A-7.情報セキュリティ,一般セッション)
- 新たな50年へ向けて-心に木を植える-
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- MobileIPv6 MIBおよびNEMO MIBを用いたネットワーク構成情報の可視化手法
- 2050年マルチメディア通信と調和・共生コンピューティング
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- A dynamically RTS threshold adjusting scheme for IEEE 802.11 (マルチメディア通信と分散処理)
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 2050年マルチメディア通信と調和・共生コンピューティング
- B-7-107 A Buffering Scheme to Enhance Macro-mobility in Mobile IP
- 6D-2 エージェント間協調によるレストランガイドシステムに関する一考察(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- L-036 分散認証基盤を活用したプライベート情報交換アーキテクチャの提案(L分野:ネットワーク・セキュリティ,一般論文)
- Design and Implementation of User-centered Application Software System in a Distributed Computing Environment
- Knowledge-Based Protocol Design for Computer Communication Systems
- 6F-7 TCP-Cherryの実現へ向けて : 衛星IPネットワーク向け輻輳制御TCP-Peach+の実装と評価(非常時通信・災害・長遅延NW,一般セッション,ネットワーク,情報処理学会創立50周年記念)
- 3F-2 やさしい見守り型健康支援システムにおけるセンサデータを用いた知識フィルタリング手法(センシングシステム(1),一般セッション,ネットワーク,情報処理学会創立50周年記念)
- LM-4 A New TCP for Efficient Operations over Wireless Links
- 5ZC-7 共生型3次元仮想空間における共生感提供機能の一構成(社会システムとWeb(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 6ZA-5 グリーン指向情報処理基盤技術の確立に向けて : 次世代ネットワーク管理フレームワーク(システム蓮用・管理(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- An Effective QoS Control Scheme for 3D Virtual Environments Based on User's Perception
- 共生型3次元仮想空間における共生感提供機能の設計
- 共生型3次元仮想空間における共生感提供機能の設計
- JaNI: JGN's Next Generation Network Information System (高品質インターネット 研究報告)
- JaNI : JGN's Next Generation Network Information System
- A Fuzzy Admission Control Scheme and Its Performance Evaluation
- A Fuzzy Based Equivalent Capacity Estimation Method for Bandwidth Allocation in High-speed Networks (特集 21世紀のコンピュータセキュリティ技術)
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks(Special Issue on High Speed Networks and Multimedia Applications)
- MobiSNMP : A Model for Remote Information Collection from Moving Entities Using SNMP over MobileIPv6(Ad hoc, Sensor Network and P2P, Autonomous Decentralized Systems)
- DCAA : A Dynamic Constrained Adaptive Aggregation Method for Effective Network Traffic Information Summarization(Implementation and Operation)(Internet Technology IV)
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks (特集:高速ネットワークとマルチメディアアプリケーション)
- Progressive pulmonary calcification after successful renal transplantation
- 移動ネットワーク環境におけるSNMPを用いた情報収集手法
- Effective Knowledge Reinforcement in Networked Cooperative Work Based on Symbiotic Computing: Basic Concept and Its Application
- A Flexible model and system design of access control based on social relationships (情報ネットワーク)
- DS-2-2 Toward Post Ubiquitous Information Society : Problems and Future Direction of R&D
- High Resolution Traffic Measurement : The challenges and benefits
- High Resolution Traffic Measurement : The challenges and benefits
- High Resolution Traffic Measurement : The challenges and benefits
- Operator Based Protocol Synthesis for LOTOS Specification
- A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning
- Evaluation system and its design of iterative ALM tree construction method for many-to-many multimedia communication (情報ネットワーク)
- SB-14-3 High Resolution Traffic Measurement
- BS-7-2 Detecting and Diagnosing Events from Monitored Data in a Wide Area Network
- State Machine Specification with Reusability(Concurrent Systems)(Concurrent Systems and Hybrid Systems)
- Specification and Analysis of the Contract Net Protocol Based on State Machine Model(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
- Specification and Validation of a Dynamically Reconfigurable System(Special Section on Concurrent Systems Technology)
- A Concurrent Calculus with Geographical Constraints(Special Section on Concurrent Systems Technology)
- Making Changes in Formal Protocol Specifications
- A Topological Framework of Stepwise Specification for Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
- On Specifying Protocols Based on LOTOS and Temporal Logic
- A Consideration Of Integrated System Management In OSI Environment
- An Improvement of The Protocol Synthesis Algorithm
- 栗原グリーンプロジェクト - 環境負荷低減型のまちづくりを目指したICTシステムの構想 -
- 栗原グリーンプロジェクト - 広域分散地域におけるエネルギー管理システム -
- 栗原グリーンプロジェクト - グリーン指向管理情報ベース(G-MIB) -
- 栗原グリーンプロジェクト - スマートフォンを用いたパークアンドライド支援システム -
- 栗原グリーンプロジェクト - 環境負荷低減のための生活支援システム -
- Socio-familiar Personalized Serviceの提案とその応用 : 次世代ユビキタスサービスを実現するネットワークソフトウェアへ向けて(ネットワークソフトウェア技術とその応用論文)
- Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic(Satellite Communications)
- 個人情報を活用した人にやさしいサービスの実現方法に関する検討
- パーベイシブ環境におけるサービスの個人化とその応用
- Towards Application-Centric Flexible Network Operation and Management (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
- A Support Method for Specification Process Based on LTSs (Special Section on Net Theory and Its Applications)
- A QoS Control Mechanism Using Knowledge-Based Multiagent Framework( Software Agent and Its Applications)
- Verification and Refinement for System Requirements
- Reuse Based Specification Support Method Using Mathematical Similarity (Special Section on Description Models for Concurrent Systems and Their Applications)
- Designing a protocol using knowledge based systems
- An Effective Application of Net-Theory to Communication Protocol Development (Special Section on Net Theory and Its Applications)
- Knowledge Circulation Framework for Flexible Multimedia Communication Services(Software Agent and Its Applications)
- Evaluation of Transmission Control Method in a Slotted Ring Network
- A Method for Personalized Web Searching with Hierarchical Document Clustering (特集:新世代デ-タベ-ス技術--インタ-ネット・マルチメディア・モ-バイルを中心として)
- 分散環境上でのマルチエージェントシステムの実現に関する一考察
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- Design and Implementation of a Reusable Knowledge Model for Supporting the Network Management Functions
- 利用者が所有する個人情報を活用したサービス横断的個人化方式の提案(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker
- 災害に強いグリーン指向ネバーダイ・ネットワーク
- B-16-17 次世代グリーン指向ネットワーク管理技術(B-16.インターネットアーキテクチャ,一般セッション)
- B-14-2 グリーン指向ネットワーク管理に基づくセンサー連動型ICTシステムの省電力化(B-14.情報通信マネジメント,一般セッション)
- B-14-1 グリーン指向ネットワーク管理に基づくIP電話システムの省電力化(B-14.情報通信マネジメント,一般セッション)
- グリーン指向ネットワーク管理に基づくIP電話システムの省電力化に関する一検討