A Topological Framework of Stepwise Specification for Concurrent Systems

Toshihiko ANDO; Kaoru TAKAHASHI; Yasushi KATO

A Topological Framework of Stepwise Specification for Concurrent Systems

Toshihiko ANDO, Kaoru TAKAHASHI, Yasushi KATO

Full Text Views

0

Share
Cite this

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

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://globals.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 -