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 条
  • [41] Verification of external specifications of reactive systems
    Bellini, P
    Bruno, MA
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2000, 30 (06): : 692 - 709
  • [42] Unrealizable Cores for Reactive Systems Specifications
    Maoz, Shahar
    Shalom, Rafi
    2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021), 2021, : 25 - 36
  • [43] A derivation strategy for formal specifications from natural language requirements models
    Mauco, Maria Virginia
    Leonardi, Maria Carmen
    COMPUTING AND INFORMATICS, 2007, 26 (04) : 421 - 445
  • [44] Toward Learning Realizable Scenario-based, Formal Requirements Specifications
    Schmelter, David
    Greenyer, Joel
    Holtmann, Joerg
    2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2017, : 372 - 378
  • [45] From Executable Specifications to Hard-to-Specify Requirements: Challenges in Describing Reactive System Behavior
    Harel, David
    Marron, Assaf
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2025, 51 (03) : 741 - 745
  • [46] Formal Analysis of Privacy Requirements Specifications for Multi-tier Applications
    Breaux, Travis D.
    Rao, Ashwini
    2013 21ST IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2013, : 14 - 23
  • [47] REQUIREMENTS FOR A PRACTICAL FORMAL SYSTEM
    WILLIAMS, J
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 859 - 860
  • [48] Formal specifications of the European Train Control System
    Janhsen, A
    Lemmer, K
    Ptok, B
    Schnieder, E
    TRANSPORTATION SYSTEMS 1997, VOLS 1-3, 1997, : 1139 - 1144
  • [49] From Healthcare System Specifications to Formal Models
    Clavel, Daniel
    Mahulea, Cristian
    Silva, Manuel
    2019 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2019, : 2344 - 2351
  • [50] Formal verification of abstract system and protocol specifications
    Schneider, Axel
    Bluhm, Thomas
    Renner, Tobias
    Heinkel, Ulrich
    Knaeblein, Joachim
    Zavala, Reynaldo
    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 207 - +
12345