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 条
  • [21] Formal specifications for hybrid dynamical systems
    Mosterman, PJ
    Biswas, G
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 568 - 573
  • [22] Architectural specifications for reactive systems
    Zawlocki, A
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2005, 3423 : 252 - 269
  • [23] A concern-based approach to generating formal requirements specifications
    Jin, Ying
    Zhang, Jing
    Hao, Weiping
    Ma, Pengfei
    Zhang, Yan
    Zhao, Haiyan
    Mei, Hong
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2010, 4 (02): : 162 - 172
  • [24] A FORMAL MODEL FOR ANALYZING THE SCR-STYLE REQUIREMENTS SPECIFICATIONS
    Xu Yu
    Wuhan University Journal of Natural Sciences, 1998, (02) : 142 - 142
  • [25] A concern-based approach to generating formal requirements specifications
    Ying Jin
    Jing Zhang
    Weiping Hao
    Pengfei Ma
    Yan Zhang
    Haiyan Zhao
    Hong Mei
    Frontiers of Computer Science in China, 2010, 4 : 162 - 172
  • [26] Automated generation of test suites from formal specifications of real-time reactive systems
    Zheng, Mao
    Alagar, Vasu
    Ormandjieva, Olga
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (02) : 286 - 304
  • [27] HIERARCHICAL SIMULATION OF LAYERED PROTOCOL ARCHITECTURES USING FORMAL SPECIFICATIONS
    CONWAY, AE
    DIMITRIJEVIC, D
    HWANG, R
    HIGH SPEED NETWORKS AND THEIR PERFORMANCE, 1994, 21 : 309 - 325
  • [28] User requirements specifications: a hierarchical structure covering strategical, tactical and operational requirements
    Brender, J
    McNair, P
    INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, 2001, 64 (2-3) : 83 - 98
  • [29] Formal validation and requirements management based on the Jackson's reference model for requirements and specifications
    Collaborative Research Team for Verification, National Institute of Advanced Industrial Science and Technology , Japan
    Proc. - IEEE Pac. Rim Int. Symp. Dependable Comput., PRDC, (251-252):
  • [30] Developing communication systems from formal specifications
    De Man, J.
    Loyer, B.
    Nirschl, H.
    San Martin, P.
    Electrical communication, 1990, 64 (04): : 313 - 320
12345