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 条
  • [21] Formal specification method for systems automation
    Petin, Jean-Francois
    Morel, Gerard
    Panetto, Herve
    EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 115 - 130
  • [22] Formal specification and prototyping of CORBA systems
    Bastide, R
    Sy, O
    Palanque, P
    ECOOP'99 - OBJECT-ORIENTED PROGRAMMING, 1999, 1628 : 474 - 494
  • [23] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [24] A framework for formal specification of embedded systems
    Bures, F
    Rysavy, O
    Scuglik, F
    Sveda, M
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 323 - 330
  • [25] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    INTEGRATION-THE VLSI JOURNAL, 1989, 7 (03) : 247 - 266
  • [26] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [27] Formal specification and analysis of production systems
    Bos, V
    Kleijn, JJT
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2002, 40 (15) : 3879 - 3894
  • [28] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [29] Formal specification and analysis of distributed systems
    Pranevicius, H
    JOURNAL OF INTELLIGENT MANUFACTURING, 1998, 9 (06) : 559 - 569
  • [30] Formal specification and analysis of distributed systems
    HENRIKAS PRANEVICIUS
    Journal of Intelligent Manufacturing, 1998, 9 : 559 - 569
12345