| Presentation | 1994/3/9 Dynamic Evolution of Distributed Systems Specifications Specialization of Object Behaviors and Requirement Specifications Issam Hamid, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Given two behavior descriptions,the question whether one is a specialization of the other is important in many situations. Sometimes it must be checked whether the behavior of an implementation is a specialization of the specification.A two- level model for the evolution of large object-oriented specifications is introducecd.The first level deals with the dynamic modifications of types(classes),while the second level deals with modifications of modules.We have defined a set of structural and behavioral constraints to ensure the specification consistency after its modification at both levels.To allow for dynamic modification of types and modules,we have developed a reflective object-oriented specification language which use meta- objects to support the modification operations.In this language, types and modules are objects. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | object-oriented specifications / software evolution / type modification / modules compatibility / reflection / dynamic modifications. |
| Paper # | COMP93-82,SS93-50 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1994/3/9(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 | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Dynamic Evolution of Distributed Systems Specifications Specialization of Object Behaviors and Requirement Specifications |
| Sub Title (in English) | |
| Keyword(1) | object-oriented specifications |
| Keyword(2) | software evolution |
| Keyword(3) | type modification |
| Keyword(4) | modules compatibility |
| Keyword(5) | reflection |
| Keyword(6) | dynamic modifications. |
| 1st Author's Name | Issam Hamid |
| 1st Author's Affiliation | Department of Information Design,Tohoku University of Art & Design() |
| Date | 1994/3/9 |
| Paper # | COMP93-82,SS93-50 |
| Volume (vol) | vol.93 |
| Number (no) | 496 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |