A formal definition of FRSM and applications

被引：4
|
作者：
Liu, SY [1 ]
机构：
[1] Hiroshima City Univ, Fac Informat Sci, Hiroshima, Japan
来源：
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 1998年 / 8卷 / 02期
关键词：
requirements analysis; requirements specification; formal semantics; data flow analysis; formal methods;
D O I：
10.1142/S0218194098000145
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
FRSM (Formal Requirements Specification Method) is a structured formal language and method for requirements analysis and specification construction based on data flow analysis. It uses a formalized DeMarco data flow diagram to describe the overall structure of systems and a VDM-SL like formal notation to describe precisely the functionality of components in the diagrams. This paper first describes the formal syntax and semantics of FRSM and then presents an example of using the axiom and inference rules given in the definition of the formal semantics for checking consistency of specifications. A case study of applying FRSM to a practical example is described to demonstrate the principle of constructing requirements specifications and to uncover the benefits and deficiencies of FRSM.
引用
收藏
页码：253 / 281
页数：29
相关论文
共 50 条
  • [11] A formal semantic definition of DEVIL
    Luo, L
    Zhu, MY
    Zhang, QL
    ACM SIGPLAN NOTICES, 2003, 38 (04) : 47 - 56
  • [12] From the Formal Definition of Concept to the Linguistic Definition of Term
    Roche, Christophe
    ACADEMIC JOURNAL OF MODERN PHILOLOGY, 2021, 13 : 275 - 290
  • [13] Fuzzy OLAP: A Formal Definition
    Gonzalez, Claudia
    Tineo, Leonid
    Urrutia, Angelica
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, 2009, 61 : 189 - +
  • [14] THE FORMAL DEFINITION OF THE ENVIRONMENT OF AN ANIMAL
    NIVEN, BS
    AUSTRALIAN JOURNAL OF ECOLOGY, 1980, 5 (01): : 37 - 46
  • [15] FORMAL DEFINITION OF BASIC LANGUAGE
    LEE, JAN
    COMPUTER JOURNAL, 1972, 15 (01): : 37 - &
  • [16] EXECUTING THE FORMAL DEFINITION OF ADA
    FANTECHI, A
    GNESI, S
    LEGGIO, F
    TALINI, P
    SIGPLAN NOTICES, 1991, 26 (03): : 25 - 34
  • [17] A Formal Definition of Simulation Validity
    Albert, Vincent
    Nketsa, Alexandre
    EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 43 - 48
  • [18] Towards a formal definition of methods
    Naveen Prakash
    Requirements Engineering, 1997, 2 (1) : 23 - 50
  • [19] THE FORMAL DEFINITION OF REFERENCE PRIORS
    Berger, James O.
    Bernardo, Jose M.
    Sun, Dongchu
    ANNALS OF STATISTICS, 2009, 37 (02): : 905 - 938
  • [20] FORMAL ARITHMETIC AND THE DEFINITION OF NUMBER
    ANELLIS, IH
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1233 - 1234
12345