A specification-oriented semantics for the refinement of real-time systems

David Scholefield; Hussein Zedan; He Jifeng

doi:10.1016/0304-3975(94)90096-5

A specification-oriented semantics for the refinement of real-time systems

David Scholefield^*
, Hussein Zedan
, He Jifeng

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

30 Scopus citations

Abstract

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. calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed.

Original language	English
Pages (from-to)	219-241
Number of pages	23
Journal	Theoretical Computer Science
Volume	131
Issue number	1
DOIs	https://doi.org/10.1016/0304-3975(94)90096-5
State	Published - 29 Aug 1994
Externally published	Yes

Access to Document

10.1016/0304-3975(94)90096-5

Cite this

@article{eb05cc107a6741e3a79b85918868c025,

title = "A specification-oriented semantics for the refinement of real-time systems",

abstract = "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. calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed.",

author = "David Scholefield and Hussein Zedan and He Jifeng",

year = "1994",

month = aug,

day = "29",

doi = "10.1016/0304-3975(94)90096-5",

language = "英语",

volume = "131",

pages = "219--241",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - A specification-oriented semantics for the refinement of real-time systems

AU - Scholefield, David

AU - Zedan, Hussein

AU - Jifeng, He

PY - 1994/8/29

Y1 - 1994/8/29

N2 - 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. calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed.

AB - 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. calculation of a structured program from an unstructured specification. A calculus of decomposition is defined. An example program is developed.

UR - https://www.scopus.com/pages/publications/0028479710

U2 - 10.1016/0304-3975(94)90096-5

DO - 10.1016/0304-3975(94)90096-5

M3 - 文章

AN - SCOPUS:0028479710

SN - 0304-3975

VL - 131

SP - 219

EP - 241

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1

ER -

A specification-oriented semantics for the refinement of real-time systems

Abstract

Access to Document

Other files and links

Fingerprint

Cite this