| Presentation | 2017-01-27 Formal Description of a Processing as a Mapping between different sorts of Representations, Considering state-transition Fumiko Kouda, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We propose a new computing processing model, as a mapping of representation-translation, considering their semantics, among different sort of representations. We take into consideration of the program theories, and make a new computing processing model as a formal description, in terms of relation to inputs and their result, and describe them by a new proposed notion(IGR-triple), in which we confirm some of them by Z-notation. Our way to construct a processing model is to make a unit as having the mapping relation with semantic invariant, and by composing them to describe the processing model, as uniform, recursive manner, for simple description. Based on this, we have made a state transition of the processing model and compared with a Hoare-triple to show that the model is sound. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | formal description of processingsprocessing as a mappingstate-transition |
| Paper # | MSS2016-70,SS2016-49 |
| Date of Issue | 2017-01-19 (MSS, SS) |
| Conference Information | |
| Committee | MSS / SS |
|---|---|
| Conference Date | 2017/1/26(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Kyoto Institute of Technology |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Satoshi Yamane(Kanazawa Univ.) / Kazuhiro Ogata(JAIST) |
| Vice Chair | Morikazu Nakamura(Univ. of Ryukyus) / Akio Nakata(Hiroshima City Univ.) |
| Secretary | Morikazu Nakamura(Yamaguchi Univ.) / Akio Nakata(Toshiba) |
| Assistant | Hideki Kinjo(Okinawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Software Science |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Formal Description of a Processing as a Mapping between different sorts of Representations, Considering state-transition |
| Sub Title (in English) | |
| Keyword(1) | formal description of processingsprocessing as a mappingstate-transition |
| 1st Author's Name | Fumiko Kouda |
| 1st Author's Affiliation | The University of Tokyo(Utokyo) |
| Date | 2017-01-27 |
| Paper # | MSS2016-70,SS2016-49 |
| Volume (vol) | vol.116 |
| Number (no) | MSS-425,SS-426 |
| Page | pp.pp.77-82(MSS), pp.77-82(SS), |
| #Pages | 6 |
| Date of Issue | 2017-01-19 (MSS, SS) |