A specification language for real-time distributed systems

Author

Chang, Carl K. ; Jiang, Tsang Ming ; Aoyama, Mikio

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

fYear

1988

fDate

9-13 Oct. 1988

Firstpage

258

Lastpage

265

Abstract

The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the modeling capability of EMPN and EMPNDL, methods for verification and validation of such systems are also discussed. EMPN and EMPNDL have been extensively used to the specification of a prototype switching system, UICPBX. Based on the presented formulation, verification and validation of UICPBX can be automated to a great extent.<>

Keywords

Petri nets; distributed processing; real-time systems; specification languages; BNF grammar; EMPNDL; UICPBX; description language; design specification method; extended modified Petri nets; real-time distributed systems; specification language; validation; verification; Computer architecture; Computer errors; Design methodology; Error correction; Graphical models; Petri nets; Real time systems; Software systems; Specification languages; Switching systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Languages, 1988. Proceedings., International Conference on

Conference_Location

Miami Beach, FL, USA

Print_ISBN

0-8186-0874-9

Type

conf

DOI

10.1109/ICCL.1988.13072

Filename

13072