Reuse Based Specification Support Method Using Mathematical Similarity

Ushio YAMAMOTO; Eun-Seok LEE; Norio SHIRATORI

Reuse Based Specification Support Method Using Mathematical Similarity

Ushio YAMAMOTO, Eun-Seok LEE, Norio SHIRATORI

Full Text Views

0

Share
Cite this

Summary :

In this paper, we discuss both effective approaches in specification process, formal specification and reuse, and focus on providing an integrated and systematic supportbased on them. Preparing the specification model which mediates an image of the designer and another representation of it in formal method, the designer can specify the target system incrementally and smoothly. As for the specification model, we employ LTS on the early step of specification process because of its understandability for the designer. Moreover, reuse of specification leads to reduction of the cost and time, defining retrieval mechanism of reusable cases from database by mathematically calculating similarity of them. For the reuse mechanism, we define a new concept of similarity on LTS as the criterion of case retrieval, which enables more flexible matching between the besigner's requirement and the existing case than any other traditional schema on LTS, and show the case retrieval algorithm. Integration of two approaches brings us the great improvement of the productivity on system development.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E79-A No.11 pp.1752-1759

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

Ushio YAMAMOTO
Eun-Seok LEE
Norio SHIRATORI

Keyword

Cite this

Copy

Ushio YAMAMOTO, Eun-Seok LEE, Norio SHIRATORI, "Reuse Based Specification Support Method Using Mathematical Similarity" in IEICE TRANSACTIONS on Fundamentals, vol. E79-A, no. 11, pp. 1752-1759, November 1996, doi: .
Abstract: In this paper, we discuss both effective approaches in specification process, formal specification and reuse, and focus on providing an integrated and systematic supportbased on them. Preparing the specification model which mediates an image of the designer and another representation of it in formal method, the designer can specify the target system incrementally and smoothly. As for the specification model, we employ LTS on the early step of specification process because of its understandability for the designer. Moreover, reuse of specification leads to reduction of the cost and time, defining retrieval mechanism of reusable cases from database by mathematically calculating similarity of them. For the reuse mechanism, we define a new concept of similarity on LTS as the criterion of case retrieval, which enables more flexible matching between the besigner's requirement and the existing case than any other traditional schema on LTS, and show the case retrieval algorithm. Integration of two approaches brings us the great improvement of the productivity on system development.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e79-a_11_1752/_p

Copy

@ARTICLE{e79-a_11_1752,
author={Ushio YAMAMOTO, Eun-Seok LEE, Norio SHIRATORI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Reuse Based Specification Support Method Using Mathematical Similarity},
year={1996},
volume={E79-A},
number={11},
pages={1752-1759},
abstract={In this paper, we discuss both effective approaches in specification process, formal specification and reuse, and focus on providing an integrated and systematic supportbased on them. Preparing the specification model which mediates an image of the designer and another representation of it in formal method, the designer can specify the target system incrementally and smoothly. As for the specification model, we employ LTS on the early step of specification process because of its understandability for the designer. Moreover, reuse of specification leads to reduction of the cost and time, defining retrieval mechanism of reusable cases from database by mathematically calculating similarity of them. For the reuse mechanism, we define a new concept of similarity on LTS as the criterion of case retrieval, which enables more flexible matching between the besigner's requirement and the existing case than any other traditional schema on LTS, and show the case retrieval algorithm. Integration of two approaches brings us the great improvement of the productivity on system development.},
keywords={},
doi={},
ISSN={},
month={November},}

Copy

TY - JOUR
TI - Reuse Based Specification Support Method Using Mathematical Similarity
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1752
EP - 1759
AU - Ushio YAMAMOTO
AU - Eun-Seok LEE
AU - Norio SHIRATORI
PY - 1996
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E79-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 1996
AB - In this paper, we discuss both effective approaches in specification process, formal specification and reuse, and focus on providing an integrated and systematic supportbased on them. Preparing the specification model which mediates an image of the designer and another representation of it in formal method, the designer can specify the target system incrementally and smoothly. As for the specification model, we employ LTS on the early step of specification process because of its understandability for the designer. Moreover, reuse of specification leads to reduction of the cost and time, defining retrieval mechanism of reusable cases from database by mathematically calculating similarity of them. For the reuse mechanism, we define a new concept of similarity on LTS as the criterion of case retrieval, which enables more flexible matching between the besigner's requirement and the existing case than any other traditional schema on LTS, and show the case retrieval algorithm. Integration of two approaches brings us the great improvement of the productivity on system development.
ER -