System requirements and formal specifications of hierarchical reactive systems

被引：1
|
作者：
Togashi, A [1 ]
Lu, XS [1 ]
Kanezashi, F [1 ]
机构：
[1] Shizuoka Univ, Dept Comp Sci, Hamamatsu, Shizuoka 4328011, Japan
来源：
SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS | 2000年
关键词：
D O I：
10.1109/ICPADS.2000.857687
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A methodology for the description of system requirements and formal specifications of reactive systems, and the synthesis of formal specifications is presented. Based on a hierarchical structure of system properties a hierarchical assertional language is used as a requirement language and hierarchical state transition systems are used as formal specifications. Sound and complete formal specifications are synthesized from system requirements automatically. Modularity and reusability are supported by the introduction of requirement and specification modules and a partial order relation over these modules. The methodology has a practical significance because desired specifications of reactive systems can be derived or synthesized from user requirements on system functions in a systematic and stepwise way.
引用
收藏
页码：91 / 98
页数：8
相关论文
共 50 条
  • [1] Formal specifications of user requirements
    Clark R.G.
    Moreira A.M.D.
    Automated Software Engineering, 1999, 6 (3) : 217 - 232
  • [2] Finding the causes of unrealizability of reactive system formal specifications
    Yoshiura, N
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2004, : 34 - 43
  • [3] Use Of Formal Languages To Represent The ERTMS/ETCS System Requirements Specifications
    Piccolo, Antonio
    Galdi, Vincenzo
    Senesi, Fabio
    Malangone, Raffaele
    2015 INTERNATIONAL CONFERENCE ON ELECTRICAL SYSTEMS FOR AIRCRAFT, RAILWAY, SHIP PROPULSION AND ROAD VEHICLES (ESARS), 2015,
  • [4] DEVELOPING FORMAL SPECIFICATIONS FROM INFORMAL REQUIREMENTS
    JOHNSON, WL
    BENNER, KM
    HARRIS, DR
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1993, 8 (04): : 82 - 90
  • [5] Deriving formal specifications from informal requirements
    Ilic, Dubravka
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 145 - 152
  • [6] Constructing formal specifications from informal requirements
    Clark, RG
    Moreira, AMD
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 68 - 75
  • [7] Formal requirements and design specifications: The Clepsydra methodology
    Ciaccia, P
    Ciancarini, P
    Penzo, W
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1997, 7 (01) : 1 - 42
  • [8] An authoring tool for informal and formal requirements specifications
    Hähnle, R
    Johannisson, K
    Ranta, A
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 233 - 248
  • [9] MAKING CHANGES TO FORMAL SPECIFICATIONS - REQUIREMENTS AND AN EXAMPLE
    BUSTARD, DW
    WINSTANLEY, AC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (08) : 562 - 568
  • [10] TRiStar: An i* extension for Teleo-Reactive systems requirements specifications
    Miguel Morales, Jose
    Navarro, Elena
    Sanchez, Pedro
    Alonso, Diego
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 283 - 288
12345