Towards a refinement calculus for concurrent real-time programs

被引：0
|
作者：
Peuker, S [1 ]
Hayes, I
机构：
[1] Univ Queensland, Software Verificat Res Ctr, St Lucia, Qld 4067, Australia
[2] Univ Queensland, Sch Informat Technol & Elect Engn, St Lucia, Qld 4067, Australia
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2002年 / 2495卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We define a language and a predicative semantics to model concurrent real-time programs. We consider different communication paradigms between the concurrent components of a program: communication via shared variables and asynchronous message passing (for different models of channels). The semantics is the basis for a refinement calculus to derive machine-independent concurrent real-time programs from specifications. We give some examples of refinement laws that deal with concurrency.
引用
收藏
页码：335 / 346
页数：12
相关论文
共 50 条
  • [1] A sequential real-time refinement calculus
    Hayes, IJ
    Utting, M
    ACTA INFORMATICA, 2001, 37 (06) : 385 - 448
  • [2] A sequential real-time refinement calculus
    Ian J. Hayes
    Mark Utting
    Acta Informatica, 2001, 37 : 385 - 448
  • [3] A refinement calculus for the development of real-time systems
    Chen, ZQ
    Cau, A
    Zedan, H
    Liu, XD
    Yang, HJ
    1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 61 - 68
  • [4] Refinement of infeasible real-time programs
    Utting, M
    Fidge, C
    FORMAL METHODS PACIFIC '97, 1997, : 243 - 262
  • [5] Procedures and parameters in the real-time program refinement calculus
    Hayes, Ian J.
    SCIENCE OF COMPUTER PROGRAMMING, 2007, 64 (03) : 286 - 311
  • [6] Towards action refinement for true concurrent real time
    Majster-Cederbaum, M
    Wu, JZ
    ACTA INFORMATICA, 2003, 39 (08) : 531 - 577
  • [7] Towards action refinement for true concurrent real time
    Mila Majster-Cederbaum
    Jinzhao Wu
    Acta Informatica, 2003, 39 : 531 - 577
  • [8] The real-time refinement calculus: A foundation for machine-independent real-time programming
    Hayes, IJ
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 44 - 58
  • [9] Verification, refinement and scheduling of real-time programs
    Liu, ZM
    Joseph, M
    THEORETICAL COMPUTER SCIENCE, 2001, 253 (01) : 119 - 152
  • [10] REAL-TIME, CONCURRENT CHECKPOINT FOR PARALLEL PROGRAMS
    KAI, L
    NAUGHTON, JF
    PLANK, JS
    SIGPLAN NOTICES, 1990, 25 (03): : 79 - 88
12345