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期

关键词：

Computational complexity - Computational linguistics - Real time systems - Software engineering - Structured programming;

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 条

[21] Logical specification of reactive and real-time systems
Lano, K
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 679 - 711
[22] Parallel real-time systems: Formal specification
Choudhary, AN
Gehlot, V
Narahari, B
[J]. FOURTH INTERNATIONAL CONFERENCE ON HIGH-PERFORMANCE COMPUTING, PROCEEDINGS, 1997, : 186 - 191
[23] A SPECIFICATION LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
WUPPER, H
VYTOPIL, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 111 - 127
[24] UML specification of real-time imaging systems
Neill, CJ
Laplante, PA
[J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT II, 2002, : 273 - 277
[25] REQUIREMENT SPECIFICATION FOR REAL-TIME AND HYBRID SYSTEMS
HE, HP
ZEDAN, H
[J]. FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 269 - 284
[26] Specification and analysis of real-time systems in statecharts
Cha, SD
Hong, HS
[J]. SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 137 - 143
[27] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
JAHANIAN, F
MOK, AK
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
[28] Specification and Timing Analysis of Real-Time Systems
Shuhua Wang
Grace Tsai
[J]. Real-Time Systems, 2004, 28 : 69 - 90
[29] Specification Theories for Probabilistic and Real-Time Systems
Fahrenberg, Uli
Legay, Axel
Traonouez, Louis-Marie
[J]. FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING, 2014, 8415 : 98 - 117
[30] The API Specification for Real-Time Database Systems
Ning Wei
Wang Dao-lin
[J]. PROCEEDINGS OF 2009 INTERNATIONAL WORKSHOP ON INFORMATION SECURITY AND APPLICATION, 2009, : 311 - 314

← 1 2 3 4 5 →