A Topological Framework of Stepwise Specification for Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
スポンサーリンク
概要
- 論文の詳細を見る
We present a topological framework of stepwise specification for concurrent systems in this paper. Some of description techniques can make topologies on the system space.Such topologies corresponds to abstract levels of those description techniques. Using a family of such description techniques,one can specify systems stepwisely. This framework allows to bridge various DTs and modularizing, so that global properties and module properties of systems become to be related to each other. Within this framework, we show derivation of a LOTOS specification from temporal logic formulae. An extended version of LOTOS with respect to concurrency is used in this paper. A semantics including concurrency is introduced to do this in this method. The method presented in this paper is applied to mobile telecommunication.
- 社団法人電子情報通信学会の論文
- 1996-11-25
著者
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
KATO Yasushi
Sendai National College of Technology
-
Takahashi K
The Sendai National College Of Technology
-
Ando Toshihiko
Sendai National College Of Technology
関連論文
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- Progressive pulmonary calcification after successful renal transplantation
- 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
- Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic(Satellite Communications)
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker