Software Observation Tower
Software Observation Tower
Software Observation Tower (Slice and Merge) helps developers to refactor refinement of Event-B models. It is developed by Aivar Kripsaar, Tsutomu Kobayashi, and Fuyuki Ishikawa as a plug-in of Rodin platform.
Screenshot
Obtaining Software Observation Tower
- Zip file of the SliceAndMerge plugin: Please unzip this file, move jar files to /path/to/rodin/plugins directory, and launch Rodin.
- Source code
- Update site for the plug-in: Coming soon.
References
- Tsutomu Kobayashi and Fuyuki Ishikawa. Analysis on strategies of superposition refinement of event-b specifications. In ICFEM 2018, pages 357–372. Springer, November 2018. (Best Paper Award) (paper)
- Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden, Refactoring Refinement Structures of Event-B Machines, The 21st International Symposium on Formal Methods (FM 2016), pp.444-459, November 2016. (paper)
- Tsutomu Kobayashi, Aivar Kripsaar, Fuyuki Ishikawa, Shinichi Honiden, SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines, The 6th Rodin User and Developer Workshop at ABZ 2016, pp.13-14, May 2016. (abstract)