| Presentation | 2007-04-19 A study of applying formal methods to enterprise architecture of Japanese governmental corporations Takahiro SEINO, Osamu TAKAKI, Izumi TAKEUTI, Koichi TAKAHASHI, Noriaki IZUMI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | AIST has been working on the development of the next-term information system for three years. The system is developed based on enterprise architecture for Japanese governmental corporations and is positioned as the final fruit of medium-term plan of transforming into independent administrative agencies. In the requirement phase of this development, workflow diagrams play a role as a pivot. To improve the quality of the software requirements, we have focused on the diagrams and have introduced formal methods to describing, analyzing and verifying them. To have formal methods used by ordinary engineers as well, we formalized the workflow diagrams without changing its syntax as much as possible, and have added two functions of describing formal specifications and launching our verifier to the tool which is used on the development. Through this experience, we have verified a meaningful property. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Formal Methods / Workflow / Requirement Engineering / Enterprise Architecture |
| Paper # | SS2007-2,KBSE2007-2 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2007/4/12(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 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A study of applying formal methods to enterprise architecture of Japanese governmental corporations |
| Sub Title (in English) | |
| Keyword(1) | Formal Methods |
| Keyword(2) | Workflow |
| Keyword(3) | Requirement Engineering |
| Keyword(4) | Enterprise Architecture |
| 1st Author's Name | Takahiro SEINO |
| 1st Author's Affiliation | Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology() |
| 2nd Author's Name | Osamu TAKAKI |
| 2nd Author's Affiliation | Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology |
| 3rd Author's Name | Izumi TAKEUTI |
| 3rd Author's Affiliation | Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology |
| 4th Author's Name | Koichi TAKAHASHI |
| 4th Author's Affiliation | Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology |
| 5th Author's Name | Noriaki IZUMI |
| 5th Author's Affiliation | Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology |
| Date | 2007-04-19 |
| Paper # | SS2007-2,KBSE2007-2 |
| Volume (vol) | vol.107 |
| Number (no) | 5 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |