Changes in Function Requirement by Modification of Formal Specification

• USUI Nobuyuki

  Research Institute of Electrical Communication, Tohoku Univ. / Graduate School of Information Sciences

• TAKAHASHI Kaoru

  Sendai National College of Technology

• KAMINAGA Hiroaki

  Faculty of Engineering, Yamagata Univ.

• SHIRATORI Norio

  Research Institute of Electrical Communication, Tohoku Univ. / Graduate School of Information Sciences

Bibliographic Information

Other Title

• 形式仕様の開発における機能要求への反映

Abstract

In development of sophisticated system, it takes a lot of efforts to describe a specification of the whole system from user requirements. One reason is ambiguity and inconsistency in the requirements. In addition to this, the whole cannot be obtained at once. As a solution to this problem, we had proposed a methodology for the automatic synthesis of system specification by formally spcifying the requirements in "functions" form. However, in the case that the synthesized specification is modified during the verification process, this modified part will be lost whenever the specification is resynthesized according to the changes in requirements. In this paper, we proposed an algorithm which maps any change in synthesized specification to the function requirements. Futhermore, a support environment to develop the formal specification from function requirements is implemented.

Journal

• Technical report of IEICE. SSE

  Technical report of IEICE. SSE 95 (266), 67-72, 1995-09-28

  The Institute of Electronics, Information and Communication Engineers

Keywords

• Requirement
• Formal Specification
• Synthesis of Specification
• Support Environment

Details

• CRID: 1573105977306292480
• NII Article ID: 110003234950
• NII Book ID: AN10060742
• ISSN: 09135685
• Text Lang: ja
• Data Source:
  • CiNii Articles