Presentation | 1998/5/28 Hierarchical design method for evolutional and autonomous distributed systems Satoshi Yamane, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The distributed systems are very large and complex, and the design features of them are as follows. 1. As processes increase or decrease and their functions are changeable, the external environment of each process is changeable, too. Each process should behave whatever the environment behaves. We need the mechanism so as to easily update the function of each process. 2. It is necessary to incrementally and hierarchically design systems from the high level to the low level. 3. In order to make design methods practical, it is important for designers to easily use design methods. In this paper, we proprose the following design method. 1. We define the specification language, by which we can specify evolutions and receptivenesses. 2. We define verification methods of the receptiveness and consistency check based on process calculus. 3. We define verification methods based on Assume-Guarantee style. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | open systems / hierarchical design / receptiveness / simulation / Assume-Guarantee |
Paper # | |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1998/5/28(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Hierarchical design method for evolutional and autonomous distributed systems |
Sub Title (in English) | |
Keyword(1) | open systems |
Keyword(2) | hierarchical design |
Keyword(3) | receptiveness |
Keyword(4) | simulation |
Keyword(5) | Assume-Guarantee |
1st Author's Name | Satoshi Yamane |
1st Author's Affiliation | Dept.of Mathematics and Computer Science, Shimane University() |
Date | 1998/5/28 |
Paper # | |
Volume (vol) | vol.98 |
Number (no) | 85 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |