ASSE : A Support Environment for ADT Specification Based on Reuse of Similar ADT (Special Issue on Multimedia Communication and Distributed Processing)
スポンサーリンク
概要
- 論文の詳細を見る
To overcome difficulties in Abstract Data Types (ADTs) specification, we proposed an ADT Specification Support (ASS), and an ADT Modification Algorithm (AMA). However, there are still some remaining problems. To solve these problems and provide a more effective support method, in this paper we first extend our AMA, and then propose and implement an ADT Specification Support Environment (ASSE), which is an extension of ASS by the ADT Modification Editor (AME), designed on the basis of the extended algorithms. ASSE facilitates the specification, thus greatly reducing the specifier's load, since the specifier can avoid both specifying a required ADT from the beginning and modifying a similar ADT manually. Finally, the system is evaluated through an experiment with ADTs in the data communication field.
- 1996-05-15
著者
-
PAIROJ TERMSINSUWAN
Research Institute of Electrical Communication
-
ZIXUE CHENG
Graduate School of Information Sciences, Tohoku University
-
SHIRATORI NORIO
Department of Computer Software, The University of Aizu
-
Zixue Cheng
Graduate School Of Information Sciences Tohoku University
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
Shiratori Norio
Department Of Computer Software The University Of Aizu
-
ZIXUE CHENG
Department of Computer Software, The University of Aizu
-
Zixue Cheng
Department Of Computer Software The University Of Aizu
関連論文
- 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)
- B-7-107 A Buffering Scheme to Enhance Macro-mobility in Mobile IP
- Design and Implementation of User-centered Application Software System in a Distributed Computing Environment
- Knowledge-Based Protocol Design for Computer Communication Systems
- LM-4 A New TCP for Efficient Operations over Wireless Links
- An Effective QoS Control Scheme for 3D Virtual Environments Based on User's Perception
- 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 (特集:高速ネットワークとマルチメディアアプリケーション)
- 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
- 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
- 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)
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Making Changes in Formal Protocol Specifications
- An Improvement of The Protocol Synthesis Algorithm
- 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
- Symbiotic Computing Based Approach Towards Reducing User's Burden Due to Information Explosion
- Symbiotic Computing Based Approach Towards Reducing User's Burden Due to Information Explosion
- A New QoS Routing Scheme Based on Bandwidth Consumption for MANETs
- A New QoS Routing Scheme Based on Bandwidth Consumption for MANETs