| Title | Modularization of Formal Specifications or Efficient Synthesis of Reactive Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Shimakawa, Masaya, Osari, Kenji, Hagihara, Shigeki, Yonezaki, Naoki |
| Conference Name | Proceedings of the 6th International Conference on Software and Computer Applications |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-4857-7 |
| Keywords | composability, compositionality, Computing Theory, modularization, pubcrawl, reactive system, specification, Synthesis |
| Abstract | Reactive systems respond to requests from an environment with appropriate timing. Because reactive systems are used widely in infrastructure, it is necessary that they are developed without flaws. Automatic synthesis of reactive systems from particular specifications is an ideal technique for ensuring development without flaws. Several tools for synthesis have been proposed, e.g., Lily, AcaciaPlus and Unbeast. Among them, AcaciaPlus can synthesize systems compositionally, and enables synthesis from large-scale specifications that could not previously be treated. However, the modularization of specifications depends largely on the computation time required for synthesis; this is not a trivial problem. In this paper, we discuss the modularization of specifications to enable efficient synthesis of reactive systems. |
| URL | http://doi.acm.org/10.1145/3056662.3056702 |
| DOI | 10.1145/3056662.3056702 |
| Citation Key | shimakawa_modularization_2017 |
Modularization of Formal Specifications or Efficient Synthesis of Reactive Systems