State Machine Specification with Reusability(Concurrent Systems)(<Special Section>Concurrent Systems and Hybrid Systems)
スポンサーリンク
概要
- 論文の詳細を見る
We introduce an inheritance concept into a specification method of a concurrent system in order to reuse and refine existing specifications. Reusability by inheritance is emphasized in this paper. We take multiple inheritance to enable to reuse several specifications at a time. An upper specification can be skillfully reused by dividing inherited parts and non-inherited ones if the specification contains unnecessary parts for a lower specification. As an application, we specify the FIPA contract net interaction protocol (IP) with the function of an agent authentication. This is accomplished by using multiple inheritance. We also specify the FIPA iterated contract net IP by reusing the FIPA contract net IP. We have been developing a validation support tool for specifications described with the proposed method.
- 社団法人電子情報通信学会の論文
- 2004-11-01
著者
-
SHIRATORI Norio
Research Institute of Electrical Communication Graduate School of Information Science, Tohoku Univer
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
KATO Yasushi
Sendai National College of Technology
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Science Tohoku Univers
-
Suganuma Takuo
Res. Inst. Of Electrical Communication/graduate School Of Information Sciences Tohoku Univ.
-
Suganuma Takuo
Riec Tohoku University
-
Suganuma Takuo
東北大
-
Suganuma Takuo
Research Institute Of Electrical Communication Tohoku University
-
Takahashi K
The Sendai National College Of Technology
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
ITABASHI Goichi
the Graduate School of Information Sciences, Tohoku University
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
Itabashi Goichi
The Graduate School Of Information Sciences Tohoku University
関連論文
- 情報処理学会,これからの50年(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
- 公開鍵分散管理を目的としたオーバーレイネットワーク適応型構成法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- P2Pネットワークのための分散型認証システムの設計(セッション4:ネットワーク(1))
- 現実空間での社会的振舞を活用した柔軟かつ安全なアクセス制御方式(マルチメディアとコンテンツ共有,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
- LM-009 P2Pネットワークのための分散ハッシュ型認証手法(ユビキタス・モバイルコンピューティング)
- 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)
- BK-1-10 Event-based Network Monitoring and Analysis Technology for High-speed & Wide-area Network
- 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周年記念)
- Design of Agent-Based Middleware for Flexible Connection Control( Software Agent and Its Applications)
- 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
- Evaluation system and its design of iterative ALM tree construction method for many-to-many multimedia communication (情報ネットワーク)
- SB-14-3 High Resolution Traffic Measurement
- LF-008 AMUSE : An Agent-based Middleware for QoS-aware Ubiquitous Services
- BS-7-2 Detecting and Diagnosing Events from Monitored Data in a Wide Area Network
- Efficient Channel Utilization Schemes for IEEE 802.11 DCF over MANET (特集:シームレスコンピューティングとその応用技術)
- 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)
- M-083 Knowledge Circulation Framework for Ubiquitous Communication Services : Development and Evaluation
- Knowledge Circulation Framework for Flexible Multimedia Communication Services(Software Agent and Its Applications)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- 利用者が所有する個人情報を活用したサービス横断的個人化方式の提案(ポスト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電話システムの省電力化に関する一検討
- A New QoS Routing Scheme Based on Bandwidth Consumption for MANETs
- A New QoS Routing Scheme Based on Bandwidth Consumption for MANETs