IEICE TRANSACTIONS on Fundamentals
A Topological Framework of Stepwise Specification for Concurrent Systems
Summary :
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 cpecification 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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E79-A No.11 pp.1760-1767
- Publication Date
- 1996/11/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Toshihiko ANDO, Kaoru TAKAHASHI, Yasushi KATO, "A Topological Framework of Stepwise Specification for Concurrent Systems" in IEICE TRANSACTIONS on Fundamentals,
vol. E79-A, no. 11, pp. 1760-1767, November 1996, doi: .
Abstract: 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 cpecification 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e79-a_11_1760/_p
Copy
@ARTICLE{e79-a_11_1760,
author={Toshihiko ANDO, Kaoru TAKAHASHI, Yasushi KATO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A Topological Framework of Stepwise Specification for Concurrent Systems},
year={1996},
volume={E79-A},
number={11},
pages={1760-1767},
abstract={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 cpecification 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.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - A Topological Framework of Stepwise Specification for Concurrent Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1760
EP - 1767
AU - Toshihiko ANDO
AU - Kaoru TAKAHASHI
AU - Yasushi KATO
PY - 1996
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E79-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 1996
AB - 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 cpecification 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.
ER -
English
