Paper Abstract and Keywords |
Presentation |
2007-04-19 15:00
A study of applying formal methods to enterprise architecture of Japanese governmental corporations Takahiro Seino, Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST) SS2007-2 KBSE2007-2 |
Abstract |
(in Japanese) |
(See Japanese page) |
(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) |
(in English) |
Formal Methods / Workflow / Requirement Engineering / Enterprise Architecture / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 107, no. 5, KBSE2007-2, pp. 7-12, April 2007. |
Paper # |
KBSE2007-2 |
Date of Issue |
2007-04-12 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
SS2007-2 KBSE2007-2 |
|