Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems

kazuhito OHMAKI; Yutaka SATO; Ichiro OGATA; Kokichi FUTATSUGI

Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems

kazuhito OHMAKI, Yutaka SATO, Ichiro OGATA, Kokichi FUTATSUGI

Full Text Views

0

Cite this

Summary :

We often use data flow diagrams or state transition diagrams to design software systems with concurrency. We call those diagrams as nets in this paper. Semantics of any methods to describe such software systems should be defined in some formal ways. There would be no doubts that any nets should be supported by appropriate theoretical frameworks. In this paper, we use CCS as a typical algebraic approach of using formulas to express concurrent behaviors and point out the different features of CCS from Petri nets. Any approaches should be not only theoretically beautiful but also practically useful. We use a specification language LOTOS as such example which has two features, CCS and ADT, and is designed to specify practical communication protocols. Algebraic approaches of using formulas, like LOTOS, can be considered as a compact way to express concurrent behaviors. We explore our discussions of net-oriented approaches into UIMS research fields. After mentioning state transition models of UIMS, we exemplify a practically used example, VIA-UIMS, which has been developed by one of authors. VIA-UIMS employs a net-oriented architecture. It has been designed to reconstuct tools which have already been widely used in many sites.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E76-A No.10 pp.1580-1590

Publication Date: 1993/10/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)

Category

Cite this

Copy

kazuhito OHMAKI, Yutaka SATO, Ichiro OGATA, Kokichi FUTATSUGI, "Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems" in IEICE TRANSACTIONS on Fundamentals, vol. E76-A, no. 10, pp. 1580-1590, October 1993, doi: .
Abstract: We often use data flow diagrams or state transition diagrams to design software systems with concurrency. We call those diagrams as nets in this paper. Semantics of any methods to describe such software systems should be defined in some formal ways. There would be no doubts that any nets should be supported by appropriate theoretical frameworks. In this paper, we use CCS as a typical algebraic approach of using formulas to express concurrent behaviors and point out the different features of CCS from Petri nets. Any approaches should be not only theoretically beautiful but also practically useful. We use a specification language LOTOS as such example which has two features, CCS and ADT, and is designed to specify practical communication protocols. Algebraic approaches of using formulas, like LOTOS, can be considered as a compact way to express concurrent behaviors. We explore our discussions of net-oriented approaches into UIMS research fields. After mentioning state transition models of UIMS, we exemplify a practically used example, VIA-UIMS, which has been developed by one of authors. VIA-UIMS employs a net-oriented architecture. It has been designed to reconstuct tools which have already been widely used in many sites.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e76-a_10_1580/_p

Copy

@ARTICLE{e76-a_10_1580,
author={kazuhito OHMAKI, Yutaka SATO, Ichiro OGATA, Kokichi FUTATSUGI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems},
year={1993},
volume={E76-A},
number={10},
pages={1580-1590},
abstract={We often use data flow diagrams or state transition diagrams to design software systems with concurrency. We call those diagrams as nets in this paper. Semantics of any methods to describe such software systems should be defined in some formal ways. There would be no doubts that any nets should be supported by appropriate theoretical frameworks. In this paper, we use CCS as a typical algebraic approach of using formulas to express concurrent behaviors and point out the different features of CCS from Petri nets. Any approaches should be not only theoretically beautiful but also practically useful. We use a specification language LOTOS as such example which has two features, CCS and ADT, and is designed to specify practical communication protocols. Algebraic approaches of using formulas, like LOTOS, can be considered as a compact way to express concurrent behaviors. We explore our discussions of net-oriented approaches into UIMS research fields. After mentioning state transition models of UIMS, we exemplify a practically used example, VIA-UIMS, which has been developed by one of authors. VIA-UIMS employs a net-oriented architecture. It has been designed to reconstuct tools which have already been widely used in many sites.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1580
EP - 1590
AU - kazuhito OHMAKI
AU - Yutaka SATO
AU - Ichiro OGATA
AU - Kokichi FUTATSUGI
PY - 1993
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E76-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1993
AB - We often use data flow diagrams or state transition diagrams to design software systems with concurrency. We call those diagrams as nets in this paper. Semantics of any methods to describe such software systems should be defined in some formal ways. There would be no doubts that any nets should be supported by appropriate theoretical frameworks. In this paper, we use CCS as a typical algebraic approach of using formulas to express concurrent behaviors and point out the different features of CCS from Petri nets. Any approaches should be not only theoretically beautiful but also practically useful. We use a specification language LOTOS as such example which has two features, CCS and ADT, and is designed to specify practical communication protocols. Algebraic approaches of using formulas, like LOTOS, can be considered as a compact way to express concurrent behaviors. We explore our discussions of net-oriented approaches into UIMS research fields. After mentioning state transition models of UIMS, we exemplify a practically used example, VIA-UIMS, which has been developed by one of authors. VIA-UIMS employs a net-oriented architecture. It has been designed to reconstuct tools which have already been widely used in many sites.
ER -