A generic approach to the formal specification of requirements

被引：1
|
作者：
Peper, C
Gotzhein, R
Kronenburg, M
机构：
来源：
FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ICFEM.1997.630432
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A generic approach to the formal specification of system requirements is presented. It is based on a pool of requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the formal requirement specification. The approach is instantiated by a tailored real-time temporal logic and by selecting building-automation systems as application domain. With respect to this domain, the pattern discovery and reuse tasks are explained and illustrated, and a set of typical requirement patterns is presented. The approach has the potential of reducing the effort to formally specify system requirements.
引用
收藏
页码：252 / 261
页数：10
相关论文
共 50 条
  • [41] An Approach for Interoperability Requirements Specification and Verification
    Mallck, Sihem
    Daclin, Nicolas
    Chapurlat, Vincent
    ENTERPRISE INTEROPERABILITY, 2011, 76 : 89 - 102
  • [42] A functional approach to the formal specification of networks on chip
    Schmaltz, J
    Borrione, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 52 - 66
  • [43] Requirements traceability issues: Generic model, methodology and formal basis
    Sahraoui, AEK
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, 2005, 4 (01) : 59 - 80
  • [44] A FORMAL APPROACH TO THE SPECIFICATION OF GRAPHIC OBJECT FUNCTIONS
    TORRES, JC
    CLARES, B
    COMPUTER GRAPHICS FORUM, 1994, 13 (03) : C371 - C380
  • [45] A functional approach to the formal specification of networks on chip
    Schmaltz, J
    Borrione, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 52 - 66
  • [46] Specification of reconfigurable MAS: A hybrid formal approach
    Stamatopoulou, Ioanna
    Kefalas, Petros
    Gheorghe, Marian
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 3955 : 592 - 595
  • [47] Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach
    Thabet, Rafika
    Lamine, Elyes
    Boufaied, Amine
    Bork, Dominik
    Korbaa, Ouajdi
    Pingaud, Herve
    AMCIS 2020 PROCEEDINGS, 2020,
  • [48] A formal approach for the specification of communications in distributed systems
    Georgelin, P
    Pierre, L
    Nguyen, T
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 393 - 398
  • [49] An approach to the formal specification of holonic control systems
    Leitao, P
    Colombo, AW
    Restivo, F
    HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, 2003, 2744 : 59 - 70
  • [50] VESAR - A PRAGMATIC APPROACH TO FORMAL SPECIFICATION AND VERIFICATION
    ALGAYRES, B
    COELHO, V
    DOLDI, L
    GARAVEL, H
    LEJEUNE, Y
    RODRIGUEZ, C
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 779 - 790
12345