Formal specification of concurrent systems

被引：3
|
作者：
Chadha, HS
Baugh, JW [1 ]
Wing, JM
机构：
[1] N Carolina State Univ, Dept Civil Engn, Raleigh, NC 27695 USA
[2] Make Syst Labs, Cary, NC 27511 USA
[3] Carnegie Mellon Univ, Sch Comp Sci, Pittsburgh, PA 15213 USA
来源：
ADVANCES IN ENGINEERING SOFTWARE | 1999年 / 30卷 / 03期
基金：
美国国家科学基金会;
关键词：
larch; CCS; equational specifications; process algebra; conjugate gradient method; distributed systems; concurrent systems; programming languages; formal methods;
D O I：
10.1016/S0965-9978(98)00058-1
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
This paper presents a formal methodology for developing concurrent systems. We extend the Larch family of specification languages and tools with the CCS process algebra to support the specification and verification of concurrent systems. We present and follow a refinement strategy that relates an implementation ina programming language to a formal specification of such a system. We illustrate our methodology on an example that uses the preconditioned conjugate gradient method for solving a linear system of equations. (C) 1998 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：211 / 224
页数：14
相关论文
共 50 条
  • [41] Formal specification of symbolic-probabilistic systems
    López, N
    Núñez, M
    Rodríguez, I
    [J]. APPLYING FORMAL METHODS: TESTING, PERFORMANCE, AND M/E- COMMERCE, PROCEEDINGS, 2004, 3236 : 114 - 127
  • [42] 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
  • [43] FORMAL SPECIFICATION OF INFORMATION-SYSTEMS REQUIREMENTS
    KAMPFNER, RR
    [J]. INFORMATION PROCESSING & MANAGEMENT, 1985, 21 (05) : 401 - 414
  • [44] A Language for Biochemical Systems: Design and Formal Specification
    Pedersen, Michael
    Plotkin, Gordon D.
    [J]. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XII, 2010, 5945 : 77 - 145
  • [45] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
  • [46] An approach to the formal specification of holonic control systems
    Leitao, P
    Colombo, AW
    Restivo, F
    [J]. HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, 2003, 2744 : 59 - 70
  • [47] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [48] A formal approach for the specification of communications in distributed systems
    Georgelin, P
    Pierre, L
    Nguyen, T
    [J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2000, : 393 - 398
  • [49] 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
  • [50] Discussion on: "Formal specification method for systems automation"
    Zaytoon, Janan
    Valero, V.
    Cambronero, M. E.
    Petin, J. -F.
    Morel, G.
    Panetto, H.
    [J]. EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 131 - 134
12345