A Concurrent Calculus with Geographical Constraints(Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
Process algebras with name passing have been proposed for concurrent mobile processes. They can be suitable to describe dynamical changes of connections among processes. To describe mobile communication or mobile computing systems, however, it is necessary to consider locations at which processes run. We propose a description method to design mobile communication systems using a concurrent calculus in this paper. The concept of a field is introduced to model locality of communication. An extension of π-calculus with a field is proposed. The extension does not include locality represented by a field while most related works treat locality within their languages. A field is given when behavior of a target system is verified in a particular environment. The aim of the extension is to verify and to test connectivity between processes under various geographical constraints. This method could be design-oriented in this context. Equivalence relations with/without location in this calculus are also discussed.
- 社団法人電子情報通信学会の論文
- 1998-04-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
-
TAKAHASHI Kaoru
The author is with the Sendai National College of Technology
-
SHIRATORI Norio
The author is with the Research Institute of Electrical Communication, Tohoku University
-
ANDO Toshihiko
The authors are with Sendai National College of Technology
-
KATO Yasushi
The authors are with 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
- Design and Implementation of an Agent-Based Grocery Shopping System
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker