抄録
The problem of modifying an existing protocol specification of a communicating system in Labelled Transition System (LTS) based on changes of it's service specification in LTS is discussed. Two types of changes of a service specification are treated: addition of a behaviour expression to the service specification and deletion of some parts of the behaviour expression from the service specification. For each change, a modification method is proposed and a property of the method is shown. From the point of view of verification and validation of a specification, it is desirable to separate a changed part of the specification from the existing specification. Thus, especially for the former type of changes that is addition of a behaviour expression to the service specification, the method to express changes of the service specification by using a concurrent LTS is proposed. The method proposed in this paper is efficient and desirable when the size of the changed part of the service specification is small in terms of behaviour expressions.
| 本文言語 | English |
|---|---|
| ホスト出版物のタイトル | Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS |
| Place of Publication | Los Alamitos, CA, United States |
| 出版社 | IEEE |
| ページ | 129-134 |
| ページ数 | 6 |
| 出版ステータス | Published - 1996 |
| イベント | Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) - Tokyo, Jpn 継続期間: 1996 6月 3 → 1996 6月 6 |
Other
| Other | Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) |
|---|---|
| City | Tokyo, Jpn |
| Period | 96/6/3 → 96/6/6 |
ASJC Scopus subject areas
- 工学（全般）