FORMAL SPECIFICATION METHODS FOR REACTIVE SYSTEMS

被引：2
|
作者：
FURBACH, U [1 ]
机构：
[1] UNIV KOBLENZ LANDAU,INST INFORMAT,W-5400 KOBLENZ,GERMANY
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1993年 / 21卷 / 02期
关键词：
D O I：
10.1016/0164-1212(93)90036-W
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A tutorial-like overview on formal methods for the specification of reactive systems is given. State transition systems such as ATNs, statecharts, and SDL are discussed. Petri nets and logic-based languages are introduced as alternatives; examples show their respective applicability. Programming-oriented approaches such as ESTEREL, CSP, or CCS are depicted. Finally, the different principles are compared.
引用
收藏
页码：129 / 139
页数：11
相关论文
共 50 条
  • [1] Reactive systems developing by formal specification transformations
    Attoui, A
    Hasbani, A
    [J]. EIGHTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 1997, : 339 - 344
  • [2] On Methods for the Formal Specification of Fault Tolerant Systems
    Mazzara, Manuel
    [J]. PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DEPENDABILITY (DEPEND 2011), 2011, : 72 - 81
  • [3] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [4] Combining formal methods for the development of reactive systems
    Mosbahi, Olfa
    Khalgui, Mohamed
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2011, 42 (2-3) : 127 - 149
  • [5] Combining Formal Methods for the Development of Reactive Systems
    Mosbahi, Olfa
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [6] cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
    Suryadevara, Jagadish
    Chung, Lawrence
    Shyamasundar, R. K.
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2008, 7 (08): : 187 - 207
  • [7] FORMAL METHODS FOR ANALYSIS OF DISCRETE SYSTEMS USING A SPECIFICATION LANGUAGE
    Kryvyi, S. L.
    Chugayenko, A. V.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (04) : 528 - 543
  • [8] Formal methods in fieldbus specification
    Zezulka, F
    Hintze, E
    Kucera, P
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS, 2003, : 48 - 53
  • [9] Formal methods for design and testing of composite reactive systems
    Petrenko, A
    [J]. WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, : 242 - 248
  • [10] Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems
    Kuang, Heng
    Bentahar, Jamal
    Ormandjieva, Olga
    Shafieidizaji, Nassir
    Klasa, Stan
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2010, 217 : 357 - 380
12345