Towards a formal semantics for an integrated SA/RT and Z specification language

Author

Scholz, Dirk ; Petersohn, Carsta

Author_Institution

Inst. fur Inf., Kiel, Germany

fYear

1997

fDate

12-14 Nov. 1997

Firstpage

28

Lastpage

37

Abstract

On the one hand we consider widely used structured analysis and real-time methods (SA/RT). Their specifications are intuitively readable but often semi-formal. On the other hand we consider the formal specification language Z. Using Z for the specification of data and data processing leads already to an improvement of SA/RT methods. In this paper, we extend this integration by new features. Moreover, we give the main ideas for a formal semantics which model the dynamic behavior of the system. This semantics adopts the main principles of synchronous languages. This is illustrated by a simplified version of the game PACMAN.

Keywords

computer games; formal specification; real-time systems; specification languages; systems analysis; PACMAN; SA/RT; Z specification language; computer game; data processing; dynamic behavior; formal semantics; formal specification; real-time methods; semiformal methods; specification language; structured analysis; synchronous languages; Airplanes; Automobiles; Control systems; Data processing; Electrical equipment industry; Programming; Safety; Specification languages; Telecommunication computing; Telecommunication control;

fLanguage

English

Publisher

ieee

Conference_Titel

Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on

Conference_Location

Hiroshima, Japan

Print_ISBN

0-8186-8002-4

Type

conf

DOI

10.1109/ICFEM.1997.630394

Filename

630394