A SPECIFICATION-ORIENTED SEMANTICS FOR THE REFINEMENT OF REAL-TIME SYSTEMS

被引：19
|
作者：
SCHOLEFIELD, D [1 ]
ZEDAN, H [1 ]
HE, JF [1 ]
机构：
[1] UNIV OXFORD,PROGRAMMING RES GRP,OXFORD,ENGLAND
来源：
THEORETICAL COMPUTER SCIENCE | 1994年 / 131卷 / 01期
关键词：
D O I：
10.1016/0304-3975(94)90096-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A refinement calculus for the development of real-time systems is presented. The calculus is based upon a wide-spectrum language called the temporal agent model (TAM), within which both functional and timing properties can be expressed in either abstract or concrete terms. A specification-oriented semantics for the language is given. Program development is considered as a refinement process, i.e. the calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed.
引用
收藏
页码：219 / 241
页数：23
相关论文
共 50 条
  • [1] SPECIFICATION-ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES
    OLDEROG, ER
    HOARE, CAR
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 561 - 572
  • [2] SPECIFICATION-ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES
    OLDEROG, ER
    HOARE, CAR
    [J]. ACTA INFORMATICA, 1986, 23 (01) : 9 - 66
  • [3] Specification and refinement of continuous real-time systems
    Goldsack, S
    Lano, K
    Durr, E
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 310 - 324
  • [4] Aspect-Oriented Formal Specification for Real-Time Systems
    Zhang, Lichen
    [J]. ADVANCES IN COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, 28 : 13 - 32
  • [5] SPECIFICATION OF REAL-TIME SYSTEMS
    PATNAIK, LM
    MALL, R
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1993, 3 (02) : 267 - 285
  • [6] A logic for real-time systems specification, its algebraic semantics, and equational calculus
    Baum, GA
    Frias, MF
    Maibaum, TSE
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 91 - 105
  • [7] Palette: A reuse-oriented specification language for real-time systems
    Ravindran, B
    Edwards, S
    [J]. SOFTWARE REUSE: ADVANCES IN SOFTWARE REUSABILITY, 2000, 1844 : 20 - 40
  • [8] Aspect-oriented specification architectures for distributed real-time systems
    Katara, M
    Mikkonen, T
    [J]. SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 180 - 190
  • [9] Operational semantics for real-time processes with action refinement
    Sun, XL
    Wu, JZ
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 54 - 63
  • [10] Adding real-time filters to object-oriented specification of time critical systems
    Periyasamy, K
    Alagar, VS
    [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 28 - 39
12345