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 条
  • [31] On requirements specifications for a power system communications system
    Ericsson, GN
    IEEE TRANSACTIONS ON POWER DELIVERY, 2005, 20 (02) : 1357 - 1362
  • [32] Modular formal verification of specifications of concurrent systems
    Gradara, Sara
    Santone, Antonella
    Vaglini, Gigliola
    Villani, Maria Luisa
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2008, 18 (01): : 5 - 28
  • [33] USING EXPERT SYSTEMS TO CONSTRUCT FORMAL SPECIFICATIONS
    BLACKBURN, MR
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1989, 4 (01): : 62 - 74
  • [34] Automatic implementation of distributed systems formal specifications
    de Santana, ACL
    Branco, LHC
    do Prado, AF
    de Souza, WL
    Sant'Anna, M
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1424 - 1429
  • [35] Automatic implementation of distributed systems formal specifications
    Branco, LHC
    do Prado, AF
    de Souza, WL
    Sant'Anna, M
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 1019 - 1026
  • [36] Formal specifications of computer-based systems
    Sveda, M
    Rattray, C
    Rozenblit, J
    NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 224 - 225
  • [37] Formal specifications of computer-based systems
    Sveda, M
    Rattray, C
    EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 357 - 358
  • [38] Formal specifications of computer-based systems
    Sveda, M
    Rattray, C
    Rozenblit, J
    ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 169 - 172
  • [39] SYSTEM TESTING - IMPLICATIONS OF REQUIREMENTS SPECIFICATIONS
    DAVIS, AM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (06) : 407 - 414
  • [40] REALIZABLE AND UNREALIZABLE SPECIFICATIONS OF REACTIVE SYSTEMS
    ABADI, M
    LAMPORT, L
    WOLPER, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 372 : 1 - 17
12345